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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.BisectionTree.Path

Description

Utilities for addressing and modifying leaves of binary bisection trees.

Synopsis

Documentation

data BisecTreePath Source

A path in a binary tree. It is used mainly in connection with BisectionTree.BisectionTree.

path2domSource

Arguments

:: 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.

updateFnZSource

Arguments

:: 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.