Christian Schilling
Christian Schilling
The argument to `reduce_order` is $p/n$, the number of generators per dimension. Your zonotope has 10 generators and 4 dimensions, so any value greater than 2.5 would just give you...
Without checking, I think the `TMJets` algorithms may be troublesome when used in parallel because the Taylor implementation uses global variables.
I tried it out and it does not work. `StaticArraysCore` only defines the interface, but you cannot use it. Since functionality like `SVector` is actually used here in `IntervalBox`, it...
When I tried the change, the tests failed here: https://github.com/JuliaIntervals/IntervalArithmetic.jl/blob/9813b95655d4319439baba6833028b82ff84e993/src/multidim/intervalbox.jl#L12 For that you need the `SVector` type and not just an interface.
Here is a proposal we discussed to speed up the process of supporting non-convex set types under the `LazySet` umbrella. * add an abstract type `ConvexSet
> should there be also `NonConvexSet
Closing as superseded by #3047.
I agree and note that the same behavior should then be provided for `+` and so on. ```julia julia> I = rand(Interval); julia> typeof(I + I + I) MinkowskiSum{Float64, MinkowskiSum{Float64,...
Let us make it optional. If the user knows that the constraints are not modified, this is more efficient.
I see the problem. Ideally we would have a parameter to control whether you get a copy or not. For sets like `Hyperrectangle` the behavior is identical. For sets like...