Quelle  morphisms_intertwiners.include  Sprache: unbekannt

gap>; form := BilinearFormByMatrix( IdentityMat(3,GF(3)), GF(3) );
<; bilinear form >
gap>; ps := PolarSpace(form);
<;polar space in ProjectiveSpace(2,GF(3)): x_1^2+x_2^2+x_3^2=0 >
gap>; pq := ParabolicQuadric(2,3);
standard Q(2, 3)
gap>; iso := IsomorphismPolarSpaces(ps, pq);
#I  Computing nice monomorphism...
<;geometry morphism from <Elements of <polar space in ProjectiveSpace(2,GF(
3)): x_1^2+x_2^2+x_3^2=0 >;> to <Elements of standard Q(2, 3)>>
gap>; KnownAttributesOfObject(iso);
[ "Range", "Source", "Intertwiner" ]
gap>; hom := Intertwiner(iso);
MappingByFunction( <;projective semilinear group with 
3 generators>;, PGammaO(3,3), function( y ) ... end, function( x ) ... end )