Spracherkennung für: .include vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
gap> geom1 := ProjectiveSpace(
2,
3);
ProjectiveSpace(
2,
3)
gap> geom2 := ProjectiveSpace(
3,
3);
ProjectiveSpace(
3,
3)
gap> planes := Planes(geom2);
<planes of ProjectiveSpace(
3,
3)>
gap> hyp := Random(planes);
<a plane in ProjectiveSpace(
3,
3)>
gap> em := NaturalEmbeddingBySubspace(geom1, geom2, hyp);
<geometry morphism from <All elements of ProjectiveSpace(
2,
3)> to <All elements of ProjectiveSpace(
3,
3)>>
gap> points := Points(geom1);
<points of ProjectiveSpace(
2,
3)>
gap> x := Random(points);
<a point in ProjectiveSpace(
2,
3)>
gap> x^em;
<a point in ProjectiveSpace(
3,
3)>
