AERN-Real-0.9.7.1: arbitrary precision interval arithmetic for approximating exact real numbers

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Arithmetic.LinearSolver

Description

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

Documentation

linearSolverSource

Arguments

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