Skip to content

Commit

Permalink
Fix reproducibility of two examples
Browse files Browse the repository at this point in the history
In the GAP master branch, Basis is now shown as CanonicalBasis.
Suppressed output to avoid diffs.
  • Loading branch information
alex-konovalov committed Feb 23, 2022
1 parent c6d66ab commit b270489
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 12 deletions.
7 changes: 2 additions & 5 deletions doc/div-alg.xml
Original file line number Diff line number Diff line change
Expand Up @@ -1170,9 +1170,7 @@ gap> LocalIndicesOfCyclicCyclotomicAlgebra(last);
[ ]
gap> ConvertQuadraticAlgToQuaternionAlg(A);
<algebra-with-one of dimension 4 over NF(24,[ 1, 11 ])>
gap> b:=Basis(last);
Basis( <algebra-with-one of dimension 4 over NF(24,[ 1, 11 ])>, ... )
gap> b[1]^2; b[2]^2; b[3]^2; b[4]^2;
gap> b:=Basis(last);; b[1]^2; b[2]^2; b[3]^2; b[4]^2;
e
(-1)*e
(-1)*e
Expand Down Expand Up @@ -1221,8 +1219,7 @@ gap> ConvertCyclicCyclotomicAlgToCyclicAlg(last2);
[ 1, [ CF(5), CF(15), [ -1 ] ] ]
gap> ConvertQuadraticAlgToQuaternionAlg(last[2]);
<algebra-with-one of dimension 4 over CF(5)>
gap> b:=Basis(last); b[1]^2; b[2]^2; b[3]^2; b[4]^2;
Basis( <algebra-with-one of dimension 4 over CF(5)>, ... )
gap> b:=Basis(last);; b[1]^2; b[2]^2; b[3]^2; b[4]^2;
e
(-3)*e
(-1)*e
Expand Down
11 changes: 4 additions & 7 deletions tst/wedderga07.tst
Original file line number Diff line number Diff line change
Expand Up @@ -373,7 +373,7 @@ gap> DecomposeCyclotomicAlgebra(A);
[ [ NF(8,[ 1, 7 ]), CF(8), [ -1 ] ],
[ NF(8,[ 1, 7 ]), NF(24,[ 1, 7 ]), [ E(8)+2*E(8)^2+E(8)^3 ] ] ]

# doc/div-alg.xml:1163-1183
# doc/div-alg.xml:1163-1181

gap> A:=[NF(24,[1,11]),CF(24),[-1]];
[ NF(24,[ 1, 11 ]), CF(24), [ -1 ] ]
Expand All @@ -383,17 +383,15 @@ gap> LocalIndicesOfCyclicCyclotomicAlgebra(last);
[ ]
gap> ConvertQuadraticAlgToQuaternionAlg(A);
<algebra-with-one of dimension 4 over NF(24,[ 1, 11 ])>
gap> b:=Basis(last);
Basis( <algebra-with-one of dimension 4 over NF(24,[ 1, 11 ])>, ... )
gap> b[1]^2; b[2]^2; b[3]^2; b[4]^2;
gap> b:=Basis(last);; b[1]^2; b[2]^2; b[3]^2; b[4]^2;
e
(-1)*e
(-1)*e
(-1)*e
gap> b[2]*b[3]+b[3]*b[2];
0*e

# doc/div-alg.xml:1210-1231
# doc/div-alg.xml:1208-1228

gap> A:=QuaternionAlgebra(CF(5),-3,-1);
<algebra-with-one of dimension 4 over CF(5)>
Expand All @@ -407,8 +405,7 @@ gap> ConvertCyclicCyclotomicAlgToCyclicAlg(last2);
[ 1, [ CF(5), CF(15), [ -1 ] ] ]
gap> ConvertQuadraticAlgToQuaternionAlg(last[2]);
<algebra-with-one of dimension 4 over CF(5)>
gap> b:=Basis(last); b[1]^2; b[2]^2; b[3]^2; b[4]^2;
Basis( <algebra-with-one of dimension 4 over CF(5)>, ... )
gap> b:=Basis(last);; b[1]^2; b[2]^2; b[3]^2; b[4]^2;
e
(-3)*e
(-1)*e
Expand Down

0 comments on commit b270489

Please # to comment.