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 |
| 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 |
| mpBallEndpoints | AERN2.MP.Ball.Type |
| mpBallP | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
| MPFloat | |
| 1 (Type/Class) | AERN2.MP.Float.Type, AERN2.MP.Float |
| 2 (Data Constructor) | AERN2.MP.Float.Type, AERN2.MP.Float |
| mpFloat | AERN2.MP.Float.Conversions, AERN2.MP.Float |
| mulBalls | AERN2.MP.Ball.Field |
| mulByEndpoints | AERN2.MP.Ball.Field |
| mulCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |