aern2-mp-0.1.2.0: Multi-precision floats via MPFR
AERN2.Normalize
Description
class CanNormalize t where Source #
Minimal complete definition
normalize
Methods
normalize :: t -> t Source #
Instances
normalize :: MPBall -> MPBall Source #