Safe Haskell | None |
---|---|
Language | Haskell98 |
Algebra.Polynomials.Numerical
Contents
Description
This module contains the definition of the main arithmetic tools used in Metafont'.
- fromIntegral# :: Integral x => x -> (#Double, Double#)
- plus :: Double -> Double -> Double -> Double -> (#Double, Double#)
- minus :: Double -> Double -> Double -> Double -> (#Double, Double#)
- over :: Double -> Double -> Double -> Double -> (#Double, Double#)
- times :: Double -> Double -> Double -> Double -> (#Double, Double#)
- sqrt# :: Double -> Double -> (#Double, Double#)
- cos# :: Double -> Double -> (#Double, Double#)
- sin# :: Double -> Double -> (#Double, Double#)
- acos# :: Double -> Double -> (#Double, Double#)
- asin# :: Double -> Double -> (#Double, Double#)
- data Interval = Interval {}
- class Intervalize a where
- interval :: Double -> Interval
- intersectsd :: Interval -> Interval -> Bool
- union :: Interval -> Interval -> Interval
- fpred :: Double -> Double
- fsucc :: Double -> Double
Raw operations
fromIntegral# :: Integral x => x -> (#Double, Double#) #
Converts an Integral
value into an interval.
The Interval
type
The interval type (most of its operations are calls to the raw functions)
class Intervalize a where #
Two common operations on types defined with intervals.
Minimal complete definition
Instances
Num (Bernsteinp a Interval) => Intervalize (Bernsteinp a) # | |
interval :: Double -> Interval #
Converts an optimal IEEE-754 representation of a number into an optimal interval containing this number.