Modulenumeric-prelude-0.4.4Haskell98

MathObj.PowerSeries

Power series, either finite or unbounded. (zipWith does exactly the right thing to make it work almost transparently.)

Synopsis

newtype T
value fromCoeffs
value lift0
value lift1
value lift2
value const
value appPrec
value truncate
value evaluate
value evaluateCoeffVector
value evaluateArgVector
value approximate
value approximateCoeffVector
value approximateArgVector
value compose
value shrink
value dilate

Packagenumeric-prelude-0.4.4
Exports17
LanguageHaskell98
LicenceBSD-3-Clause
SourcePowerSeries.hs

Example7 expressions

>>> import qualified MathObj.PowerSeries.Core as PS>>> import qualified MathObj.PowerSeries as PST>>> import qualified Test.QuickCheck as QC>>> import Test.NumericPrelude.Utility (equalTrunc, (/\))>>> import NumericPrelude.Numeric as NP>>> import NumericPrelude.Base as P>>> import Prelude ()

newtypenewtype T a

Constructors

Cons
- coeffs :: [a]

Instances14Functor, Eq, Ord, Show, C, …

Functor TDefined in numeric-prelude-0.4.4 · MathObj.PowerSeries
C TDefined in numeric-prelude-0.4.4 · MathObj.PowerSeries
(C a, C a b) => C a (T b)Defined in numeric-prelude-0.4.4 · MathObj.PowerSeries
C a b => C a (T b)Defined in numeric-prelude-0.4.4 · MathObj.PowerSeries
(Eq a, C a) => Eq (T a)Defined in numeric-prelude-0.4.4 · MathObj.PowerSeries
(C a, Ord a) => Ord (T a)Defined in numeric-prelude-0.4.4 · MathObj.PowerSeries
Show a => Show (T a)Defined in numeric-prelude-0.4.4 · MathObj.PowerSeries

C a => C (T a)Defined in numeric-prelude-0.4.4 · MathObj.PowerSeries

Property

prop> QC.choose (1,10) /\ \expon (QC.Positive x) xs -> let xt = x:xs in  equalTrunc 15 (PS.pow (const x) (1 % expon) (PST.coeffs (PST.fromCoeffs xt ^ expon)) ++ repeat zero) (xt ++ repeat zero)