| 1 | initial version |
Here is one option (not the most elegant):
sage: z1.lhs().simplify() == z1.rhs().simplify()
(-1)^(1/2*n - 1/2)*factorial(n) == 0
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.