Repository navigation

Fix `BigFloat` precision handling and trigonometric range reduction - #792

Open

OlivierHnt wants to merge 14 commits into

JuliaIntervals:masterfrom

OlivierHnt:fix/exact-bigfloat-and-range-reduction

Open

Fix `BigFloat` precision handling and trigonometric range reduction#792
OlivierHnt wants to merge 14 commits into
JuliaIntervals:masterfrom
OlivierHnt:fix/exact-bigfloat-and-range-reduction

Commits on Nov 1, 2026
- fix: Keep the precision of BigFloat bounds in exact operations
  
  OlivierHnt
  and
  claude
  committed
  99ebe08
- fix: Rework the range reduction of the trigonometric functions
  
  OlivierHnt
  and
  claude
  committed
  fc5202d
- fix: Define cot, sec and csc for Interval
  
  OlivierHnt
  and
  claude
  committed
  72ec474
- fix: Do not mark inexact divisions by ExactReal{Bool} as exact
  
  OlivierHnt
  and
  claude
  committed
  dad0ef2
- fix: Round the exponent slices of complex powers outward
  
  OlivierHnt
  and
  claude
  committed
  d8c8b4b
- fix: Enclose y - 1 in the ForwardDiff rule for x^y with a float exponent
  
  OlivierHnt
  and
  claude
  committed
  796f3af
- fix: Compute IrrationalConstants enclosures at the precision of the target type
  
  OlivierHnt
  and
  claude
  committed
  daedbce
- fix: Compute mid of BigFloat bounds at the precision of the bounds
  
  OlivierHnt
  and
  claude
  committed
  7816a38
- fix: Cache only Base irrationals in the generated bareinterval
  
  OlivierHnt
  and
  claude
  committed
  470f3ef
- Rename `_exact` to `_fexact`
  
  OlivierHnt
  and
  claude
  committed
  b91a4b6
- test: Use Int64 in the ExactReal{Bool} division test
  
  OlivierHnt
  and
  claude
  committed
  a4958b3
- Rename `_has` to `_crosses` in the trigonometric functions
  
  OlivierHnt
  and
  claude
  committed
  797c6eb
- docs: Restore the docstring of `mid`
  
  OlivierHnt
  and
  claude
  committed
  1865aab
- Remove leftovers from the range reduction rework
  
  OlivierHnt
  and
  claude
  committed
  4cd900b

Commits

Commits on Nov 1, 2026