[Date Index] [Thread Index] [Author Index]

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>