AERN2.Real.Examples.Introduction

Introductory examples for packages aern2-mp and aern2-real.

Please see aern2-real/README.md for explanations.

You can run the following examples in ghci. If you installed AERN2 using the official instructions, you can start ghci using the following command in the base folder:

   stack repl aern2-realexamplesAERN2RealExamples/Introduction.hs
   

Documentation

sine1 :: CReal

sine1_run1 :: CN MPBall

sine1_run2 :: CN MPBall

sumSines1 :: Integer -> CReal

sumSines1_run1 :: CN MPBall

sumSines1_run2 :: CN MPBall

pi100 :: CN MPBall

compare_run1 :: CN Kleenean

compare_run2 :: CN Kleenean

compare_run3 :: CKleenean

compare_run4 :: CSequence Kleenean

compare_run5 :: CN Kleenean

compare_run6 :: CSequence Kleenean

compare_run7 :: CN Kleenean

partialfn_bad1 :: CReal

a_third :: CReal

partialfn_bad2 :: CSequence MPBall

partialfn_bad3 :: CSequence MPBall

partialfn_ok4 :: CReal

partialfn_ok5 :: CReal

partialfn_bad6 :: CReal

partialfn_bad7 :: CReal

detectCN :: CanTestErrorsPresent a => a -> Maybe a

fact :: Integer -> CReal

e_sum :: Integer -> CReal

my_e :: CReal

e_sum2 :: Integer -> CReal

my_e2 :: CReal

absQ :: Rational -> Rational

absR1 :: CReal -> CReal

pif_run1 :: CReal

absR2_approx :: (HasIfThenElse (SelectType (OrderCompareType t Rational)) t, CanSelect (OrderCompareType t Rational), HasOrderAsymmetric t Rational, CanNeg t, NegType t ~ t) => t -> Rational -> IfThenElseType (SelectType (OrderCompareType t Rational)) t

absR2 :: CReal -> CReal

select_run1 :: CReal

logistic :: RealNumber t => Rational -> Integer -> t -> t

logistic1 :: RealNumber t => Integer -> t

logistic1_CReal_run :: Integer -> CReal

logistic1_WithCurrentPrec_run :: Integer -> CReal

logistic1_WithCurrentPrec_p_run :: Integer -> Precision -> CN MPBall