listFromGen | AERN2.Utils.Bench |
logDown | AERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float |
logUp | AERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float |
lowerPrecisionIfAbove | AERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |