What are you inheriting from? FreeModule is checking to see if you're inheriting from sage.rings.commutative_ring.CommutativeRing. This was written long before categories became available. David
On Sat, Oct 16, 2010 at 14:27, Christian Stump <christian.st...@gmail.com>wrote: > Hello, > > I am trying to define a matrix group generated by matrices over a > field which I have defined. At the moment, I am stuck with the the > question of how to make the base_ring an instance of CommutativeRing? > In particular, I get that the __init__ in free_module.pyc asks > isinstance(base_ring, commutative_ring.CommutativeRing), which is > False. I have that base_ring is in Fields() and in CommutativeRings(), > but can anyone tell me how to make it an instance of CommutativeRings? > > Thanks for your help, Christian > > -- > 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<sage-devel%2bunsubscr...@googlegroups.com> > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org > -- 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
