Hi Julian,

On 2013-09-16, Julian Rüth <julian.ru...@fsfe.org> wrote:
> True, and anything else would be extremely confusing. However, this is
> the actual problem with Fields.ElementMethods.is_unit(): RingElement
> defines is_unit(), so if an element inherits from RingElement it will
> never use that method.

Sadly yes.

> Or is there a scenario where the parent of a
> RingElement is not in Rings()?

The parent of RingElement can be *anything*, the type or the category of
the parent is not tested when an element is created. But at least it is
the case that any sage.rings.ring.Ring instance is in Rings()---provided
that its __init__() is called. Sadly, there are some classes that don't
call __init__() of their base classes, IIRC.

Best regards,
Simon

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to