Index - M
| mapCoeff' | Algebra.Ring.Polynomial.Class | 
| mapIdeal | Algebra.Ring.Ideal | 
| mapMonomial | Algebra.Ring.Polynomial.Class | 
| mapMonomialMonotonic | Algebra.Ring.Polynomial.Class | 
| mapPolynomial | Algebra.Ring.Polynomial.Class | 
| Max | Algebra.Internal | 
| maxNorm | Algebra.Ring.Polynomial.Class | 
| Min | Algebra.Internal | 
| Mod | Algebra.Internal | 
| modNat | Algebra.Field.Prime | 
| modNat' | Algebra.Field.Prime | 
| modPolynomial | Algebra.Ring.Polynomial.Class | 
| modPow | Algebra.Arithmetic | 
| modRat | Algebra.Field.Prime | 
| modRat' | Algebra.Field.Prime | 
| monoize | Algebra.Ring.Polynomial.Class | 
| Monomial | Algebra.Ring.Polynomial.Monomial | 
| MonomialOrder | Algebra.Ring.Polynomial.Monomial | 
| monomials | Algebra.Ring.Polynomial.Class | 
| MOrder | Algebra.Ring.Polynomial.Class |