|
gap> sub := CanonicalSubgeometryOfProjectiveSpace(PG(3,25),GF(5));
Subgeometry PG(3, 5) of ProjectiveSpace(3, 25)
gap> CategoriesOfObject(sub);
[ "IsIncidenceStructure", "IsIncidenceGeometry", "IsLieGeometry",
"IsProjectiveSpace", "IsSubgeometryOfProjectiveSpace" ]
gap> planes := Planes(sub);
<planes of Subgeometry PG(3, 5) of ProjectiveSpace(3, 25)>
gap> CategoriesOfObject(planes);
[ "IsListOrCollection", "IsCollection", "IsGeneralizedDomain",
"IsAnyElementsOfIncidenceStructure", "IsElementsOfIncidenceStructure",
"CategoryCollections(IsElementOfIncidenceStructure)",
"IsElementsOfIncidenceGeometry", "IsElementsOfLieGeometry",
"IsSubspacesOfSubgeometryOfProjectiveSpace" ]
gap> p := Random(planes);
<a plane in Subgeometry PG(3, 5) of ProjectiveSpace(3, 25)>
gap> CategoriesOfObject(p);
[ "IsElementOfIncidenceStructure", "IsElementOfIncidenceGeometry",
"IsElementOfLieGeometry", "IsSubspaceOfProjectiveSpace",
"IsSubspaceOfSubgeometryOfProjectiveSpace" ]
[ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
]
|
