JuliaReach / LazySets.jl

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

Regression in Symbolics (gradient with variable array) #2952

Closed schillic closed 2 years ago

schillic commented 2 years ago
LazySets.Hyperplane: Error During Test at /home/runner/work/LazySets.jl/LazySets.jl/test/Sets/Hyperplane.jl:203
  Test threw exception
  Expression: Hyperplane(x[1] == t, vars) == Hyperplane([1.0, 0.0, -1.0], 0.0)
  Differentiation of expressions involving arrays and array variables is not yet supported.

This is supposedly an error with a new version of Symbolics.

schillic commented 2 years ago

Reported in https://github.com/JuliaSymbolics/Symbolics.jl/issues/559.