Merge pull request #679 from JuliaReach/schillic/project

#678 - Fix projection of 2D result with vars=(2,1)
JuliaReach · Feb 20, 2023 · 2578b13 · 2578b13
2 parents 48d02dd + efc7799
commit 2578b13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Flowpipes/recipes.jl b/src/Flowpipes/recipes.jl
@@ -58,7 +58,7 @@ function _project_reachset(::Type{<:AbstractPolyhedron}, R, vars)
     # if the set is polyhedral and two-dimensional
     #   - if time is not required -> don't project
     #   - otherwise, make the projection (lazily)
-    if (dim(R) == 2) &&  (0 ∉ vars)
+    if (dim(R) == 2) && vars[1] == 1 && vars[2] == 2
         πR = set(R) # no-op
     else
         πR = Projection(R, vars) |> set # lazy projection