Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/forms/tst/output/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 5.4.2025 mit Größe 1 kB image not shown  

Quelle  test_forms10.out   Sprache: unbekannt

 
gap> #Klein's quadric in PG(5,8)
gap> r := PolynomialRing( GF(8), 6);
GF(2^3)[x_1,x_2,x_3,x_4,x_5,x_6]
gap> vars := IndeterminatesOfPolynomialRing( r );
[ x_1, x_2, x_3, x_4, x_5, x_6 ]
gap> pol := vars[1]*vars[6]+vars[2]*vars[5]+vars[3]*vars[4];
x_1*x_6+x_2*x_5+x_3*x_4
gap> form := QuadraticFormByPolynomial(pol,r,6);
< quadratic form >
gap> B := BaseChangeToCanonical(form);
[ [ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], 
  [ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0 ], 
  [ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2) ], 
  [ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ], 
  [ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ], 
  [ 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ] ]
gap> mat := form!.matrix;;
gap> Display(mat);
 . . . . . 1
 . . . . 1 .
 . . . 1 . .
 . . . . . .
 . . . . . .
 . . . . . .
gap> mat2 := B*mat*TransposedMat(B);;
gap> Display(mat2);
 . 1 . . . .
 . . . . . .
 . . . 1 . .
 . . . . . .
 . . . . . .
 . . . . 1 .
gap> iso := IsometricCanonicalForm(form);
< hyperbolic quadratic form >
gap> Display(iso);
Hyperbolic quadratic form
Gram Matrix:
 . 1 . . . .
 . . . . . .
 . . . 1 . .
 . . . . . .
 . . . . . 1
 . . . . . .
Witt Index: 3
gap> quit;

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]