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.