Design Theory
A proposal for enhancing combinatorial configurations in sage. Original report propsal for MTU: masterspropsal.pdf (Be warned! there are things in that proposal that I think are pointless (like the logic syntax))
I would like to use this page to collect all the functionality that sage(actually, any CAS) is missing from the bowels of Design Theory that most researchers in the area have as old C code from the 90's.
Please also see the work describing the database of designs that has already been worked on at DesignTheory.org
Desirable Classes/Attributes
Hypergraphs:
- Dual
- Simple
- Uniform
- rank
- anti-rank
- partial hypergraph generated by a set
- sub-hypergraphs
- maximum degree
- degree sequence for connected/uniform
- separable
- pendent vertices
- linear
- steiner system
- intersecting family
- max cardinality of an intersecting family
- star
- chromatic index
- coloured edge
- hereditary closure
- interval hypergraph
- coloured edge property
- conformal
- representative graph/line graph
Frames(the IRGDD kind of Frames):
- type
- sub-frames
- SOLS
- SOLSOM
GDDs:
- resolvable
- resolution classes
- partial resolution classes (Frames)
- multiple groups
- replication number
- sub-GDDs
- incomplete
- Weighting
- Functions finding blocks containing certain group profiles
Transversal Designs:
- incomplete transversal
PBDs:
Latin Squares:
- Idempotent
- Subsquares
MOLs:
- Spouce-Avoiding
- Bachelor Squares
Orthogonal Array:
Resolvable Designs:
Near Resolvable Designs:
Finite Planes:
- parallel lines
Symmetric Design:
Hadamard Matrices:
- Regular
Packings and Coverings:
Difference Sets:
- Singer
- complements
- Shifts
- supplementary
- Multipliers
- Planar
- Hadamard
- Chen
- Characters
Greedoids:
- rank
- closure
- minors
- extensions
- interval
Extremal graph theory:
Epsiolon Nets:
Affine Planes:
Projective Geometries:
- Ovals
- Desargues
Block Designs:
- Residual and Derived
- Bruck-Ryser-Chowla
- Triple Systems
Tournaments:
One Factorizations:
- Starters
- GA(2n)(general as well)
- GK(2n)
Room Squares:
- Starter
- Squbsquare
- Howell
Biblo (for the above list):
Beth, Jungnickel, Lenz - Design theory (v1;v2, 2nd ed)
Wallis - Introduction to combinatorial designs
Pach, Agarwal - Combinatorial Geometry
Korte,Lovasz,Schrader - Greedoids
Tonchev - Combinatorial Configurations (English Version)
Furino, Miao, Yin - Frames and Resolvable Designs
Berge - Hypergraphs
Colbourn, Dinitz - Handbook of Combinatorial Designs (2nd ed)