Hi all,
I think I found a bug when substituting "-a == 0" into "a". The result is
not "0" but "a". This also happens when I assume that "a" is real. (see
below)
sage: var('a')
a
sage: a.substitute(a == 0)
0
sage: a.substitute(-a == 0) # bug?
a
sage: (-a).substitute(a == 0)
0
sage: (-a).substitute(-a == 0)
0
sage: assume(a, 'real')
sage: a.substitute(a == 0)
0
sage: a.substitute(-a == 0) # bug?
a
sage: (-a).substitute(a == 0)
0
sage: (-a).substitute(-a == 0)
0
This issue happens for me with SageMath 9.2 on Ubuntu 20.04 and also on
CoCalc with SageMath 9.3.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/4b7f200a-d202-43ed-9297-e0c0a1cd459bn%40googlegroups.com.
