Check _reduce_order function (from setops.jl)

[dfcaporale]

function _reduce_order(Z::Zonotope{N, VN, MN}, r::Union{Integer, Rational}) where {N<:Real, VN, MN}

In the case I'm running, when reach_homog_ASB07! from ASB07 solver calls this function at Rₖ = _reduce_order(Rₖ, max_order) it doesn't reduce the order of the zonotope. In the end, it leads to out memory error.

I noticed that the following modifications in _reduce_order may fix the error:

• m = p - floor(Int, d * (r - 1)) to m = p - floor(Int, d * r).
• Gred = hcat(Gnotred, Gbox) by Gred = Gnotred

Nevertheless, the implemented function seems to be in agreement with Method 2 from the paper suggested by @mforets. Perhaps the article aims to reduce the zonotope order by 1, and so we need to repeat _reduce_order until reach a zonotope with order max_order desired.