From efc7799d7e1bfcb0b46e5d3445adb869c4d0f8fe Mon Sep 17 00:00:00 2001 From: schillic Date: Sun, 19 Feb 2023 18:23:28 +0100 Subject: [PATCH] fix projection of 2D result with vars=(2,1) --- src/Flowpipes/recipes.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Flowpipes/recipes.jl b/src/Flowpipes/recipes.jl index 17c3ddc4dd..f311f3298f 100644 --- 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