"Source: Text/Incidence/Hadamard.text";
"Line: 465";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Hadamard.text, line: 465
// Example: H161E4 ()
print "Example: H161E4";
ei := GetEchoInput();
SetEchoInput(true);
//no-test
D := HadamardDatabase();
#D;
data := HadamardDatabaseInformation(D);
SetVerbose("HadamardDB", 1);
SetEchoInput(false);
load "matrixfile";
SetEchoInput(true);
UpdateHadamardDatabase(~data, S);
WriteHadamardDatabase("~/data/hadamard", ~data);
SetLibraryRoot("~");
D := HadamardDatabase();
#D;
assert $1 eq 2007;
function MyHadamardDatabase()
    oldlibroot := GetLibraryRoot();
    SetLibraryRoot("~");
    D := HadamardDatabase();
    SetLibraryRoot(oldlibroot);
    return D;
end function;
D := MyHadamardDatabase();
#D;
assert $1 eq 2007;
D := SkewHadamardDatabase();
#D;
assert $1 eq 638;
data := HadamardDatabaseInformationEmpty(: Canonical := false);
for n in Degrees(D) do
    UpdateHadamardDatabase(~data, Matrices(D, n));
end for;
WriteRawHadamardData("skewraw.m", data);
SetEchoInput(false);
load "skewraw.m";
SetEchoInput(true);
SetEchoInput(false);
load "matrixfile";
SetEchoInput(true);
UpdateHadamardDatabase(~data, S);
WriteHadamardDatabase("~/data/hadamard_skew", ~data);
WriteRawHadamardData("skewraw.m", data);
SetLibraryRoot("~");
D := SkewHadamardDatabase();
#D;
assert $1 eq 641;
SetEchoInput(ei);
