Merge pull request #171 from JuliaReach/schillic/using

Avoid `using` packages and add hidden LinearAlgebra dependency
JuliaReach · Jun 1, 2024 · 832cab5 · 832cab5
2 parents 1e6b5a8 + 035fe78
commit 832cab5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -5,12 +5,14 @@ version = "0.2.4"
 [deps]
 ForwardDiff = "f6369f11-7733-5829-9624-2563aa707210"
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
+LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 ReachabilityBase = "379f33d0-9447-4353-bd03-d664070e549f"
 Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 
 [compat]
 ForwardDiff = "0.10"
 IntervalArithmetic = "0.15 - 0.20, =0.21.0"  # v0.21.1 removed IntervalBox
+LinearAlgebra = "<0.0.1, 1.6"
 ReachabilityBase = "0.1.1 - 0.2"
 Requires = "0.5, 1"
 julia = "1.6"
diff --git a/src/RangeEnclosures.jl b/src/RangeEnclosures.jl
@@ -1,8 +1,10 @@
 module RangeEnclosures
 
 using Requires
-using ForwardDiff
-using IntervalArithmetic
+import ForwardDiff
+using LinearAlgebra: dot
+using IntervalArithmetic: Interval, IntervalBox, interval, inf, sup, mid,
+                          emptyinterval, hull, diam, bisect, (..)
 const Interval_or_IntervalBox = Union{Interval,IntervalBox}
 using ReachabilityBase.Require