> Nevertheless, out of curiosity: Why is there this restriction to the > commutative case? > > I mean, there are non-commutative Gröbner bases -- wouldn't it be > better to deal with commutativity only in the classes that inherit > from Ideal_generic, rather than in Ideal_generic itself? Being in a > commutative ring is not a generic property of ideals.
It is probably just an oversight, of course Sage should support ideals over non-commutative rings. Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
