Quelle  morphisms_subfield2.include   Sprache: unbekannt

gap> w := SymplecticSpace(5, 3);
W(5, 3)
gap> h := HermitianPolarSpace(5, 3^2);
H(5, 3^2)
gap> em := NaturalEmbeddingBySubfield(w, h);
#I  No intertwiner computed. <geom1> must have a collineation group computed
<geometry morphism from <Elements of W(5, 3)> to <Elements of H(5, 3^2)>>
gap> points := AsList(Points(w));;
gap> image := ImagesSet(em, points);;
gap> ForAll(image, x -> x in h);
true
gap> hq:=HyperbolicQuadric(3,4);
Q+(3, 4)
gap> eq:=EllipticQuadric(3,2);
Q-(3, 2)
gap> em:=NaturalEmbeddingBySubfield(eq,hq);
#I  No intertwiner computed. <geom1> must have a collineation group computed
<geometry morphism from <Elements of Q-(3, 2)> to <Elements of Q+(3, 4)>>
gap> eqpts:=ImagesSet(em,AsList(Points(eq)));
[ <a point in Q+(3, 4)>, <a point in Q+(3, 4)>, <a point in Q+(3, 4)>, 
  <a point in Q+(3, 4)>, <a point in Q+(3, 4)> ]