Hi there, consider the the ring
R = F_2[x1,...,xn] / <x1^2+x1, ... , xn^2+xn>. Right now, if one constructs such a thing in SAGE one will get a QuotientRing and QuotientRingElements. These are somewhat generic in the sense that they serve e.g. univariate and multivariate polynomial rings. Essentially, I want to use elements in R like elements in MPolynomialRings so from a non-mathematical user's point of view inheriting from MPolynomialRing would be a good idea. However, that's not how the inheritance hierarchy is set up in SAGE. So the SAGE-way seems to be to do: RingElement -- QuotientRingElement_generic (*new*) -- -- MPolynomialQuotientRingElement (*new*) -- -- QuotientRingElement Thoughts? Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _www: http://www.informatik.uni-bremen.de/~malb _jab: [EMAIL PROTECTED] --~--~---------~--~----~------------~-------~--~----~ 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://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
