On Aug 25, 12:28 pm, Nick Alexander <[EMAIL PROTECTED]> wrote:
> Do people agree that the first False should be True?
>
> {{{
> sage: x, y = QQ['x', 'y'].gens()
> sage: R.<x, y> = QQ[]
> sage: (x / y)*y in R
> False
> sage: R((x / y)*y) == x
> True
> sage: R((x / y)*y) == (x/y)*y
> True
> }}}

Yes.

Probably the fix is to just remove the __contains__ method from
multi_polynomial_ring_generic.pyx, so that the generic implementation
is used.

Carl

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to