MathGroup Archive 2005

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

Search the Archive

Experimental`ImpliesQ, Help me understand it.

  • To: mathgroup at smc.vnet.net
  • Subject: [mg59202] Experimental`ImpliesQ, Help me understand it.
  • From: "Nasser Abbasi" <nma at 12000.org>
  • Date: Tue, 2 Aug 2005 00:42:25 -0400 (EDT)
  • Sender: owner-wri-mathgroup at wolfram.com

 
Hello;

This 5.2 on windows.

Starting from the logic that If sin^2+cos^2==q, then this implies q 
must be 1, so I typed:

------------
Remove["Global`*"]
Experimental`ImpliesQ[Sin[x]^2 + Cos[x]^2 == q, q == 1]
Experimental`ImpliesQ[FullSimplify[Sin[x]^2 + Cos[x]^2 == q], q == 1]

False

True

-------------
From the help it says:

"ImpliesQ returns False if it cannot determine whether a implies a, 
using any of its built-in transformation rules. "

So, my question is, why did I have to fully simplify sin^2+cos^2==q to 
get True? I would think I should get True without it. As the help 
seems to say it will try all the build-in transformation rules?

thanks,
Nasser



  • Prev by Date: Re: Modifying equations
  • Next by Date: Re: Mathematica's CPU utilization
  • Previous by thread: Re: problem with physical constants (bug?)
  • Next by thread: Re: Experimental`ImpliesQ, Help me understand it.