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

Index - S

safeConvertPAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
scaleFloat'AERN2.MP.Float.UseRounded.RoundedAdaptor
seqByPrecision2CauchySeqAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setAERN2.MP.Float.UseRounded.RoundedAdaptor
setAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setPrecisionAtLeastAccuracyAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
setPrecisionDownAERN2.MP.Float.UseRounded.Type, AERN2.MP.Float
setPrecisionUpAERN2.MP.Float.UseRounded.Type, AERN2.MP.Float
show'AERN2.MP.Float.UseRounded.RoundedAdaptor
significand'AERN2.MP.Float.UseRounded.RoundedAdaptor
simplifyAERN2.MP.Float.UseRounded.RoundedAdaptor
sinAERN2.MP.Float.UseRounded.RoundedAdaptor
sinDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sinh_AERN2.MP.Float.UseRounded.RoundedAdaptor
sinUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sin_AERN2.MP.Float.UseRounded.RoundedAdaptor
specCanMapInsideAERN2.MP.Enclosure, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
specCanReduceSizeUsingAccuracyGuideAERN2.MP.Accuracy, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
specCanSetPrecisionAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
specDyadicAERN2.MP.Dyadic
specMPBallAERN2.MP.Ball.Tests
specMPFloatAERN2.MP.Float.Tests, AERN2.MP.Float
sqrtAERN2.MP.Float.UseRounded.RoundedAdaptor
sqrtDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sqrtUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sqrt_AERN2.MP.Float.UseRounded.RoundedAdaptor
standardPrecisionsAERN2.MP.Precision, AERN2.MP.Float, AERN2.MP.Ball.Type, AERN2.MP.Ball, AERN2.MP
subAERN2.MP.Float.UseRounded.RoundedAdaptor
subDownAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
subMPAERN2.MP.ErrorBound, AERN2.MP
subUpAERN2.MP.Float.UseRounded.Arithmetic, AERN2.MP.Float
sub_AERN2.MP.Float.UseRounded.RoundedAdaptor