frequencyElements | AERN2.MP.Float.Tests, AERN2.MP.Float |
fromAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
fromApproxWithLipschitz | AERN2.MP.Ball.Elementary, AERN2.MP.Ball |
fromEndpoints | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
fromEndpointsAsIntervals | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
fromIntegerCEDU | AERN2.MP.Float.Conversions, AERN2.MP.Float |
fromIntegerDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
fromIntegerUp | AERN2.MP.Float.Operators, AERN2.MP.Float |
fromMPBallEndpoints | AERN2.MP.Ball.Type |
fromMPFloatEndpoints | AERN2.MP.Ball.Type |
fromRationalCEDU | AERN2.MP.Float.Conversions, AERN2.MP.Float |
fromRationalDown | AERN2.MP.Float.Operators, AERN2.MP.Float |
fromRationalUp | AERN2.MP.Float.Operators, AERN2.MP.Float |