AERN-RnToRm-0.4: polynomial function enclosures (PFEs) approximating exact real functions Source code Contents Index

Data.Number.ER.RnToRm.BisectionTree.Path Portability portable Stability experimental Maintainer mik@konecny.aow.cz

Description

Utilities for addressing and modifying leaves of binary bisection trees.

Synopsis

data BisecTreePath = BTP_H | BTP_R BisecTreePath | BTP_L BisecTreePath path2dom :: ERIntApprox ira => ira -> BisecTreePath -> ira data FnZipper f = FnZ_H f | FnZ_L (FnZipper f) f | FnZ_R f (FnZipper f) lookupSubdomain :: ERFnDomApprox box varid domra ranra fa => fa -> BisecTreePath -> (fa, FnZipper fa) updateFnZ :: ERFnDomApprox box varid domra ranra fa => FnZipper fa -> fa -> fa

Documentation

data BisecTreePath Source

A path in a binary tree. It is used mainly in connection with BisectionTree.BisectionTree. Constructors BTP_H BTP_R BisecTreePath BTP_L BisecTreePath Instances Eq BisecTreePath Data BisecTreePath Read BisecTreePath Show BisecTreePath Typeable BisecTreePath Binary BisecTreePath

path2dom Source

:: ERIntApprox ira => ira root interval -> BisecTreePath -> ira Assuming that bisection happens at default points as defined by bisectDomain and starts from the given root interval.

data FnZipper f Source

A representation of a binary tree with a hole that can be efficiently filled. Constructors FnZ_H f FnZ_L (FnZipper f) f FnZ_R f (FnZipper f)

lookupSubdomain :: ERFnDomApprox box varid domra ranra fa => fa -> BisecTreePath -> (fa, FnZipper fa) Source

Lookup a subdomain of a function according to a bisection path. Return the restrited function as well as a zipper that allows an efficient modification of the function on the looked up subdomain.

updateFnZ Source

:: ERFnDomApprox box varid domra ranra fa => FnZipper fa a function on a larger domain and a highlighted subdomain -> fa a function of the highlighted subdomain -> fa Modify a function in its subdomain as expressed by the zipper.

Produced by Haddock version 2.1.0