On Wed, Jul 7, 2010 at 11:30 AM, Volker Braun <vbraun.n...@gmail.com> wrote: > While trying to subclass QuotientRing, I noticed that this class does > not follow the coercion model: It overrides __call__ and _coerce_impl, > which the reference manual frowns upon.
Yes. QuotientRing was implemented ages before the new coercion model came into the scene. Unfortunately, a lot of stuff inherits from it, so fixing it may be non-trivial. (Sorry this doesn't really answer your question as to what's going wrong.) What should have happened is that QuotientRing should be an abstract class, and with subclasses QuotientRingGeneric and FiniteField/IntegerModRing/etc. as the latter end up ignoring/subverting the implementation of the former. This would make things like this much easier to change. - Robert -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
