"Source: Text/Incidence/Hadamard.text";
"Line: 199";
"Date: Tue Nov 24 16:13:09 2020";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Incidence/Hadamard.text, line: 199
// Example: H157E2 ()
print "Example: H157E2";
ei := GetEchoInput();
SetEchoInput(true);
R := MatrixRing(Integers(), 8);
H := R![1,  1,  1,  1,  1,  1,  1,  1,
        1,  1,  1,  1, -1, -1, -1, -1,
        1,  1, -1, -1,  1,  1, -1, -1,
        1,  1, -1, -1, -1, -1,  1,  1,
        1, -1,  1, -1,  1, -1, -1,  1,
        1, -1,  1, -1, -1,  1,  1, -1,
        1, -1, -1,  1, -1,  1, -1,  1,
        1, -1, -1,  1,  1, -1,  1, -1];
IsHadamard(H);
assert $1;
DR := HadamardRowDesign(H, 3);
DR: Maximal;
HadamardColumnDesign(H, 8);
SetEchoInput(ei);
