Merge pull request #544 from JuliaHomotopyContinuation/feature/certif…

…ication-interval-trees Improve certification code
JuliaHomotopyContinuation · Jun 9, 2023 · 3833d7f · 3833d7f
2 parents 44d6e6e + c118c59
commit 3833d7f
Show file tree

Hide file tree

Showing 4 changed files with 642 additions and 223 deletions.
diff --git a/Project.toml b/Project.toml
@@ -9,6 +9,7 @@ DelimitedFiles = "8bb1440f-4735-579b-a4ab-409b98df4dab"
 DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
 ElasticArrays = "fdbdab4c-e67f-52f5-8c3f-e7b388dad3d4"
 FiniteDiff = "6a86dc24-6348-571c-b903-95158fe2bd41"
+IntervalTrees = "524e6230-43b7-53ae-be76-1e9e4d08d11b"
 LRUCache = "8ac3fa9e-de4c-5943-b1dc-09c6b5f20637"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 LoopVectorization = "bdcacae8-1622-11e9-2a5c-532679323890"

diff --git a/src/HomotopyContinuation.jl b/src/HomotopyContinuation.jl
@@ -7,6 +7,7 @@ import DelimitedFiles
 using DynamicPolynomials: @polyvar
 import ElasticArrays: ElasticArrays, ElasticArray
 import FiniteDiff
+import IntervalTrees
 import LinearAlgebra
 import LoopVectorization
 using LRUCache: LRU