| maxBoundPrimeFactor | Factory.Math.PrimeFactorisation |
| maxPreciseInteger | Factory.Math.Probability |
| maybeSquareNumber | Factory.Math.PerfectPower |
| mersenneNumbers | Factory.Math.Primes |
| MillerRabin | Factory.Math.Implementations.Primality |
| MinLength | Factory.Math.DivideAndConquer |
| mkBounded | Factory.Data.Interval |
| mkConstant | Factory.Data.Polynomial |
| mkLinear | Factory.Data.Polynomial |
| mkMonicPolynomial | Factory.Data.MonicPolynomial |
| mkPolynomial | Factory.Data.Polynomial |
| mkPrimeWheel | Factory.Data.PrimeWheel |
| MkSeries | |
| 1 (Data Constructor) | Factory.Math.Implementations.Pi.Spigot.Series |
| 2 (Data Constructor) | Factory.Math.Implementations.Pi.Ramanujan.Series |
| 3 (Data Constructor) | Factory.Math.Implementations.Pi.Borwein.Series |
| 4 (Data Constructor) | Factory.Math.Implementations.Pi.BBP.Series |
| mod' | |
| 1 (Function) | Factory.Data.Monomial |
| 2 (Function) | Factory.Data.Polynomial |
| MonicPolynomial | Factory.Data.MonicPolynomial |
| Monomial | Factory.Data.Monomial |
| multiplication | Factory.Math.Hyperoperation |
| multiplicativeIdentity | Factory.Data.Ring |
| multiplicativeOrder | Factory.Math.MultiplicativeOrder |