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 | AERN2.MP.Float.Type, AERN2.MP.Float |
mpFloat | AERN2.MP.Float.Conversions, AERN2.MP.Float |
mulCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |