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

Quelle  subgeometries_categories.include  Sprache: unbekannt

 
Spracherkennung für: .include vermutete Sprache: Lisp {Lisp[42] Masm[42] [0]} [Methode: maximale Elemente, drei Dimensionen]

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.2 Sekunden, vorverarbeitet 2026-10-21]