HasAccuracy | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
HasApproximate | AERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
HasCurrentPrecision | AERN2.MP.WithCurrentPrec |
HasDyadics | AERN2.MP.Dyadic |
HasLimits | AERN2.Limit |
HasNorm | AERN2.Norm, AERN2.MP.Ball.Comparisons, AERN2.MP.Ball, AERN2.MP |
HasPrecision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
hullMPBall | AERN2.MP.Ball.Comparisons, AERN2.MP.Ball |