fix projection of 2D result with vars=(2,1)

JuliaReach · Feb 19, 2023 · efc7799 · efc7799
1 parent 48d02dd
commit efc7799
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