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

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.