From 81f494f44b6ce232ea84fd93a21cf82f06c3df55 Mon Sep 17 00:00:00 2001 From: schillic Date: Sat, 13 Jan 2024 10:25:22 +0100 Subject: [PATCH] avoid 'using .PKG' --- src/intervaloptimisation.jl | 2 +- src/polynomials.jl | 2 +- src/sdp.jl | 4 +++- src/taylormodels.jl | 2 +- 4 files changed, 6 insertions(+), 4 deletions(-) diff --git a/src/intervaloptimisation.jl b/src/intervaloptimisation.jl index 80641012..6e8d9c1a 100644 --- a/src/intervaloptimisation.jl +++ b/src/intervaloptimisation.jl @@ -13,7 +13,7 @@ end function load_intervaloptimization() return quote - using .IntervalOptimisation + using .IntervalOptimisation: HeapedVector, minimise, maximise _default_vector_MSE = HeapedVector end # quote diff --git a/src/polynomials.jl b/src/polynomials.jl index 06aaf4b0..c71860e1 100644 --- a/src/polynomials.jl +++ b/src/polynomials.jl @@ -1,4 +1,4 @@ -using .MultivariatePolynomials +using .MultivariatePolynomials: AbstractPolynomialLike, variables function enclose(p::AbstractPolynomialLike, dom::Interval_or_IntervalBox, solver::AbstractEnclosureAlgorithm=NaturalEnclosure(); kwargs...) diff --git a/src/sdp.jl b/src/sdp.jl index 175e7b91..79aeeba4 100644 --- a/src/sdp.jl +++ b/src/sdp.jl @@ -1,4 +1,6 @@ -using .SumOfSquares +# `@set` assumes that `SemialgebraicSets` is defined +using .SumOfSquares: SOSModel, @set, SemialgebraicSets, @variable, @constraint, @objective, + optimize!, objective_value function _enclose_sos(sose::SumOfSquaresEnclosure, p::AbstractPolynomialLike, dom::Interval_or_IntervalBox; diff --git a/src/taylormodels.jl b/src/taylormodels.jl index c1bbc1e2..933187af 100644 --- a/src/taylormodels.jl +++ b/src/taylormodels.jl @@ -15,7 +15,7 @@ end function load_taylormodels() return quote - using .TaylorModels + using .TaylorModels: TaylorModel1, TaylorModelN, normalize_taylor, set_variables, evaluate @inline zeroBox(N) = IntervalBox(0 .. 0, N) @inline symBox(N) = IntervalBox(-1 .. 1, N)