]> gitweb.factorcode.org Git - factor.git/commit
math.intervals: more exact interval-bitor operation
authortimor <timor.dd@googlemail.com>
Wed, 28 Aug 2019 09:27:07 +0000 (11:27 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 30 Oct 2019 16:43:44 +0000 (09:43 -0700)
commit713cfa79f84d2e7abde5428310e483d7bd760c18
tree13c3a4829bd4ba220b33954b01820e1c966e5a21
parentbebdb54543aa12d9510fecf43addc608091c7655
math.intervals: more exact interval-bitor operation

Addresses #2170

- fixed: `interval-bitor` caused bit-growth
- improved: `interval-bitor` more exact about lower bounds

The added utility words could be used as a basis to make the other bitwise
interval operations more exact also.
basis/math/intervals/intervals-tests.factor
basis/math/intervals/intervals.factor