36.3 Matrix Group Records

A group is represented by a record that contains information about the group. A matrix group record contains the following components in addition to those described in section Group Records.

isMatGroup:

always true.

If a permutation representation for a matrix group m is known it is stored in the following components.

permGroupP:

contains the permutation group representation of m.

permDomain:

contains the union of the orbits of the parent of m on the standard basis vectors.

Previous Up Top
Index