recip of an interval with 0 as an endpoint should have proper bounds
Open
- Dominant language
- Haskell
- Stars
- 27
- Forks
- 14
- PR merge metrics
- No merged PRs in 30d
Description
```
Prelude Numeric.Interval.NonEmpty> recip (0.1 ... 1.0)
1.0 ... 10.0
Prelude Numeric.Interval.NonEmpty> recip (0.01 ... 1.0)
1.0 ... 100.0
Prelude Numeric.Interval.NonEmpty> recip (0.001 ... 1.0)
1.0 ... 1000.0
Prelude Numeric.Interval.NonEmpty> recip (0.0000001 ... 1.0)
1.0 ... 1.0e7
Prelude Numeric.Interval.NonEmpty> recip (0 ... 1.0)
Infinity ... Infinity -- Should be (1.0 ... Infinity)
```
Similarly for negative numbers (eg `recip (-1.0 ... -0)` should be `(-Infinity ... -1.0)`)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.