Read("data.g");
a;b;v;
Z(3)+Z(3);
Z(3)+Z(3)+Z(3);
Z(3)*Z(3);
Z(3)^0+Z(3)^0+Z(3)^0;
IsOne(Z(3)^0);
IsZero(0*Z(3));
2 * Z(3)^0;
Display(a);
Display(b);
v*a;
v;
v*b;
IsZero(v*a+v);
IsZero(v*b+v);
# span(v) is an invariant subspace, a submodule of the natural module
F := GF(3);
m := GModuleByMats([a,b],F);
MTX.BasesCompositionSeries(m);
gens := AtlasGenerators("HN",2).generators;
s := AtlasStraightLineProgram("HN",10).program;
Display(s);  
hgens := ResultOfStraightLineProgram(s,gens);
m := GModuleByMats(hgens,GF(2));
MTX.IsIrreducible(m);
bas := MTX.ProperSubmoduleBasis(m);
sub := MTX.InducedActionSubmodule(m,bas); 
quot := MTX.InducedActionFactorModule(m,bas);
MTX.BasesCompositionSeries(m);
comp := MTX.CompositionFactors(m);;
List(comp,x->x.dimension);
List(comp,x->x.generators);