Index - M
| makeExactCentre | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| mapInside | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| maximumPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| max_ | AERN2.MP.Float.UseRounded.RoundedAdaptor |
| min_ | AERN2.MP.Float.UseRounded.RoundedAdaptor |
| MPBall | |
| 1 (Type/Class) | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| 2 (Data Constructor) | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| mpBall | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| mpBallP | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| MPFloat | AERN2.MP.Float.UseRounded.Type, AERN2.MP.Float |
| mpFloat | AERN2.MP.Float.UseRounded.Conversions, AERN2.MP.Float |
| mul | AERN2.MP.Float.UseRounded.RoundedAdaptor |
| mulDown | AERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float |
| mulUp | AERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float |
| mul_ | AERN2.MP.Float.UseRounded.RoundedAdaptor |