About
Calculator
Ordering
FAQ
Download
Download Magma
Databases
User Contributions
Documentation
Handbook
Overview
Release Notes
Discovering Maths with Magma
First Steps in Magma (pdf)
Solving Problems with Magma (pdf)
Acknowledgements
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Up
Contents
Index
Search
Expand all
Collapse all
Introduction
Equivalence Testing
IsHadamard(H) : AlgMatElt -> BoolElt
HadamardNormalize(H) : AlgMatElt -> AlgMatElt
HadamardCanonicalForm(H : parameters) : 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 (H157E1)
Associated 3-Designs
HadamardRowDesign(H, i) : AlgMatElt, RngIntElt -> Dsgn
HadamardColumnDesign(H, i) : AlgMatElt, RngIntElt -> Dsgn
Example
Hadamard_hadamard-designs (H157E2)
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 (H157E3)
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 (H157E4)
Up
Contents
Index
Search
V2.28, 28 February 2025