RangeEnclosures.jl
Documentation | Status | Community | License |
---|---|---|---|
A Julia package to bound the range of real-valued functions.
Installing
From the Julia REPL type
julia> using Pkg; Pkg.add("RangeEnclosures")
Quickstart
An enclosure of the range
of a function RangeEnclosures
offers an API to easily bound the range of
julia> f(x) = -x^3/6 + 5x
julia> dom = 1 .. 4
[1, 4]
julia> enclose(f, dom, BranchAndBoundEnclosure())
[4.83333, 10.5709]
We plan to add more examples to the docs. In the meantime, check the test folder for further examples.
Contributing
If you encounter bugs, want to suggest new features or have questions, feel free
to open an issue.
You can also chat with the package developers on
Gitter
or in the #reachability-analysis
stream on
Zulip. Pull requests implementing new
features or fixing bugs are also welcome. Make sure to check out the
contribution guidelines.
Authors
Acknowledgments
Huge thanks to all the contributors. In addition, we are grateful to Luis Benet, Benoît Legat and David P. Sanders for enlightening discussions during the preparation of this package.
During Summer 2022, this project was financially supported by Google through the Google Summer of Code program. During Summer 2019, this project was financially supported by Julia through the Julia Season of Contributions program.
If you use RangeEnclosures.jl
, consider acknowledging or citing the Julia package
that implements the specific solver that you are using.