Dear Forum,
On Jan 14, 2011, at 1/14/11 7:24, Max Horn wrote: > is there an analogue for IsFFEMatrixGroup and FieldOfMatrixGroup for groups > over ZmodnZ ? Something like IsZmodnZMatrixGroup and RingOfMatrixGroup ? I > didn't find anything like that. If it doesn't exist, how would I best go > about adding those? Assuming you want to catch the case for nonprime n, the equivalent for IsFFEMatrixGroup would be IsZmodnZObjNonprimeCollCollColl and IsMatrixGroup To get the underlying ring, you could use DefaultRing(Flat(GeneratorsOfGroup(g))); Best wishes, Alexander Hulpke _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
