limit | AERN2.Limit |
limitMPBall | AERN2.MP.Ball.Limit |
LimitType | AERN2.Limit |
listFromGen | AERN2.Utils.Bench |
logCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
logDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
logUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
lowerPrecisionIfAbove | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |