In addition to what David Roe said, if I remember correctly MatrixGroups in Sage are implemented for matrices over finite fields. At some point I think it calls GAP for the computations.
If your field is not finite, it might be better to use GAP directly since Sage only has infinite modular (matrix) groups implemented. If your field is not an abelian extension of QQ then even GAP lacks the functionality. If you need to do some *serious* computations in a finite matrix group defined over a non-abelian extension of QQ then you might try emailing the GAP support list, but of course no promises. On Sat, Oct 16, 2010 at 2:27 PM, 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 > 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
