Hi, Currently, PolynomialQuotientRing_generic inherits from CommutativeRing. I think it would make more sense to make it inherit from QuotientRing_generic instead (which, in turn, inherits from CommutativeRing).
Any thoughts or objections? BTW, I'm not just doing this for fun -- it came up while writing a fix for trac #4218. Best, Alex -- Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne -- Australia -- http://www.ms.unimelb.edu.au/~aghitza/ --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
