JuliaReach / IntervalMatrices.jl

Matrices with interval coefficients in Julia
https://juliareach.github.io/IntervalMatrices.jl/
Other
18 stars 2 forks source link

Allow to pass exponential remainder to functions that compute it #78

Open schillic opened 4 years ago

schillic commented 4 years ago

If we call several functions that compute _expm_remainder (like in Reachability), it would be better to instead compute it only once and pass the result around.

schillic commented 2 years ago

We also have two functions to compute the remainder: _exp_remainder and _exp_remainder_series. Currently we always use the first one. This function could be the parameter to compute the remainder, so remainder=_exp_remainder by default and then one can pass the remainder matrix or the alternative algorithm _exp_remainder_series if desired.