|
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary | Portability | portable | Stability | experimental | Maintainer | mik@konecny.aow.cz |
|
|
|
Description |
Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.
Implementation of elementary functions applied to polynomials.
|
|
Synopsis |
|
chplSqrt :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> EffortIndex -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) | | chplExp :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> EffortIndex -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) | | chplPow :: (ERRealBase b, Integral i, DomainBox box varid Int, Ord box) => Int -> ERChebPoly box b -> i -> ERChebPoly box b | | chplLog :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> EffortIndex -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) | | chplSine :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> EffortIndex -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) | | chplCosine :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> EffortIndex -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) | | sincosTaylorAux :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Bool -> (ERChebPoly box b, ERChebPoly box b) -> Int -> Int -> (b, b) -> ((ERChebPoly box b, ERChebPoly box b), Int, (b, b)) | | chplAtan :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> EffortIndex -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) | | chplRecip :: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) => Int -> EffortIndex -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b) |
|
|
Documentation |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
:: (ERRealBase b, RealFrac b, DomainBox box varid Int, Ord box) | | => Bool | | -> (ERChebPoly box b, ERChebPoly box b) | | -> Int | how far to go in the Taylor series
| -> Int | degree of the term now being constructed
| -> (b, b) | | -> ((ERChebPoly box b, ERChebPoly box b), Int, (b, b)) | Bounds for the series result and information about the first discarded term,
from which some bound on the uniform error can be deduced.
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.1.0 |