Christian Schilling

icon indicating a website link http://www.christianschilling.net

icon company Aalborg University icon location Denmark icon location Computer scientist

Results 309 issues of Christian Schilling

Add missing documentation

Fix `vertices_list` of zonotopes with immutable center vector

This requires https://github.com/JuliaReach/ReachabilityBase.jl/pull/95.

`AbstractPolynomialZonotope`: add `linear_combination` and `convex_hull`

SPZ overapproximation of CH(::SPZ,::SPZ)

Allow to construct H-rep from mixed numeric types

Also fix an error message.

`Rectification`: add some `isconvextype` special cases

`AbstractPolyhedron`: fix `isbounded` necessary check

The build error on Windows is a timeout.

Let 1D `linear_map` of zonotopic set remove redundant generator

Fix `an_element` fallback for unbounded sets

Inline one-line helper functions

Argument: The helper functions are not used anywhere else and consist of only a single function call.