Hi symbolists! Trying to answer a question on sage-support, I found the following, which may be a bug in symbolics.
First, let us create some arithmetic expression from some polynomials over CIF: sage: P.<s> = CIF[] sage: p1 = P.random_element() sage: p2 = P.random_element() sage: p3 = P.random_element() sage: p4 = P.random_element() sage: p5 = P.random_element() sage: p = ((p1/p2+p3)^2+(p3/(p4+p5)))/((p3/(p4+p5/(p1+p2)))+p2) Of course, p is automatically simplified as a fraction of two polynomials. However, doing the same in SR, simplification will result in a TypeError without a proper error message: sage: q1 = SR(p1) sage: q2 = SR(p2) sage: q3 = SR(p3) sage: q4 = SR(p4) sage: q5 = SR(p5) sage: q = ((q1/q2+q3)^2+(q3/(q4+q5)))/((q3/(q4+q5/(q1+q2)))+q2) sage: q.simplify() Traceback (most recent call last): ... TypeError: A similar error results from sage: bool(p+I-I==p) The fact that there is no error message is a bug, IMHO. Do people think that an error in the simplification of a simple arithmetic expression involving symbolic polynomials is an error as well? Shall I open a ticket? Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
