p2cdarPrec | AERN2.MP.Float.Type, AERN2.MP.Float |
piBallP | AERN2.MP.Ball.Elementary, AERN2.MP.Ball |
piCEDU | AERN2.MP.Float.Arithmetic, AERN2.MP.Float |
plusMinus | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
PlusMinusType | AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP.Ball, AERN2.MP, AERN2.MP |
prec | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
Precision | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |
precisionTimes2 | AERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP |