Hello,
I've found an problem with comparison of elements in certain rings. Here is
a piece of Sage to illustrate the issue:
sage: R = PolynomialRing(GF(4), ('x', 'y'))
sage: x, y = R.gens()
sage: I = R.ideal([x^2 + y^2, x + y^3])
sage: S = R.quotient(I, 'ab')
sage: a, b = S.gens()
sage: c, d, e = a + b^2, a*b, b^2
sage: c*(d + e) == c*d + c*e
False
Evaluating the left- and right-hand sides individually and comparing gives
(correctly -- though I note the differing representations):
sage: c*(d+e)
a*b^2 + b^3 + a^2 + a*b
sage: c*d + c*e
a*b^2 + a*b + b^2 + a
sage: a*b^2 + b^3 + a^2 + a*b == a*b^2 + a*b + b^2 + a
True
It seems that there is a problem with the internal representations and in
some cases equality is not being ascertained correctly.
Is this a known issue? (If so, I apologize; I couldn't find a ticket.)
This is on SageMath version 7.2, running on Ubuntu 16.04.
Many thanks,
Alec
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
