|
⇤ ← Revision 1 as of 2010-06-19 08:20:06
Size: 2618
Comment: Initial Commit
|
Size: 2868
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
[[Original report propsal for MTU:masterspropsal.pdf]] |
Original report propsal for MTU: [[attachment:masterspropsal.pdf]] (Be warned! there are things in that proposal that I think are pointless (like the logic syntax)) |
| Line 8: | Line 9: |
| == Missing Classes/Attributes == | == Desirable Classes/Attributes == |
| Line 11: | Line 12: |
| Line 35: | Line 35: |
| Line 37: | Line 36: |
| Line 41: | Line 39: |
| *SOLSOM |
*SOLSOM |
| Line 44: | Line 41: |
| Line 53: | Line 49: |
| * Functions finding blocks containing certain group profiles | |
| Line 124: | Line 121: |
| * | |
| Line 131: | Line 127: |
| *GA(2n)(general as well) * GK(2n) |
* GA(2n)(general as well) * GK(2n) |
| Line 143: | Line 139: |
| Biblo (for the above list): | |
| Line 144: | Line 141: |
Biblo: Beth,Jungnickel, lenz - Design theory (v1 and 2, second ed) |
Beth, Jungnickel, Lenz - Design theory (v1;v2, 2nd ed) |
| Line 160: | Line 154: |
Colbourn, Dinitz - Handbook of Combinatorial Designs (2nd ed) |
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.
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)