Quelle polarities_ishermitian.include
Sprache: unbekannt
|
|
Spracherkennung für: .include vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
gap> mat := [[ 0, 2, 7, 1],[ 2, 0, 3, 0],[ 7, 3, 0, 1],[ 1, 0, 1, 0]]*Z( 19)^ 0;
[ [ 0*Z( 19), Z( 19), Z( 19)^ 6, Z( 19)^ 0 ], [ Z( 19), 0*Z( 19), Z( 19)^ 13, 0*Z( 19) ],
[ Z( 19)^ 6, Z( 19)^ 13, 0*Z( 19), Z( 19)^ 0 ],
[ Z( 19)^ 0, 0*Z( 19), Z( 19)^ 0, 0*Z( 19) ] ]
gap> frob := FrobeniusAutomorphism(GF( 19^ 4));
FrobeniusAutomorphism( GF( 19^ 4) )
gap> phi := PolarityOfProjectiveSpace(mat,frob^ 2,GF( 19^ 4));
<polarity of PG( 3, GF( 19^ 4)) >
gap> IsHermitianPolarityOfProjectiveSpace(phi);
true
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-17]
|
2026-08-25
|
