From dea32607b4d50b97cf1a8bd23a9cd5cc69846233 Mon Sep 17 00:00:00 2001 From: schillic Date: Sun, 10 Mar 2024 09:04:19 +0100 Subject: [PATCH] fix invalid characters --- README.md | 2 +- src/io.jl | 2 +- src/symbolic.jl | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 9401469..5f4879d 100644 --- a/README.md +++ b/README.md @@ -37,4 +37,4 @@ using Pkg Pkg.clone("https://github.com/JuliaReach/SpaceExParser.jl") ``` -*Dependencies*. This package relies on the interfaces defined in [HybridSystems.jl](https://github.com/blegat/HybridSystems.jl) and [MathematicalSystems.jl](https://github.com/JuliaReach/MathematicalSystems.jl). To handle XML files, we use [EzXML.jl](https://github.com/bicycle1885/EzXML.jl). Symbolic algebraic manipulations are performed with [SymEngine](https://github.com/symengine/SymEngine.jl). +*Dependencies*. This package relies on the interfaces defined in [HybridSystems.jl](https://github.com/blegat/HybridSystems.jl) and [MathematicalSystems.jl](https://github.com/JuliaReach/MathematicalSystems.jl). To handle XML files, we use [EzXML.jl](https://github.com/bicycle1885/EzXML.jl). Symbolic algebraic manipulations are performed with [SymEngine](https://github.com/symengine/SymEngine.jl). diff --git a/src/io.jl b/src/io.jl index 92cf1d5..2600769 100644 --- a/src/io.jl +++ b/src/io.jl @@ -57,7 +57,7 @@ Moreover, let us note that: 7) The `resetmaps` field consists of the vector of tuples `(assignment, guard)`, for each location. -These comments apply whenever `raw_dict=false`: +These comments apply whenever `raw_dict=false`: 1) The field `variables` is an ordered dictionary, where the order is given by the insertion order. This allows deterministic iteration over the dictionary, diff --git a/src/symbolic.jl b/src/symbolic.jl index 7c03469..b8d23f1 100644 --- a/src/symbolic.jl +++ b/src/symbolic.jl @@ -26,7 +26,7 @@ The tuple `(modes, resetmaps)`. for them), otherwise these are interpreted as input variables (there is not an ODE for them). 2) If the system has nonlinearities, then some first order derivatives cannot - be evaluated to numbers, and this function does not apply. In that case, you + be evaluated to numbers, and this function does not apply. In that case, you will see the error message: `ArgumentError: symbolic value cannot be evaluated to a numeric value`. 3) We assume that inequalities in invariants are of the form `ax <= b` or `ax >= b`,