Quelle 2017-07-09-blowup.tst
Sprache: unbekannt
|
|
Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# Fixes https://github.com/gap-system/gap/issues/826
# Modified BlownUpMat to return fail for invalid input
gap> BlownUpMat(Basis(CF( 4)), [[ 1]]);
[ [ 1, 0 ], [ 0, 1 ] ]
gap> BlownUpMat(Basis(CF( 4)), [[E( 4)]]);
[ [ 0, 1 ], [ - 1, 0 ] ]
gap> BlownUpMat(Basis(CF( 4)), [[Sqrt( 2)]]);
fail
# Simplified version of example from issue # 826
gap> i:=E( 4);;
gap> S:=(( 1+i)/Sqrt( 2))*DiagonalMat([i,i, 1, 1]);;
gap> T:=(( 1+i)/ 2)*[[-i, 0, 0,i],[ 0, 1, 1, 0],[ 1, 0, 0, 1],[ 0,-i,i, 0]];;
gap> g:=Group(T);;
gap> Order(g);
10
gap> S in g;
false
[Dauer der Verarbeitung: 0.23 Sekunden, vorverarbeitet 2026-06-10]
|
2026-07-09
|
