Portability | portable |
---|---|

Stability | experimental |

Maintainer | mik@konecny.aow.cz |

Utilities for addressing and modifying leaves of binary bisection trees.

- data BisecTreePath
- path2dom :: ERIntApprox ira => ira -> BisecTreePath -> ira
- data 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`

.

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

A representation of a binary tree with a hole that can be efficiently filled.

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.

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