ballFunctionUsingLipschitz | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
ball_error | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
ball_value | AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
bits | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
BoundsCEDU | |
1 (Type/Class) | AERN2.MP.Float.Auxi, AERN2.MP.Float |
2 (Data Constructor) | AERN2.MP.Float.Auxi, AERN2.MP.Float |
byEndpointsMP | AERN2.MP.Ball.Comparisons, AERN2.MP.Ball |