Merge branch 'JuliaReach:master' into jks16

Author: crisiumnih

docs/Project.toml

@@ -38,4 +38,4 @@ RecipesBase = "1"
 StaticArrays = "1"
 SymEngine = "0.7 - 0.12"
 Symbolics = "6.1"
-TaylorModels = "0.6 - 0.7"
+TaylorModels = "0.6 - 0.8"

src/Plotting/plot_recipes.jl

@@ -373,14 +373,12 @@ julia> plot(B, 1e-2)  # faster but less accurate than the previous call
         else
             x, y = res
             if length(x) == 1 ||
-               (length(x) == 2 && norm([x[1], y[1]] - [x[2], y[2]]) ≈ 0)
+               (length(x) == 2 && isapproxzero(norm([x[1], y[1]] - [x[2], y[2]])))
                 # single point
                 seriestype := :scatter
             elseif length(x) == 2
                 # flat line segment
                 linecolor --> DEFAULT_COLOR
-                markercolor --> DEFAULT_COLOR
-                markershape --> :circle
                 seriestype := :path
             else
                 seriestype := :shape

test/Project.toml

@@ -55,5 +55,5 @@ SetProg = "0.3 - 0.4"
 StaticArrays = "0.12, 1"
 SymEngine = "0.7 - 0.12"
 Symbolics = "1 - 5.30, 6.1"
-TaylorModels = "0.0.1, 0.1 - 0.7"
+TaylorModels = "0.0.1, 0.1 - 0.8"
 WriteVTK = "1"