Evaluation question
- To: mathgroup at smc.vnet.net
- Subject: [mg82106] Evaluation question
- From: Yaroslav Bulatov <yaroslavvb at gmail.com>
- Date: Fri, 12 Oct 2007 02:56:35 -0400 (EDT)
At what point is "Unevaluated" stripped? For instance, in the following, unevaluated is stripped even though arguments are not evaluated a := Unevaluated[2 + 3] So a:=Unevaluated[2+3] and a=Unevaluated[2+3] seem to work the same here Also, consider a=Unevaluated[Unevaluated[2+3]] OwnValues[a] OwnValues doesn't show that a has an Unevaluated wrapper, even though a /. OwnValues[a] results in Unevaluated[2+3], why is that? Is there any place that documents at which point OwnValues comes into evaluation? For instance, setting a high level trap (Robby Villegas' technique) on Set/OwnValues/Replace/ReplaceAll shows no trace of OwnValues evaluation. Is OwnValue application equivalent to "symbol/.ReplaceAll[OwnValues[symbol]]"?
- Follow-Ups:
- Re: Evaluation question
- From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
- Re: Evaluation question