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 are applied. 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 post. On 12/9/06, guy.verhofstadt at gmail.com <guy.verhofstadt at gmail.com> wrote: > Hi, > 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 > > -- http://chris.chiasson.name/
- References:
- FullSimplify and HypergeometricPFQ
- From: guy.verhofstadt@gmail.com
- FullSimplify and HypergeometricPFQ