Commutators( matrix-list )
It returns a set containing the non-trivial commutators of all pairs of matrices in matrix list.
IsDiagonal( matrix )
If a matrix, matrix, is diagonal, it returns true
, else false
.
IsScalar( matrix )
If a matrix, matrix, is scalar, it returns true
, else false
.
DisplayMat( matrix-list )
DisplayMat( matrix )
It converts the entries of a matrix defined over a finite field into integers and ``pretty-prints" the result. All matrices in matrix list must be defined over the same finite field.
ChooseRandomElements(G, NmrElts)
ChooseRandomElements(module, NmrElts)
It takes as input either a matrix group G, or a G-module module, and returns NmrElts pseudo-random elements.
ElementOfOrder(G, RequiredOrder, NmrTries)
ElementOfOrder(module, RequiredOrder, NmrTries)
It takes as input either a matrix group G, or a G-module module,
and searches for an element of order RequiredOrder. It examines at
most NmrTries elements before returning false
.
ElementWithCharPol(G, order, pol, NmrTries)
ElementWithCharPol(module, order, pol, NmrTries)
It takes as input either a matrix group G, or a G-module module.
It searches for an element of order order and characteristic polynomial
pol. It examines at most NmrTries pseudo-random elements before
returning false
.
LargestPrimeOrderElement(G, NmrTries)
LargestPrimeOrderElement(module, NmrTries)
It takes as input either a matrix group G, or a G-module module. It generates NmrTries pseudo-random elements and determines which elements of prime order can be obtained from powers of each; it returns the largest found and its order as a list.
LargestPrimePowerOrderElement(G, NmrTries)
LargestPrimePowerOrderElement(module, NmrTries)
It takes as input either a matrix group G, or a G-module module. It generates NmrTries pseudo-random elements and determines which elements of prime-power order can be obtained from powers of each; it returns the largest found and its order as a list.
GAP 3.4.4