Quelle  isometriccanonicalform.g   Sprache: unbekannt

#morphisms: IsometricCanonicalForm
mat := [ [ Z(8) , 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], 
[ 0*Z(2), Z(2)^0, Z(2^3)^5, 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), 0*Z(2), Z(2)^0 ], 
[ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ] ];;
form := QuadraticFormByMatrix(mat,GF(8));
iso := IsometricCanonicalForm(form);
Display(form);
Display(iso);
quit;