id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
15571 Doctest: Incorrect zero test of complex symbolic expressions mmezzarobba "This is fixed but needs a doctest:
Yet another example where symbolic expressions are abusively considered equivalent, even though `simplify()` has become a bit more careful.
{{{
sage: var('a,x')
(a, x)
sage: assume(a, 'complex')
sage: assume(x, 'complex')
sage: expr = a^(4*x) - (a^4)^x
sage: expr.is_zero()
True
sage: expr(a=I, x=1/2)
-2
}}}" defect closed major sage-6.5 symbolics fixed Ralf Stephan Karl-Dieter Crisman N/A 9974eef85cab383846b82d39a39c7b5d50da1608 9974eef85cab383846b82d39a39c7b5d50da1608