"Source: Text/Incidence/Hadamard.text";
"Line: 126";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Hadamard.text, line: 126
// Example: H161E1 ()
print "Example: H161E1";
ei := GetEchoInput();
SetEchoInput(true);
S := [
  47758915483058652629300889924143904114798786457834842901517979108472281628672,
  52517743516350345514775635367035460577743730272737765852723792818755052170805,
  69809270372633075610047556428719374057869882804054059134346034969950931648512,
  7209801227548712796135507135820555403251560090614832684136782016680445345792
];
T := [ HadamardMatrixFromInteger(x, 16) : x in S ];
&and [ IsHadamard(m) : m in T ];
assert $1;
[ HadamardInvariant(m) : m in T ];
equiv,X,Y := IsHadamardEquivalent(T[1], T[2]);
equiv;
assert $1;
T[2] eq X*T[1]*Y;
assert $1;
equiv,X,Y := IsHadamardEquivalent(T[3], T[4]);
equiv;
assert not $1;
#{ HadamardCanonicalForm(m) : m in T };
assert $1 eq 3;
SetEchoInput(ei);
