LazySets.jl icon indicating copy to clipboard operation
LazySets.jl copied to clipboard
verified publisher icon JuliaReach

In-place concrete translation

Open mforets opened this issue 6 years ago • 2 comments

  • Add translate!.
  • Update translate using the in-place version.

mforets avatar Feb 10 '20 15:02 mforets

First thing would be to check if any of the methods in https://github.com/JuliaReach/LazySets.jl/pull/1995 is still missing and add them.

mforets avatar Jan 24 '25 17:01 mforets

we could even find sets for which translate! is not available programatically using methods / hasmethod in Julia

mforets avatar Jan 30 '25 17:01 mforets