IntervalMatrices.jl icon indicating copy to clipboard operation
IntervalMatrices.jl copied to clipboard

Allow to pass exponential remainder to functions that compute it

Open schillic opened this issue 5 years ago • 1 comments

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 avatar Jan 23 '20 14:01 schillic

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.

schillic avatar Nov 21 '21 11:11 schillic