"Source: Text/Incidence/Hadamard.text";
"Line: 199";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Hadamard.text, line: 199
// Example: H161E2 ()
print "Example: H161E2";
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);
