From bccbe17a922676254f42e58e25479297b79832b7 Mon Sep 17 00:00:00 2001
From: lucaferranti <49938764+lucaferranti@users.noreply.github.com>
Date: Wed, 22 Sep 2021 12:43:19 +0300
Subject: [PATCH 1/3] fixed video in docs homepage (#95)
---
docs/src/index.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/src/index.md b/docs/src/index.md
index a7fd8cd9..337a069c 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -9,7 +9,7 @@ This package contains routines to perform numerical linear algebra using interva
An first overview of the package was given at JuliaCon 2021, the slides are available [here](https://github.com/lucaferranti/ILAjuliacon2021).
```@raw html
-
+
```
## Features
From bf71f7bca59f19645d18f32c2e0120dc37abaaea Mon Sep 17 00:00:00 2001
From: lucaferranti <49938764+lucaferranti@users.noreply.github.com>
Date: Wed, 22 Sep 2021 13:00:58 +0300
Subject: [PATCH 2/3] use isinterior in verified floating point operations
(#94)
---
Project.toml | 2 +-
src/eigenvalues/verify_eigs.jl | 2 +-
src/linear_systems/verify.jl | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/Project.toml b/Project.toml
index 9ca7a162..8a7a1085 100644
--- a/Project.toml
+++ b/Project.toml
@@ -13,7 +13,7 @@ StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
[compat]
CommonSolve = "0.2"
-IntervalArithmetic = "0.19.1"
+IntervalArithmetic = "0.19.2"
LazySets = "1.47.2"
Reexport = "1"
Requires = "1"
diff --git a/src/eigenvalues/verify_eigs.jl b/src/eigenvalues/verify_eigs.jl
index 4b35a44e..85c0431a 100644
--- a/src/eigenvalues/verify_eigs.jl
+++ b/src/eigenvalues/verify_eigs.jl
@@ -101,7 +101,7 @@ function _verify_eigen(A, λ::Number, X0::AbstractVector;
Ytmp[v] = 0
X = Z + C * Y + R * Ytmp
- cert = all(X .⊂ Y)
+ cert = all(isinterior.(X, Y))
cert && break
end
diff --git a/src/linear_systems/verify.jl b/src/linear_systems/verify.jl
index cfd01cad..e6465aa6 100644
--- a/src/linear_systems/verify.jl
+++ b/src/linear_systems/verify.jl
@@ -89,7 +89,7 @@ function epsilon_inflation(A::AbstractMatrix{T}, b::AbstractArray{S, N};
for _ in 1:iter_max
y = r1 * x .+ ϵ1
x = z + C * y
- if all(x .⊂ y)
+ if all(isinterior.(x, y))
return xs + x, true
end
end
From 9fab763eb1f0126e833e03524a4d9994c94588e0 Mon Sep 17 00:00:00 2001
From: lucaferranti <49938764+lucaferranti@users.noreply.github.com>
Date: Wed, 22 Sep 2021 13:42:21 +0300
Subject: [PATCH 3/3] Update Project.toml (#97)
---
Project.toml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Project.toml b/Project.toml
index 8a7a1085..af03047d 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
name = "IntervalLinearAlgebra"
uuid = "92cbe1ac-9c24-436b-b0c9-5f7317aedcd5"
authors = ["Luca Ferranti"]
-version = "0.1.1"
+version = "0.1.2"
[deps]
CommonSolve = "38540f10-b2f7-11e9-35d8-d573e4eb0ff2"