MathGroup Archive: December 2006 [00177]

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

FullSimplify and HypergeometricPFQ

To: mathgroup at smc.vnet.net
Subject: [mg72035] FullSimplify and HypergeometricPFQ
From: guy.verhofstadt at gmail.com
Date: Sat, 9 Dec 2006 06:09:42 -0500 (EST)

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

Follow-Ups:
- Re: FullSimplify and HypergeometricPFQ
  - From: "Chris Chiasson" <chris@chiasson.name>

Prev by Date: Re: Re: RE: Re: RE: RE: Functional decomposition (solving f[f[x]] = g[x] for given g)

Next by Date: Vector parameters

Previous by thread: Re: [TS 31612]--Re:something is "wrong" with the Fills option in InequalityGraphics