Revision history [back]

I'm having issue with functions not simplifying as expected in spherical coordinates. Here is an example. sage: E.<xi,th,ph> = EuclideanSpace(coordinates='spherical') sage: f(th) = abs(sin(th)) sage: f th |--> abs(sin(th)) sage: f.full_simplify() abs(sin(th)) sage: f.trig_simplify() Then I add assume(th >= 0) and whatnot, and it complains the assumption is redundant. I can't make any sense of it. Sometimes there is no issue and my results simplify, other times I get nonsense abs(sin(th)) terms.