Combinatorial and Geometrical Structures

Several kinds of combinatorial structures may be constructed in Magma. The categories are:

GrphUnd

undirected graphs

GrphDir

directed graphs (digraphs)

Code

error-correcting linear codes

Inc, Dsgn

incidence structures and designs

Plane, ProjPl, AffPl

finite planes (affine, projective)

There are also many functions which operate on integers for enumerative combinatorics.

Geometrical structures are currently represented by schemes (category Sch), plane curves (categories Amb, AmbAff, AmbProj), newton polygons (category NwtnPgon) and elliptic curves (category GeomEC). Points on curves are in the category GeomECElt, and there is also a category KodSym for Kodaira symbols.