AERN2.MP.Float.Auxi

Auxiliary structures for bounds on result and printing.

Documentation

data BoundsCEDU a

Constructors

BoundsCEDU

Fields

• ceduCentre :: a
• ceduErr :: a
• ceduDown :: a
• ceduUp :: a

ceduDownUp :: BoundsCEDU a -> (a, a)

ceduCentreErr :: BoundsCEDU a -> (a, a)