- Introduction
- Elements and Local Monomial Orders
- Local Polynomial Rings and Ideals
- Creation of Local Polynomial Rings and Accessing their Monomial Orders
- LocalPolynomialRing(K, n) : Rng, RngIntElt -> RngMPolLoc
- LocalPolynomialRing(K, n, order) : Rng, RngIntElt, MonStgElt, ... -> RngMPolLoc
- LocalPolynomialRing(K, n, T) : Rng, RngIntElt, Tup -> RngMPolLoc
- MonomialOrder(R) : RngMPolLoc -> Tup
- MonomialOrderWeightVectors(R) : RngMPol -> [ [ FldRatElt ] ]
- Localization(R) : RngMPol -> RngMPolLoc
- Example RngMPolLoc_Order (H114E1)
- Creation of Ideals and Accessing their Bases
- Standard Bases
- Operations on Ideals
- Changing Coefficient Ring
- Changing Monomial Order
- Dimension of Ideals
- Bibliography
V2.28, 13 July 2023