From 2e0191228a9a79872c474c9d40a3bf2670b89a32 Mon Sep 17 00:00:00 2001 From: RockerM4NHUN Date: Mon, 9 Mar 2020 13:21:57 +0100 Subject: [PATCH 1/2] Update README.md Stating clearly that a rigorous implementation is not present yet. See issue #14. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 00fc0e8..3d2f028 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 further goal in progress 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 From e7f489986fafa26c693b5d0a1e52d7ea6ea9b9cc Mon Sep 17 00:00:00 2001 From: RockerM4NHUN Date: Mon, 9 Mar 2020 13:27:10 +0100 Subject: [PATCH 2/2] Update README.md Reword. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3d2f028..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 bounding the results of evaluating functions with linear combination of sets. A further goal in progress is to provide a rigorous implementation 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