Several kinds of combinatorial structures may be constructed in Magma. The categories are:
There are also many functions which operate on integers for enumerative combinatorics.
Geometrical structures are currently represented by elliptic curves (category GeomEC). Points on curves are in the category GeomECElt, and there is also a category KodSym for Kodaira symbols.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]