search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Generalize reduce_order with StaticArrays matrix #3476

Closed schillic closed 4 months ago

schillic commented 4 months ago

This is a follow-up to #3467, which just copy-pasted from ReachabilityAnalysis.

  1. The vector type should not be restricted because it is just copied.
  2. The method was actually never used because MMatrix is not a concrete type and the <: was missing.