|
gap> pg := PG(2,25);
ProjectiveSpace(2, 25)
gap> sub := CanonicalSubgeometryOfProjectiveSpace(pg,GF(5));
Subgeometry PG(2, 5) of ProjectiveSpace(2, 25)
gap> CategoriesOfObject(sub);
[ "IsIncidenceStructure", "IsIncidenceGeometry", "IsLieGeometry",
"IsProjectiveSpace", "IsSubgeometryOfProjectiveSpace" ]
gap> pg := PG(3,3^6);
ProjectiveSpace(3, 729)
gap> sub := CanonicalSubgeometryOfProjectiveSpace(pg,3^2);
Subgeometry PG(3, 9) of ProjectiveSpace(3, 729)
gap> sub := CanonicalSubgeometryOfProjectiveSpace(pg,3^3);
Subgeometry PG(3, 27) of ProjectiveSpace(3, 729)
gap> sub := CanonicalSubgeometryOfProjectiveSpace(pg,3^6);
ProjectiveSpace(3, 729)
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
