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

Stability | experimental |

Maintainer | mik@konecny.aow.cz |

A simple validated solver for systems of linear equations with interval coefficients. It uses a naive splitting approach and is therefore very slow.

# Documentation

:: (ERIntApprox ira, DomainIntBox box varid ira, DomainBoxMappable box box varid ira ira) | |

=> [(box, ira)] | the equations; each equation has coefficients of linear terms + constant term |

-> box | the domain of the variables |

-> ira | an upper bound on the size of an acceptable solution box |

-> Maybe box | A box containing at least one solution within the domain; Nothing if there is no solution. |