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
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.
The text was updated successfully, but these errors were encountered:
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.
If we call several functions that compute
_expm_remainder
(like inReachability
), it would be better to instead compute it only once and pass the result around.The text was updated successfully, but these errors were encountered: