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 (matri
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 wrote:
> Hello,
>
> I am trying to define a matrix gr
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, com
