From 9d0da04a662465c258606d3d81258538d54b6413 Mon Sep 17 00:00:00 2001 From: RockerM4NHUN Date: Mon, 9 Mar 2020 20:20:49 +0100 Subject: [PATCH] On being rigorous (#18) * Update README.md Stating clearly that a rigorous implementation is not present yet. See issue #14. * Update README.md Reword. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 00fc0e8..c8173e6 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ [![codecov.io](http://codecov.io/github/dpsanders/AffineArithmetic.jl/coverage.svg?branch=master)](http://codecov.io/github/dpsanders/AffineArithmetic.jl?branch=master) A pure-Julia implementation of affine arithmetic. -This is a method for rigorously bounding the results of evaluating functions, extending standard interval arithmetic provided in the author's [`ValidatedNumerics.jl` package](https://github.com/dpsanders/ValidatedNumerics.jl). +This is a method for bounding the results of evaluating functions with linear combination of sets. A future goal is to provide a rigorous implementation, extending standard interval arithmetic provided in the author's [`ValidatedNumerics.jl` package](https://github.com/dpsanders/ValidatedNumerics.jl). ## Author