Quelle  subgeometries_canonical.include   Sprache: unbekannt

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)