getAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
getApproximate | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
getBoundsCEDU | AERN2.MP.Float.Type, AERN2.MP.Float |
getCurrentPrecision | AERN2.MP.WithCurrentPrec |
getErrorStepSizeLog | AERN2.MP.Float.Type, AERN2.MP.Float |
getFiniteAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
getNormLog | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
getPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
giveUpIfVeryInaccurate | AERN2.MP.Ball, AERN2.MP |