AERN-RnToRm-0.5.0.1: polynomial function enclosures (PFEs) approximating exact real functions

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Derivative

Description

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

Implementation of safely rounded derivative of polynomials.

Synopsis

Documentation

chplDifferentiateSource

Arguments

:: (ERRealBase b, DomainBox box varid Int, Ord box) 
=> ERChebPoly box b 
-> varid

variable to differentiate over

-> (ERChebPoly box b, ERChebPoly box b) 

Differentiate a polynomial using one of its variables.

ballDifferentiateSource

Arguments

:: (ERRealBase b, DomainBox box varid Int, Ord box) 
=> ERChebPoly box b 
-> varid

variable to differentiate over

-> (ERChebPoly box b, b) 

Differentiate a polynomial using one of its variables.