Quelle incgeom_flag_chamber.include Sprache: unbekannt
|
|
Spracherkennung für: .include vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
gap> ps := PG( 3, 7);
ProjectiveSpace( 3, 7)
gap> point := VectorSpaceToElement(ps,[ 1, 2, 0, 0]*Z( 7)^ 0);
<a point in ProjectiveSpace( 3, 7)>
gap> line := VectorSpaceToElement(ps,[[ 1, 0, 0, 0],[ 0, 1, 0, 0]]*Z( 7)^ 0);
<a line in ProjectiveSpace( 3, 7)>
gap> plane := VectorSpaceToElement(ps,[[ 1, 0, 0, 0],[ 0, 1, 0, 0],[ 0, 0, 0, 1]]*Z( 7)^ 0);
<a plane in ProjectiveSpace( 3, 7)>
gap> flag1 := FlagOfIncidenceStructure(ps,[point,plane]);
<a flag of ProjectiveSpace( 3, 7)>
gap> IsChamberOfIncidenceStructure(flag1);
false
gap> flag2 := FlagOfIncidenceStructure(ps,[point,line,plane]);
<a flag of ProjectiveSpace( 3, 7)>
gap> IsChamberOfIncidenceStructure(flag2);
true
[Dauer der Verarbeitung: 0.17 Sekunden, vorverarbeitet 2026-09-30]
|
2026-10-11
|
