Re: FullSimplify and HypergeometricPFQ
- To: mathgroup at smc.vnet.net
- Subject: [mg72070] Re: FullSimplify and HypergeometricPFQ
- From: "dimitris" <dimmechan at yahoo.com>
- Date: Mon, 11 Dec 2006 04:54:39 -0500 (EST)
- References: <ele6ht$rlg$1@smc.vnet.net>
also hope someone be more helpful for you!
For your specific needs I can't provide you more help.
Maybe, you can avoid somehow the use of Trace.
Remember however that it has also other settings that can be applied.
For example
Trace[FunctionExpand[HypergeometricPFQ[{a, b, c}, {1 + a - b, 1 + a -
c}, 1]], _Pochhammer, TraceInternal -> True]
Trace[FunctionExpand[HypergeometricPFQ[{a, b, c}, {1 + a - b, 1 + a -
c}, 1]], _Gamma, TraceInternal -> True]
Trace[FunctionExpand[HypergeometricPFQ[{a, b, c}, {1 + a - b, 1 + a -
c}, 1]], Expand, TraceInternal -> True]
You can also implementated your own rules in mathematica and print the
intermidiate involving steps.
Cheers
Dimitris
Paul-Olivier Dehaye <paul-olivier.dehaye at merton.ox.ac.uk> wrote:
The question I was asking is definitely very specific to hypergeometric
sums. Maybe I ll be corrected by someone on the list, but there are
really
only a finite set of super-rules (in addition to a ton of arithmetic,
of ocurse) that can be apllied, and I want to know which are used and
in
what order. Of course in between those big steps there is a ton of
arithmetic that Mathematica is excellent at making look complicated,
but
all I need is to know is the "big" steps.
I consider myself pretty knowledgeable in CS and in math, so I have
good
hopes :)
Paul