module AERN2.Real
(
CReal,
CSequence (..),
creal, HasCReals, CanBeCReal,
cseqPrecisions, cseqIndexForPrecision,
cseqFromWithCurrentPrec, cseqFromPrecFunction,
pi,
crealFromWithCurrentPrec, crealFromPrecFunction,
HasLimits(..),
CKleenean, CanBeCKleenean, ckleenean,
CanSelect(..), CanSelectBool, CanSelectCNBool,
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 ( KnownNat )
import Numeric.CollectErrors (CanTakeCNErrors)
class
(OrderedField r
, HasLimitsSameType Int r
, HasLimitsSameType Integer r
, HasLimitsSameType Rational r
, CanTakeCNErrors r
, CanSelectCNBool (OrderCompareType r r)
, EqCompareType Integer r ~ OrderCompareType r r
, EqCompareType r Integer ~ OrderCompareType r r
, EqCompareType Int r ~ OrderCompareType r r
, EqCompareType r Int ~ OrderCompareType r r
, EqCompareType Rational r ~ OrderCompareType r r
, EqCompareType r Rational ~ OrderCompareType r r
, OrderCompareType Integer r ~ OrderCompareType r r
, OrderCompareType r Integer ~ OrderCompareType r r
, OrderCompareType Int r ~ OrderCompareType r r
, OrderCompareType r Int ~ OrderCompareType r r
, OrderCompareType Rational r ~ OrderCompareType r r
, OrderCompareType r Rational ~ OrderCompareType r r
)
=>
RealNumber r
instance RealNumber CReal
instance
(KnownNat p) =>
RealNumber (WithCurrentPrec p (CN MPBall))