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: [mg113677] Re: Strange diference in outputs!
  • From: Bob Hanlon <hanlonr at cox.net>
  • Date: Sun, 7 Nov 2010 05:11:53 -0500 (EST)

ForAll has the attribute HoldAll

Attributes[ForAll]

{HoldAll, Protected}

You need to force evaluation of ToExpression

Print[Not[ForAll[
   Evaluate[ToExpression["{x,y}"]], x < y]]]


Bob Hanlon

---- olfa <olfa.mraihi 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.



  • Prev by Date: Re: Strange diference in outputs!
  • Next by Date: Tag List Protected error
  • Previous by thread: Re: Strange diference in outputs!
  • Next by thread: Re: Strange diference in outputs!