makeExactCentre | AERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
mapInside | AERN2.MP.Enclosure, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
maximumPrecision | AERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
MPBall | |
1 (Type/Class) | AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
2 (Data Constructor) | AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
mpBall | AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
mpBallP | AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
MPFloat | AERN2.MP.UseMPFR.Float.Type, AERN2.MP.UseMPFR.Float |
mpFloat | AERN2.MP.UseMPFR.Float.Conversions, AERN2.MP.UseMPFR.Float |
mulDown | AERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float |
mulUp | AERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float |