MathGroup Archive 2010

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

Search the Archive

Re: Strange diference in outputs!


On Nov 6, 10:59 am, olfa <olfa.mra... at yahoo.fr> wrote:
> Hi Mathematica Community
>
> why the output for Print[Not[ForAll[{x,y},x<y]]] is not the same as for
> Print[Not[ForAll[ToExpression["{x,y}"],x<y]]] ?!!
>
> Thank you.

ForAll has attribute HoldAll.
Print[Not[ForAll[Evaluate@ToExpression["{x,y}"], x < y]]] works the
same as
Print[Not[ForAll[{x, y}, x < y]]]
Andrea


  • Prev by Date: Re: When is Exp[z]==Exp[w]??
  • Next by Date: Re: Strange diference in outputs!
  • Previous by thread: Strange diference in outputs!
  • Next by thread: Re: Strange diference in outputs!