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

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

Implementation of inner-rounded elementary functions applied to polynomials.

Documentation

ienclSqrt

Arguments

:: (ERRealBase b, DomainBox box varid Int, Ord box, Show varid, DomainIntBox boxra varid (ERInterval b), DomainBoxMappable boxra boxras varid (ERInterval b) [ERInterval b])

=> Int

maximum polynomial degree

-> Int

maximum term count

-> EffortIndex

for calls to other ER functions

-> Int

how many times to iterate

-> ((ERChebPoly box b, ERChebPoly box b), Bool)

-> ((ERChebPoly box b, ERChebPoly box b), Bool)