Skip to content
New issue

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

Give a hand to downstream packages to update to v0.22 #668

Open
Kolaru opened this issue Jun 3, 2024 · 2 comments
Open

Give a hand to downstream packages to update to v0.22 #668

Kolaru opened this issue Jun 3, 2024 · 2 comments
Assignees
Labels
1.0 Planned for the major 1.0 release

Comments

@Kolaru
Copy link
Collaborator

Kolaru commented Jun 3, 2024

Many packages depending on IntervalArithmetic have not been able to update themselves to the newest version.

I think it would be great if we put some effort helping others, once the packages in JuliaIntervals are updated themselves.

In particular, all of the JuliaReach ecosystem is lagging behind, see e.g. JuliaReach/RangeEnclosures.jl#181

@Kolaru Kolaru self-assigned this Jun 3, 2024
@Kolaru Kolaru added the 1.0 Planned for the major 1.0 release label Feb 14, 2025
@Kolaru
Copy link
Collaborator Author

Kolaru commented Feb 21, 2025

The order in which we need to address the dependent packages:

  1. TaylorSeries
  2. TaylorModels
  3. LazySets and IntervalLinearAlgebra (mutually dependent)

In addition, adding several methods may help the downstream packages:

  1. isthinzero(x::Real) to ease the usage in generic code
  2. intersect_interval(X, Y ; decoration = :parent) to avoid always giving trv on set operations, which is in the standard, but otherwise seems to be what nobody wants

@OlivierHnt
Copy link
Member

Note: on 0.22.23 version, iszero can be used for both interval and Number.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1.0 Planned for the major 1.0 release
Projects
None yet
Development

No branches or pull requests

2 participants