gap&gt; coll := CollineationGroup(PG(4,8));
The FinInG collineation group PGammaL(5,8)
gap&gt; corr := CorrelationCollineationGroup(PG(4,8));
The FinInG correlation-collineation group PGammaL(5,8) : 2
gap&gt; phi := Embedding(coll,corr);
MappingByFunction( The FinInG collineation group PGammaL(5,8), The FinInG corr
elation-collineation group PGammaL(5,8) : 2, function( y ) ... end )
