Merge pull request #108 from JuliaReach/schillic/outsource

Outsource SymEngine code to LazySets
JuliaReach · Jun 28, 2024 · 18ab15a · 18ab15a
2 parents b739b30 + ed1a228
commit 18ab15a
Show file tree

Hide file tree

Showing 8 changed files with 12 additions and 381 deletions.
diff --git a/.github/workflows/test-pull-request.yml b/.github/workflows/test-pull-request.yml
@@ -26,7 +26,7 @@ jobs:
         arch:
           - x64
         include:
-          - version: '1.2'  # test on oldest supported version
+          - version: '1.6'  # test on oldest supported version
             arch: x64
             os: ubuntu-latest
     env:

diff --git a/Project.toml b/Project.toml
@@ -14,7 +14,7 @@ SymEngine = "123dc426-2d89-5057-bbad-38513e3affd8"
 DataStructures = "0"
 EzXML = "1"
 HybridSystems = "0.4"
-LazySets = "1, 2"
+LazySets = "2.14"
 MathematicalSystems = "0.11, 0.12, 0.13"
 SymEngine = "0.7, 0.8, 0.9, 0.10, 0.11, 0.12"
-julia = "1.2"
+julia = "1.6"
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -5,5 +5,5 @@ SymEngine = "123dc426-2d89-5057-bbad-38513e3affd8"
 
 [compat]
 Documenter = "1"
-LazySets = "2"
+LazySets = "2.14"
 SymEngine = "0.11, 0.12"
diff --git a/docs/src/lib/methods.md b/docs/src/lib/methods.md
@@ -29,13 +29,3 @@ add_transition_label!
 parse_location
 parse_transition
 ```
-
-### Conversion of symbolic expressions into sets
-
-```@docs
-convert
-free_symbols
-is_halfspace
-is_hyperplane
-is_linearcombination
-```
diff --git a/src/SpaceExParser.jl b/src/SpaceExParser.jl
@@ -20,8 +20,8 @@ using MathematicalSystems: AbstractSystem, AbstractContinuousSystem,
                            ConstrainedAffineControlContinuousSystem
 using EzXML: readxml, root, eachelement, nodename, nodecontent
 using SymEngine: Basic, subs
+
 import Base: convert
-import SymEngine: convert, free_symbols
 
 #=========================
 Input/Output functions
@@ -33,10 +33,9 @@ Parsing SpaceEx files
 =====================#
 include("parse.jl")
 
-#================================================
-Converting symbolic expressions and systems types
-=================================================#
-include("convert.jl")
+#===============================================
+Converting symbolic expressions and system types
+================================================#
 include("symbolic.jl")
 
 #==========================