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,,