Repository navigation

fix: Correctness fixes in interval_operations - #777

Merged

OlivierHnt merged 15 commits into

JuliaIntervals:masterfrom

OlivierHnt:fix/interval-operations

Sep 5, 2026

Merged

fix: Correctness fixes in interval_operations#777
OlivierHnt merged 15 commits into
JuliaIntervals:masterfrom
OlivierHnt:fix/interval-operations

Commits on Aug 30, 2026
- fix: Correct docstrings in interval_operations
  
  OlivierHnt
  and
  claude
  committed
  75ca738
- fix: Use any-component semantics for isnai on complex intervals
  
  OlivierHnt
  and
  claude
  committed
  63fdb47
- fix: Add promoting fallback for `extended_div` with mixed bound types
  
  OlivierHnt
  and
  claude
  committed
  564a295
- fix: Fix dist for intervals with shared infinite endpoints
  
  OlivierHnt
  and
  claude
  committed
  0bc3263
- fix: Make scalar mince! monotone and resize the output vector
  
  OlivierHnt
  and
  claude
  committed
  55c2324
- fix: Clamp the decoration of set operations with `dec = :auto`
  
  OlivierHnt
  and
  claude
  committed
  bc6e012
- fix: Round the radius upward in `midradius`
  
  OlivierHnt
  and
  claude
  committed
  7c26e3d
- fix: Fix isstrictsubset for a real interval in a complex interval
  
  OlivierHnt
  and
  claude
  committed
  516208a
- fix: Guard mixed Complex/Interval isdisjoint_interval against NaI
  
  OlivierHnt
  and
  claude
  committed
  69a698e
- fix: Return NaN for `mag` and `mig` of empty complex intervals
  
  OlivierHnt
  and
  claude
  committed
  2c1097d
- fix: Fix MethodError of cancelminus for Rational intervals and propagate NaI
  
  OlivierHnt
  and
  claude
  committed
  c5612d0
- fix: Correct piece selection in `interiordiff`
  
  OlivierHnt
  and
  claude
  committed
  b308633
- fix: Prevent interval_diff from upgrading decoration and guarantee
  
  OlivierHnt
  and
  claude
  committed
  fa950b2
- fix: Take `α` into account for `mid` of unbounded intervals
  
  OlivierHnt
  and
  claude
  committed
  c17a5a9
- fix: Throw an informative error for `mid` of unbounded `Rational{BigInt}` intervals
  
  OlivierHnt
  and
  claude
  committed
  29b77b9

Commits

Commits on Aug 30, 2026