Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/fining/examples/include/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 27.6.2023 mit Größe 1014 B image not shown  

Quelle  subgeometries_categories.include   Sprache: unbekannt

 
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.17 Sekunden  (vorverarbeitet)  ]