MathGroup Archive 2007

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

Search the Archive

Evaluation question

  • To: mathgroup at
  • Subject: [mg82106] Evaluation question
  • From: Yaroslav Bulatov <yaroslavvb at>
  • 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

Also, consider


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

  • Prev by Date: Re: Typeset subscript on a operator
  • Next by Date: Re: Re: Strange Manipulate+ContourPlot behavior
  • Previous by thread: Re: Convert to Text Display has no keyboard short cut
  • Next by thread: Re: Evaluation question