maxBound' | Factory.Data.Bounds |
maxBoundPrimeFactor | Factory.Math.PrimeFactorisation |
maybeSquareNumber | Factory.Math.Power |
mean | Factory.Math.Statistics |
MillerRabin | Factory.Math.Implementations.Primality |
minBound' | Factory.Data.Bounds |
MinLength | Factory.Math.DivideAndConquer |
mkConstant | Factory.Data.Polynomial |
mkLinear | Factory.Data.Polynomial |
mkMonicPolynomial | Factory.Data.MonicPolynomial |
mkPolynomial | Factory.Data.Polynomial |
MkSeries | |
1 (Data Constructor) | Factory.Math.Implementations.Pi.BBP.Series |
2 (Data Constructor) | Factory.Math.Implementations.Pi.Borwein.Series |
3 (Data Constructor) | Factory.Math.Implementations.Pi.Ramanujan.Series |
4 (Data Constructor) | Factory.Math.Implementations.Pi.Spigot.Series |
mod' | |
1 (Function) | Factory.Data.Monomial |
2 (Function) | Factory.Data.Polynomial |
MonicPolynomial | Factory.Data.MonicPolynomial |
Monomial | Factory.Data.Monomial |
multiplicativeIdentity | Factory.Data.Ring |
multiplicativeOrder | Factory.Math.MultiplicativeOrder |