|
#morphisms_embedding2.g
h1 := HermitianPolarSpace(2, 3^2);
h2 := HermitianPolarSpace(3, 3^2);
pg := AmbientSpace( h2 );
pi := VectorSpaceToElement( pg, [[1,0,0,0],[0,1,0,0],[0,0,1,0]] * Z(9)^0 );
em := NaturalEmbeddingBySubspace( h1, h2, pi );
ps1 := ParabolicQuadric(4,4);
ps2 := ParabolicQuadric(6,4);
pg := AmbientSpace( ps2 );
pi := VectorSpaceToElement( pg, [[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[0,0,1,0,0,0,0],
[0,0,0,1,0,0,0],[0,0,0,0,1,0,0]] * Z(4)^0 );
em := NaturalEmbeddingBySubspace( ps1, ps2, pi );
List(Lines(ps1),x->x^em);
quit;
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
