module AERN2.Real
(
CReal,
CSequence (..),
creal, HasCReals, CanBeCReal,
cseqPrecisions, cseqIndexForPrecision,
cseqFromWithCurrentPrec, cseqFromPrecFunction,
pi,
crealFromWithCurrentPrec, crealFromPrecFunction,
HasLimits(..),
CKleenean, CanBeCKleenean, ckleenean, CanSelect(..),
CanExtractApproximation(..), (?), bits, prec,
RealNumber
)
where
import AERN2.Limit
import AERN2.Select
import AERN2.MP
import AERN2.MP.WithCurrentPrec
import AERN2.Real.Type
import AERN2.Real.Comparisons ()
import AERN2.Real.CKleenean
import AERN2.Real.Field ()
import AERN2.Real.Limit ()
import AERN2.Real.Elementary (pi)
import MixedTypesNumPrelude
import GHC.TypeLits
class
(OrderedField r
, HasLimits Int r
, HasLimits Integer r
, HasLimits Rational r
, CanSelect (OrderCompareType r r)
, (CanTestCertainly (SelectType (OrderCompareType r r))))
=>
RealNumber r
instance RealNumber CReal
instance
(KnownNat p) =>
RealNumber (WithCurrentPrec p (CN MPBall))