Quelle gpolygons_spanmeet.include
Sprache: unbekannt
|
|
Spracherkennung für: .include vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
gap> ps := SymplecticSpace( 5, 8);
W( 5, 8)
gap> gh := SplitCayleyHexagon(ps);
H( 8) in W( 5, 8)
gap> vec := [ Z( 2)^ 0, Z( 2^ 3)^ 6, Z( 2^ 3)^ 5, Z( 2^ 3)^ 6, Z( 2)^ 0, Z( 2^ 3) ];
[ Z( 2)^ 0, Z( 2^ 3)^ 6, Z( 2^ 3)^ 5, Z( 2^ 3)^ 6, Z( 2)^ 0, Z( 2^ 3) ]
gap> p := VectorSpaceToElement(gh,vec);
<a point in H( 8) in W( 5, 8)>
gap> vec := [ Z( 2)^ 0, Z( 2^ 3)^ 2, Z( 2^ 3), Z( 2^ 3)^ 3, Z( 2^ 3)^ 5, Z( 2^ 3)^ 5 ];
[ Z( 2)^ 0, Z( 2^ 3)^ 2, Z( 2^ 3), Z( 2^ 3)^ 3, Z( 2^ 3)^ 5, Z( 2^ 3)^ 5 ]
gap> q := VectorSpaceToElement(gh,vec);
<a point in H( 8) in W( 5, 8)>
gap> span := Span(p,q);
<a line in ProjectiveSpace( 5, 8)>
gap> ElementToElement(gh,span);
<a line in H( 8) in W( 5, 8)>
gap> vec := [ [ Z( 2)^ 0, 0*Z( 2), Z( 2^ 3)^ 6, Z( 2)^ 0, 0*Z( 2), Z( 2^ 3) ],
> [ 0*Z( 2), Z( 2)^ 0, Z( 2^ 3)^ 6, Z( 2^ 3)^ 4, Z( 2^ 3)^ 4, 0*Z( 2) ] ];
[ [ Z( 2)^ 0, 0*Z( 2), Z( 2^ 3)^ 6, Z( 2)^ 0, 0*Z( 2), Z( 2^ 3) ],
[ 0*Z( 2), Z( 2)^ 0, Z( 2^ 3)^ 6, Z( 2^ 3)^ 4, Z( 2^ 3)^ 4, 0*Z( 2) ] ]
gap> l := VectorSpaceToElement(gh,vec);
<a line in H( 8) in W( 5, 8)>
gap> vec := [ [ Z( 2)^ 0, 0*Z( 2), Z( 2)^ 0, Z( 2^ 3), 0*Z( 2), Z( 2^ 3) ],
> [ 0*Z( 2), Z( 2)^ 0, Z( 2)^ 0, Z( 2^ 3)^ 2, Z( 2^ 3)^ 4, Z( 2^ 3)^ 4 ] ];
[ [ Z( 2)^ 0, 0*Z( 2), Z( 2)^ 0, Z( 2^ 3), 0*Z( 2), Z( 2^ 3) ],
[ 0*Z( 2), Z( 2)^ 0, Z( 2)^ 0, Z( 2^ 3)^ 2, Z( 2^ 3)^ 4, Z( 2^ 3)^ 4 ] ]
gap> m := VectorSpaceToElement(gh,vec);
<a line in H( 8) in W( 5, 8)>
gap> Meet(l,m);
< empty subspace >
gap> DistanceBetweenElements(l,m);
6
[Dauer der Verarbeitung: 0.3 Sekunden, vorverarbeitet 2026-06-17]
|
2026-08-25
|
