AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functionsSource codeContentsIndex
Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz
Description

Internal module for Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.

Implementation of addition and multiplication over polynomials with pointwise rounding uniform over the whole unit domain.

Synopsis
chplAddConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b, b)
chplAdd :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b, b)
chplMultiply :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b, b)
chplScale :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b, b)
chplSquare :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b)
Documentation
chplAddConstSource
:: (ERRealBase b, DomainBox box varid Int, Ord box)
=> b
-> ERChebPoly box b
-> (ERChebPoly box b, ERChebPoly box b, b)lower and upper bounds on the sum and an upper bound on their difference

Negate a polynomial exactly.

Add a constant to a polynomial, rounding downwards and upwards.

chplAddSource
:: (ERRealBase b, DomainBox box varid Int, Ord box)
=> ERChebPoly box b
-> ERChebPoly box b
-> (ERChebPoly box b, ERChebPoly box b, b)lower and upper bounds on the sum and an upper bound on their difference
Add two polynomials, rounding downwards and upwards.
chplMultiplySource
:: (ERRealBase b, DomainBox box varid Int, Ord box)
=> ERChebPoly box b
-> ERChebPoly box b
-> (ERChebPoly box b, ERChebPoly box b, b)lower and upper bounds on the product and an upper bound on their difference
Multiply two polynomials, rounding downwards and upwards.
chplScaleSource
:: (ERRealBase b, DomainBox box varid Int, Ord box)
=> b
-> ERChebPoly box b
-> (ERChebPoly box b, ERChebPoly box b, b)lower and upper bounds on the product and an upper bound on their difference
Multiply a polynomial by a scalar rounding downwards and upwards.
chplSquare :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> (ERChebPoly box b, ERChebPoly box b)Source
Multiply a polynomial by itself, rounding downwards and upwards.
Produced by Haddock version 2.4.2