Feature #1176
interval arithmetic
Description
Implement interval arithmetic (for intervals with rational end points).
Some software libraries already implement this; can we use one of them?
Related issues
History
#1
Updated by John Abbott about 6 years ago
Updated by - Related to Feature #1173: Upper bound for value of poly in an interval added
#2
Updated by John Abbott about 6 years ago
There is an interval arithmetic sublibrary in the BOOST distribution.
The problem with depending on an external library is that it makes installing CoCoA harder (and could limit portability).
It should not be too hard to make our own impl using BigRat (so no problems with "rounding modes" etc.)
#3
Updated by John Abbott almost 6 years ago
- Status changed from New to In Progress
- Assignee set to John Abbott
- Target version changed from CoCoALib-1.0 to CoCoALib-0.99650 November 2019
- % Done changed from 0 to 50
A first prototype is in BigRatInterval
I have even written some doc!
#4
Updated by John Abbott over 4 years ago
- Target version changed from CoCoALib-0.99650 November 2019 to CoCoALib-0.99700
#5
Updated by John Abbott over 4 years ago
- Target version changed from CoCoALib-0.99700 to CoCoALib-0.99800
#6
Updated by John Abbott over 3 years ago
- Related to Feature #1482: Extended rationals: PlusInfinity and MinusInfinity added
#7
Updated by John Abbott over 3 years ago
There is a GNU package called MPRIA (multiple precision rational interval arithmetic). It is GPL v3.
It seems not to have been updated since 2016, and has the version number 0.7.3 (suggesting it is far from final).
It does allow infinite intervals, but assumes that all end points are closed.
Should we take a copy?
#8
Updated by John Abbott about 3 years ago
- Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850
#9
Updated by John Abbott about 1 year ago
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880