Re: [sage-devel] question about pattern matching in pynac

2010-06-15 Thread David Kirkby
On 15 June 2010 05:21, Tom Coates wrote: > > Dear sage-devel, > > I believe that the following: > > sage: gamma(x).full_simplify() > factorial(x - 1) > > is not correct, because in Sage factorial(x) is defined only if x is a > non-negative integer.  The problem arises because behind the scenes > f

[sage-devel] question about pattern matching in pynac

2010-06-14 Thread Tom Coates
Dear sage-devel, I believe that the following: sage: gamma(x).full_simplify() factorial(x - 1) is not correct, because in Sage factorial(x) is defined only if x is a non-negative integer. The problem arises because behind the scenes full_simplify() uses Maxima, and for Maxima factorial(x) is e