Equivalence Testing
IsHadamard(H) : AlgMatElt -> BoolElt
HadamardNormalize(H) : AlgMatElt -> AlgMatElt
HadamardCanonicalForm(H) : AlgMatElt -> AlgMatElt, AlgMatElt, AlgMatElt
HadamardInvariant(H) : AlgMatElt -> [ RngIntElt ]
IsHadamardEquivalent(H, J : parameters) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt, AlgMatElt
HadamardMatrixToInteger(H) : AlgMatElt -> RngIntElt
HadamardMatrixFromInteger(x, n) : RngIntElt, RngIntElt -> AlgMatElt
Example Hadamard_hadamard-equiv (H148E1)
Associated 3--Designs
HadamardRowDesign(H, i) : AlgMatElt, RngIntElt -> Dsgn
HadamardColumnDesign(H, i) : AlgMatElt, RngIntElt -> Dsgn
Example Hadamard_hadamard-designs (H148E2)
Automorphism Group
HadamardAutomorphismGroup(H : parameters) : AlgMatElt -> AlgMatElt
Databases
HadamardDatabase() : -> DB
SkewHadamardDatabase() : -> DB
Matrix(D, n, k) : DB, RngIntElt, RngIntElt -> AlgMatElt
Matrices(D, n) : DB, RngIntElt -> [ AlgMatElt ]
DegreeRange(D) : DB -> RngIntElt, RngIntElt
Degrees(D) : DB -> [ RngIntElt ]
NumberOfMatrices(D, n) : DB, RngIntElt -> RngIntElt
Example Hadamard_hadamard_db_eg (H148E3)
Updating the Databases
HadamardDatabaseInformation(D : parameters) : DB -> Rec
HadamardDatabaseInformationEmpty(: parameters) : -> Rec
UpdateHadamardDatabase(~R, S : parameters) : Rec, SeqEnum ->
WriteHadamardDatabase(S, ~R) : MonStgElt, Rec ->
WriteRawHadamardData(S, R) : MonStgElt, Rec ->
SetVerbose("HadamardDB", v) : MonStgElt, RngIntElt ->
Example Hadamard_hadamard_db_update (H148E4)
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Wed Apr 24 15:09:57 EST 2013