Closed mtzguido closed 1 month ago
Mostly refactoring. Some of this was in #3305 but it makes sense regardless of the optimization for reals.
Mostly refactoring. Some of this was in #3305 but it makes sense regardless of the optimization for reals.