HasAccuracy | AERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
HasAccuracyGuide | AERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
HasApproximate | AERN2.MP.Accuracy, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
HasDyadics | AERN2.MP.UseMPFR.Dyadic, AERN2.MP.Dyadic |
HasNorm | AERN2.Norm, AERN2.MP.UseMPFR.Ball.Comparisons, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
HasPrecision | AERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |