We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The Approximations module only supports Expokit as exponential backend:
Approximations
Expokit
LazySets.jl/src/Approximations/symmetric_interval_hull.jl
Lines 121 to 131 in 91fdb61
Instead it should use the code from the main LazySets module:
LazySets
LazySets.jl/src/Utils/matrix_exponential.jl
Line 14 in 91fdb61
The text was updated successfully, but these errors were encountered:
Merge pull request #3253 from JuliaReach/schillic/3117
f45624e
#3117 - Generalize exponential backend in symmetric_interval_hull methods
schillic
Successfully merging a pull request may close this issue.
The
Approximations
module only supportsExpokit
as exponential backend:LazySets.jl/src/Approximations/symmetric_interval_hull.jl
Lines 121 to 131 in 91fdb61
Instead it should use the code from the main
LazySets
module:LazySets.jl/src/Utils/matrix_exponential.jl
Line 14 in 91fdb61
The text was updated successfully, but these errors were encountered: