[Next][Prev] [Right] [Left] [Up] [Index] [Root]

HADAMARD MATRICES

 
Acknowledgements
 
Introduction
 
Equivalence Testing
 
Associated 3--Designs
 
Automorphism Group
 
Databases
      Updating the Databases







DETAILS

 
Introduction

 
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