From b6f6f9c34cee8630706a194b1a6a584f5cf7142d Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 12 Jul 2024 17:59:40 +0200 Subject: [PATCH] add missing import --- .../SimpleSparsePolynomialZonotopeModule.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Sets/SimpleSparsePolynomialZonotope/SimpleSparsePolynomialZonotopeModule.jl b/src/Sets/SimpleSparsePolynomialZonotope/SimpleSparsePolynomialZonotopeModule.jl index 6cd66c6da8..5db1ec4742 100644 --- a/src/Sets/SimpleSparsePolynomialZonotope/SimpleSparsePolynomialZonotopeModule.jl +++ b/src/Sets/SimpleSparsePolynomialZonotope/SimpleSparsePolynomialZonotopeModule.jl @@ -11,7 +11,8 @@ using LinearAlgebra: dot @reexport import ..API: convex_hull, center, isoperationtype, rand, linear_map @reexport import ..LazySets: expmat, genmat, genmat_dep, genmat_indep, ngens, - polynomial_order, remove_redundant_generators + ngens_indep, polynomial_order, + remove_redundant_generators @reexport using ..API export SimpleSparsePolynomialZonotope,