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

Index - +

+-AERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
+.AERN2.MP.Float.Operators, AERN2.MP.Float
+^AERN2.MP.Float.Operators, AERN2.MP.Float