Re: RE: FullSimplify and HypergeometricPFQ

*To*: mathgroup at smc.vnet.net*Subject*: [mg72088] Re: [mg72050] RE: [mg72035] FullSimplify and HypergeometricPFQ*From*: Andrzej Kozlowski <akoz at mimuw.edu.pl>*Date*: Mon, 11 Dec 2006 04:55:22 -0500 (EST)*References*: <NDBBJGNHKLMPLILOIPPOKEKOFEAA.djmp@earthlink.net> <E3FB0E44-E3F0-4FC1-88A9-98DFB9B65DAC@mimuw.edu.pl>

On 11 Dec 2006, at 09:45, Andrzej Kozlowski wrote: > But if you pose the question in the form > FullSimplify[expr]==0 or Simplify[exp]==0 then they will either > both return True, both return False or one or both return your > input unevaluated. The last part of the above sentence is wrong. If Simplify (or FullSimplify) cannot decide if expr==0, it will return something of the form expr1==0, where expr1 is a simplified form of expr. In such cases expr1 will not be, in general, the same for Simplify and FullSimplify and will depend on various option settings for these functions. Andrzej Kozlowski