aern2-mp-0.2.11.0: Multi-precision ball (interval) arithmetic

Index - /

/.AERN2.MP.Float.Operators, AERN2.MP.Float
/^AERN2.MP.Float.Operators, AERN2.MP.Float