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