Giters

arpra-project / arpra

Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add split and join functions for ranges

jamesturner246 opened this issue · comments

commented

The 'split' function should split a range into two or more new ranges.
The 'join' function should merge two or more ranges into one new range.

The resulting ranges of both functions should be as tight as possible, while preserving as much correlation information as possible. The joint range of all output ranges should fully contain the joint range of all input ranges, preserving the fundamental invariant of range analysis (see http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.8089, section 1.2.3).