Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
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.
- chplBall2DownUp :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> (ERChebPoly box b, ERChebPoly box b)
- chplBall2DownUpWd :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> (ERChebPoly box b, ERChebPoly box b, b)
- chplBall2Down :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> ERChebPoly box b
- chplBall2Up :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> ERChebPoly box b
- ballAddConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ERChebPoly box b -> (ERChebPoly box b, b)
- ballAdd :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ERChebPoly box b -> (ERChebPoly box b, b)
- ballMultiply :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ERChebPoly box b -> (ERChebPoly box b, b)
- ballScale :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ERChebPoly box b -> (ERChebPoly box b, b)
- ballSquare :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> (ERChebPoly box b, b)
Documentation
chplBall2DownUp :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> (ERChebPoly box b, ERChebPoly box b)Source
Negate a polynomial exactly.
chplBall2DownUpWd :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> (ERChebPoly box b, ERChebPoly box b, b)Source
chplBall2Down :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> ERChebPoly box bSource
chplBall2Up :: (ERRealBase b, DomainBox box varid Int, Ord box) => (ERChebPoly box b, b) -> ERChebPoly box bSource
ballAddConst :: (ERRealBase b, DomainBox box varid Int, Ord box) => b -> ERChebPoly box b -> (ERChebPoly box b, b)Source
Add a constant to a polynomial, rounding downwards and upwards.
ballAdd :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> ERChebPoly box b -> (ERChebPoly box b, b)Source
Add two polynomials, rounding downwards and upwards.
:: (ERRealBase b, DomainBox box varid Int, Ord box) | |
=> 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.
:: (ERRealBase b, DomainBox box varid Int, Ord 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.
ballSquare :: (ERRealBase b, DomainBox box varid Int, Ord box) => ERChebPoly box b -> (ERChebPoly box b, b)Source
Multiply a polynomial by itself, rounding downwards and upwards.