Somebody could explain why these are different files?
Assuming that by "all ideals of a ring R" we mean two-sided ideals (that should go inside the description!) I don't see what is the difference, for a commutative ring R, between ring_ideals(R) and commutative_ring_ideals(R). Or am I missing something here? IMO, there is no need for "commutative_ring_ideals", and the only distinction on whether R is commutative or not should be made for super_categories. If R is commutative it should return Modules(R) and if R is not commutative it should return [LeftRingIdeals(R), RightRingIdeals(R), Bimodules(R,R)] This also brings to attention that there aren't any "LeftRingIdeals" or "RightRingIdeals" methods, I think these should also be included in the ring_ideals.py file, defined in a similar way as RingIdeals with the additional check of commuativity of R, in which case LeftRingIdeals, RightRingIdeals and RingIdeals should be identified as equal. Cheers Javier --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
