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

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