Documentation

lattice
- Attributes of Lattices (LATTICES)
- Creating the Lattice of Sublattices (LATTICES WITH GROUP ACTION)
- Lattice of Sublattices (LATTICES WITH GROUP ACTION)
- Lattice of Submodules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Lattice Operations (BRAID GROUPS)
- Lattice Structure and Simple Elements (BRAID GROUPS)
- LATTICES
- LATTICES OVER NUMBER FIELDS
- Maps of Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- Operations on Lattice Elements (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Operations on the Lattice of Sublattices (LATTICES WITH GROUP ACTION)
- Operations on Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- Points of Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- Predicates and Booleans on Lattices (LATTICES)
- Properties of Lattice Elements (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Properties of Lattices (LATTICES)
- The Subfield Lattice (GALOIS GROUPS AND AUTOMORPHISMS)
- Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
lattice-attributes
- Attributes of Lattices (LATTICES)
lattice-element
- Operations on Lattice Elements (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Properties of Lattice Elements (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
lattice-nf
- LATTICES OVER NUMBER FIELDS
lattice-predicates
- Predicates and Booleans on Lattices (LATTICES)
lattice-properties
- BaseChange(L, S) : Lat, Rng -> Lat, Map
- BaseExtend(L, S) : Lat, Rng -> Lat, Map
- Properties of Lattices (LATTICES)
lattice_enum_close
- Enumeration of Close Vectors (PARALLELISM)
lattice_enum_short
- Enumeration of Short Vectors (PARALLELISM)
LatticeBasisInCone
- LatticeBasisInCone(C) : TorCon -> [TorLatElt]
LatticeCoordinates
- LatticeCoordinates(x) : ModAbVarElt -> ModTupFldElt
LatticeCreate
- Lat_LatticeCreate (Example H31E1)
LatticeData
- LatticeData(D, i): DB, RngIntElt -> Rec
LatticeDatabase
- LatticeDatabase() : -> DB
LatticeElementToMonomial
- LatticeElementToMonomial(D,v) : DivTorElt,TorLatElt -> RngMPolElt
LatticeFunctions
- Lat_LatticeFunctions (Example H31E4)
LatticeMap
- LatticeMap(L,Q) : TorLat,[TorLatElt] -> TorLatMap
- hom< L -> K | M > : TorLat,TorLat,Mtrx -> TorLatMap
LatticeMinimum1
- Par_LatticeMinimum1 (Example H5E17)
LatticeMinimum2
- Par_LatticeMinimum2 (Example H5E18)
LatticeName
- LatticeName(D, N): DB, MonStgElt -> RecMonStgElt, RngIntElt
- LatticeName(D, N, i): DB, MonStgElt, RngIntElt -> RecMonStgElt, RngIntElt
- LatticeName(D, i): DB, RngIntElt -> MonStgElt, RngIntElt
- LatticeName(D, d, i): DB, RngIntElt, RngIntElt -> RecMonStgElt, RngIntElt
LatticeOperations
- Grp_LatticeOperations (Example H63E28)
LatticeOps
- ModAlg_LatticeOps (Example H97E24)
Lattices
- NumberOfGroups(D) : DB -> RngIntElt
- NumberOfLattices(D) : DB -> RngIntElt
- # D : DB -> RngIntElt
- # D : DB -> RngIntElt
- # D : DB -> RngIntElt
- # D : DB -> RngIntElt
- # D: DB -> RngIntElt
- NumberOfGroups(D, d) : DB, RngIntElt -> RngIntElt
- NumberOfGroups(D, d) : DB, RngIntElt -> RngIntElt
- NumberOfGroups(D, d) : DB, RngIntElt -> RngIntElt
- NumberOfGroups(D, d) : DB, RngIntElt -> RngIntElt
- NumberOfLattices(D, N): DB, MonStgElt -> RngIntElt
- NumberOfLattices(D, d): DB, RngIntElt -> RngIntElt
- PicardToClassLatticesMap(X) : TorVar -> Map
- WeilToClassGroupsMap(C) : RngCox -> Map
lattices
- Integral Lattices (PARALLELISM)
- Lattices from Matrix Groups (LATTICES WITH GROUP ACTION)
- Lorentzian Lattices (LATTICES OVER NUMBER FIELDS)
- Maps from Lattice Maps (TORIC VARIETIES)
- Operations on Lattices (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Special Lattices (LATTICES)
- Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
LatticeVector
- LatticeVector(L,Q) : TorLat,[RngIntElt] -> TorLatElt
- L ! [a,b,...] : TorLat,[RngIntElt] -> TorLatElt
LatticeWithBasis
- LatticeWithBasis(G, B) : GrpMat, ModMatRngElt -> Lat
- LatticeWithBasis(G, B, M) : GrpMat, ModMatRngElt, AlgMatElt -> Lat
- LatticeWithBasis(B) : ModMatRngElt -> Lat
- LatticeWithBasis(B, M) : ModMatRngElt, AlgMatElt -> Lat
LatticeWithGram
- LatticeWithGram(F) : AlgMatElt -> Lat
- LatticeWithGram(G, F) : GrpMat, AlgMatElt -> Lat
Laurent
- POWER, LAURENT AND PUISEUX SERIES
- DifferentialLaurentSeriesRing(C) : Fld -> RngDiff
- IsDifferentialLaurentSeriesRing(R) : Rng -> BoolElt
- LaurentSeriesRing(L) : AlgKac -> RngSerLaur
- LaurentSeriesRing(R) : Rng -> RngSerLaur

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.