ASKSAGE: Sage Q&A Forum - Latest question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 23 Jun 2011 09:17:42 -0500Factorial simplification errorhttps://ask.sagemath.org/question/8187/factorial-simplification-error/I've run into an issue when running simplify on an equation containing a factorial:
sage: var('n')
sage: z1 = (-1)^(1/2*(n - 1))*factorial(n) == 0
sage: z2 = 0 == (-1)^(1/2*(n - 1))*factorial(n)
sage: z1.simplify()
n*(-1)^(1/2*n - 1/2) != 0
sage: z2.simplify()
0 == (-1)^(1/2*n - 1/2)*factorial(n)
My best guess is when sage sends the equation down to maxima for simplification it's interpreting
(-1)^(1/2*(n - 1))*n! = 0
as
(-1)^(1/2*(n - 1))*n != 0
Any ideas on how I can work around this?
garretThu, 23 Jun 2011 09:17:42 -0500https://ask.sagemath.org/question/8187/