absMP | AERN2.MP.ErrorBound, AERN2.MP |
ac2prec | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
Accuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
addCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
approxEqual | AERN2.MP.Float.Tests, AERN2.MP.Float |
approxEqualWithArgs | AERN2.MP.Float.Tests, AERN2.MP.Float |
Approximate | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
avgDown | AERN2.MP.Float |
avgUp | AERN2.MP.Float |