Christian Schilling

Results 325 issues of Christian Schilling

This PR is finished, but it cannot currently be used due to external packages requiring an upgrade: - CarlemanLinearization - Flowstar - IntervalBoxes - LazySets - MathematicalSystems also needs a...

The consolidation of plot recipes in #933 lead to interpreting a `label` intended for a flowpipe/solution to be used for each individual reach set instead ([example](https://juliareach.github.io/ReachabilityAnalysis.jl/dev/generated_examples/ProductionDestruction/#Results-3)). The reason for this...

The algorithm is not really implemented. This PR just lets it not crash.

```julia julia> using IntervalArithmetic julia> x = interval(-4, -2) [-4.0, -2.0]_com julia> pow(x, 2) ∅_trv ``` The problem seems to be in these lines: https://github.com/JuliaIntervals/IntervalArithmetic.jl/blob/544c0005b96e70c026ebc306ebeeb7e7fed63274/src/intervals/arithmetic/power.jl#L157-L159 It is unclear to me...

help wanted
doc

I have a `TaylorN` object that crashes when printing. I can print the coefficients manually: ```julia julia> for p in T println(p.coeffs) end Interval{Float64}[[0.5, 0.5]_NG] Interval{Float64}[[0.4, 0.4]_NG, [0.0, 0.0]_NG] Interval{Float64}[[0.0,...