You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The function list_orthants at the moment returns a vector of vectors and hence allocates and it's not very efficient. It should return an iterator, similar to what DiagDirection in LazySets.jl does (cc @mforets ). Since LazySets.jl is an optional dependency used only in LinearOettliPrager, it would be good to have a more efficient version of list_orthants in IntervalLinearAlgebra.jl
Minimum working example
I'm not sure what would be a smart way to go, maybe define
Feature description
The function
list_orthants
at the moment returns a vector of vectors and hence allocates and it's not very efficient. It should return an iterator, similar to whatDiagDirection
in LazySets.jl does (cc @mforets ). SinceLazySets.jl
is an optional dependency used only inLinearOettliPrager
, it would be good to have a more efficient version oflist_orthants
inIntervalLinearAlgebra.jl
Minimum working example
I'm not sure what would be a smart way to go, maybe define
and implement the iterators interface for that
Additional information
The text was updated successfully, but these errors were encountered: