| Safe Haskell | None |
|---|
Algebra.Polynomials.Numerical
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
- intervalize :: a Double -> a Interval
- intersects :: a Interval -> a Interval -> Bool
- 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#)Source
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 whereSource
Two common operations on types defined with intervals.
Methods
intervalize :: a Double -> a IntervalSource
intersects :: a Interval -> a Interval -> BoolSource
Instances
| Num (Bernsteinp a Interval) => Intervalize (Bernsteinp a) |
interval :: Double -> IntervalSource
Converts an optimal IEEE-754 representation of a number into an optimal interval containing this number.