MathGroup Archive 2006

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

Search the Archive

RE: FullSimplify and HypergeometricPFQ

  • To: mathgroup at
  • Subject: [mg72050] RE: [mg72035] FullSimplify and HypergeometricPFQ
  • From: "David Park" <djmp at>
  • Date: Sun, 10 Dec 2006 04:48:56 -0500 (EST)

I doubt if you will ever get a full description of how Simplify and
FullSimplify work.

I consider Simplify and FullSimplify as 'gifts from heaven'. When they do
what I want, which they often do, great. When they don't, then I don't try
to mess around with ComplexityFunction because that isn't very precise but
only tends to push the result one way or the other. Rather, I resort to
'microsurgery' on the expression, using rules, replacements of specific
parts and things like that.

My experience is, that with a little practice, it is possible to manipulate
expressions and simplify them in a way that a reader could understand and
follow. Sometimes one does have to directly employ specific mathematical
theorems or identities to carry out a derivation. But it still can be done
within Mathematica.

David Park
djmp at

From: guy.verhofstadt at [mailto:guy.verhofstadt at]

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: SphericalPlot3D
  • Next by Date: Re: Re: Histogram3D
  • Previous by thread: Re: FullSimplify and HypergeometricPFQ
  • Next by thread: Re: RE: FullSimplify and HypergeometricPFQ