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)