p2mpfrPrec | AERN2.MP.UseMPFR.Float.Type, AERN2.MP.UseMPFR.Float |
piBallP | AERN2.MP.UseMPFR.Ball.Elementary, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball |
piDown | AERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float |
piUp | AERN2.MP.UseMPFR.Float.Arithmetic, AERN2.MP.UseMPFR.Float |
prec | AERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
Precision | AERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |
precisionTimes2 | AERN2.MP.Precision, AERN2.MP.UseMPFR.Float, AERN2.MP.UseMPFR.Ball.Type, AERN2.MP.UseMPFR.Ball, AERN2.MP.Ball, AERN2.MP |