Services & ResourcesWolfram ForumsMathGroup Archive

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

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

• Follow-Ups:
  • Re: Experimental`ImpliesQ, Help me understand it.
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>