67.36 RandomRelations

RandomRelation( G, P [,maps] )

G is a matrix group. P is a permutation representation of G. The optional argument maps has the same meaning as in ApproximateKernel.

RandomRelation returns a relation for G. We set up a free group on the number of generators of G and we also set up a mapping from P to this free group. We then take a random word in the free group and evaluate this in P. Our relation is the product of the original word and the inverse of the image of the permutation under the mapping we have constructed.

EvaluateRelation( reln, G )

reln is the word returned by an application of RandomRelation. EvaluateRelation evaluates reln on the generators of G. Previous Up Top Next
Index

GAP 3.4.4
April 1997