Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2010

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

Search the Archive

Re: Strange diference in outputs!

  • To: mathgroup at smc.vnet.net
  • Subject: [mg113680] Re: Strange diference in outputs!
  • From: Andrea <btlgs2000 at gmail.com>
  • Date: Sun, 7 Nov 2010 05:12:31 -0500 (EST)
  • References: <ib38t8$f20$1@smc.vnet.net>

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!