Re: FullSimplify and HypergeometricPFQ
- To: mathgroup at smc.vnet.net
- Subject: [mg72076] Re: [mg72035] FullSimplify and HypergeometricPFQ
- From: "Chris Chiasson" <chris at chiasson.name>
- Date: Mon, 11 Dec 2006 04:54:46 -0500 (EST)
- References: <200612091109.GAA28014@smc.vnet.net>
Andrzej Kozlowski once made a post describing how to take a look at
the expressions tried by FullSimplify. Perhaps by looking at the
sequence of expressions, you could figure out which transformations
To do this, change the ComplexityFunction option of FullSimplify to
Print or Sow or otherwise store the argument before the LeafCount is
returned. If you don't know how, look up Function and
CompoundExpression in the help browser or find and read Andrzej's old
On 12/9/06, guy.verhofstadt at gmail.com <guy.verhofstadt at gmail.com> wrote:
> I have a question regarding something that Mathematica can do via the
> command FullSimplify.
> I use it to prove an identity between HypergeometricPFQ's. However it
> would be helpful to me to see how Mathematica proves it. How can I get
> access to the intermediate expressions and the transformations applied?
> Also, is there a definite list of all the things FullSimplify will try
> in Automatic setting?
> Thank you very much
Prev by Date:
Re: Re: Problem with text rendering on Linux.
Next by Date:
Re: Sin[30*Degree] vs Sin[29*Degree]
Previous by thread:
FullSimplify and HypergeometricPFQ
Next by thread:
RE: FullSimplify and HypergeometricPFQ