#intervals #interval #units #measurement

intervals-general

intervals-general is a crate enabling general representation of and operations on intervals over generic types (e.g. supporting units of measure or arbitrary built-in types, or any type with PartialOrd implementation).

1 unstable release

0.1.0 Apr 19, 2019

#699 in Math

29 downloads per month

MIT/Apache

54KB
499 lines

intervals-general Crate RFC

  • Start Date Oct 13, 2018
  • Last Edit Mar 24, 2019
  • Work in Progress
  • Scott Moeller

Travis Coveralls

Summary

Addition of a new Crate named intervals-general which supports rigorous interval definitions (e.g. type-enforced representations of all real interval types), interval collections and common interval operations, all while operating over generic bound data types provided required traits are met (e.g. can use units of measure as bounds).

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Motivation

In working to write a simulation tool with support for e.g. step function representations that enforce units of measure - I found myself looking for an interval representation that would accept uom types and was capable of sufficient expressivity so as to be closed under common Interval operations of {Union, Intersection, Complement}. Not finding a crate that met those criteria, I looked at other language implementations and began writing a proposal for intervals-general.

Requirements

The Requirements for the library are then:

  1. Support for intervals with bound data types provied via generic
  2. Support for open, closed and half-open Intervals
  3. Support for the type-enforced representation of the empty Interval
  4. Support for the type-enforced representation of unbounded Intervals

Additional desires:

  1. no_std support
  2. No use of of panic, assert
  3. Minimize error handling by design
  4. Make the library hard to use incorrectly

Requirement Reasoning

As a motivating case consider the use of this Intervals library to build a step function library for physics simulations. Lets omit for now the design decision to use Interval representations to back the step function library (versus say "change point" annotations). Commonly in such a setting, you may want:

  • Representation of a signal whose domain covers (-inf, to +inf) in some units
  • The collection of Step Function Intervals forming the Domain is continuous

In this space, operating under exclusively Closed Intervals is a non-starter (neither can you include the Unbounded Intervals nor can you define a collection of Intervals whose Domain is continuous in e.g. Real Numbers but whose Intervals do not overlap). Operating under exclusively open sets is also problematic (one cannot define a collection of Intervals whose Domain is continuous in e.g. Real Numbers but are each open). If you stick with exclusively Left-Half-Open or Right-Half-Open Intervals, you can define collections of Intervals that are continuous and do not overlap - but you now cannot cleanly express Unbounded Intervals of both flavors (e.g. Left-Half-Open only Intervals prevents you from using a +inf bound, forcing the author to select some "sufficiently large" offset for the right closed bound as to be approximately +inf for their use case). Finally, note that if a mixture of Left-Half-Open and Right-Half-Open bound types are supported, then under Intersection the closure of Interval tyupes that must be supported becomes {Open, Closed, Left-Half-Open, Right-Half-Open, Left-Half-Open-Unbounded, Right-Half-Open-Unbounded, Singleton, Empty}. Omitting any of these flavors will require introduction of error handling or exceptions - which I strongly desire to avoid. Therefore the desire to support the full set of Interval types (see proofwiki:Real Interval Types).

Detailed Design

Terminology Selection

  • Propose the use of Interval instead of Range
    • Gives a clearer intent of the mathematical construct
    • Avoids confusion with the many range concepts that occur in programming languages
  • Propose the use of Bound instead of Endpoint or Limit
    • Though at this time I see no advantage either way
  • Propose the use of Left Bound and Right Bound
    • This seems to be more Interval-centric than e.g. min, max

Interval Operations Supported

  1. Union
  2. Intersection
  3. Complement
  4. Left Partial Compare
  5. Right Partial Compare

From these, many useful utilities can be derived. Several examples follow:

  1. Element containment: is [1, 1] contained in [-1, 5]? -> Union of sets equals [1, 1]? -> true
  2. Interval containment: is (1, 2] contained in [-1, 5]? -> Union of sets equals (1,2]? -> true
  3. Sorting of intervals by (left|right) Bound

Representation of Interval Bound Types

Intervals are represented by an Enum, representing all combinations of open, closed, and half-open intervals and their ray variants (one bound at +/- inf). See the alternative discussion below for evaluation of a representation in which Intervals contain a Left and Right Bound Enum instead.

For Intervals containing bounded left and right extents, a design challenge arrises in the handling of the bound parameters - specifically the interaction of the left and right bound values which are expected to have a specific ordering depending upon Interval type. In order to enable Interval representation and construction by simple enum, Intervals with left and right bounded values will first construct a BoundPair struct (with BoundPair::new() - returning a Result that can be error checked). Therefore an invalid Interval enum cannot be constructed.

#[derive(Debug, Copy, Clone, PartialEq)]
pub struct BoundPair<T> {
    left: T,
    right: T,
}

Interval enum variant taxonomy is pulled from proofwiki:Real Interval Types:

#[derive(Debug, Copy, Clone, PartialEq)]
pub enum Interval<T> {
    Closed { bound_pair: BoundPair<T> },        // [a, b]
    Open { bound_pair: BoundPair<T> },          // (a, b)
    LeftHalfOpen { bound_pair: BoundPair<T> },  // (a, b]
    RightHalfOpen { bound_pair: BoundPair<T> }, // [a, b)
    UnboundedClosedRight { right: T },          // (-inf, a]
    UnboundedOpenRight { right: T },            // (-inf, a)
    UnboundedClosedLeft { left: T },            // [a, inf)
    UnboundedOpenLeft { left: T },              // (a, inf)
    Singleton { at: T },                        // [a]
    Unbounded,                                  // (-inf, inf)
    Empty,                                      // Empty Interval
}

Traits Required by Bound Data Type

  • T: std::cmp::PartialOrd

This is required in order to support comparison between interval Bounds, a necessity for many interval operations.

Drawbacks

Computational Complexity

The computation complexity of interval operations is increased due to the dynamic runtime representation and support for operations across interval types (i.e. including support for type-enforced open, closed, and half-open intervals, as well as type-enforced representation for open infinite bounds). One C++ library offers both runtime dynamic OR static Interval support (see Boost Interval Container Library below. It might be educational to prototype interval operations in order to compare performance against a simple interval representation that is e.g. left-half-open for all intervals and does not support general intervals.

Alternatives

Existing Crates

There are existig crates in this space, and it would be improper to create a new crate if contribution to the existing ecosystem was a reasonable path forward. So here I'll enumerate the crates I have found - and why I believe they are not aligned with the goals listed in Motivation. I'll also call out functionlity offered by these crates that may be appealing for intervals-general. I'll reach out to the listed crate owners and gather their feedback before moving forward on intervals-general.

Interval Arithmetic Library - Support for exclusively Closed Bounded intervals, Singleton and Empty (via IsSingleton, IsEmpty). Supports primitive types only for Bounds (no uom support). Approximates unbounded intervals with bounds at sentinal values pulled from the primitive Bound extremum (e.g. -128 for i8 -> [inf).

Interval - Abandoned at 0.0.1

Existing Libraries from Other Languages

Haskell intervals package - support for Open Bounded and Unbounded intervals only. Good collection of operations on Intervals including (member, infimum, supremum, width, bisect, intersect, hull, distance, inflate, deflate, scale, comparison, and various utility Interval constructors).

Haskell IntervalMap package - Set and Map implementations that support Intervals as keys and functions for efficiently fetching a subset of all intervals containing a point, intersecting an interval, and more.

Boost Interval Container Library - ICL - Support for static compile-time types right_open_interval, left_open_interval, closed_interval, open_interval (all bounded). Also supports dynamic runtime discrete_interval and continuous_interval which can be built with left_open or right_open specifications. The offering of static compile-time variants is interesting, as it offers a reduced computation burden if the consumer can stick to a single Interval type and can ensure consistent interval type is used in applications wanting only e.g. left_open intervals. The continuous interval supports strings and dates, an interesting concept. Also implemented are interval sets and interval maps.

Alternative Representation of Interval Bound Types

I have explored multiple options for the type-enforced representations desired for the library, including:

  1. An Enum Bound without Left / Right binding and Capable of representing Open-Infinite bounds (e.g. Closed<data type>, OpenFinite<data type>, OpenInfinite)
  2. An Enum Bound without Left / Right binding and incapable of representing Open-Infinite bounds (e.g. Closed<data type>, Open<data type>) where data type supports type-enforced infinity representation
  3. An Enum Bound with Left/Right binding (e.g. LeftOpenFinite<data type>, LeftOpenInfinite, LeftClosed, RightOpenFinite, RightOpenInfinite, RightClosed)
enum LeftBound<T> {
    Unbounded,
    OpenBounded(T),
    ClosedBounded(T),
}

enum RightBound<T> {
    Unbounded,
    OpenBounded(T),
    ClosedBounded(T),
}

Alternative Handling of Bounds at Interval Creation

For Intervals with Left and Right Bounds, the user could provide invalid values. For example, where the Left Bound is greater than the Right Bound, or where the bounds are Equal (in which case this should be a Singleton Interval). The objective in this library is to catch such errors in a manner that exposes them to the library user, but also to minimize the opportunity for such errors - and to NOT throw exceptions. The design above proposes that a separate struct (BoundPair) be constructed and error checked, then passed into Enum construction for Intervals requiring two bounded values.

Aside from the sanitization method applied above - there is also the question of detailed behavior when Bounds are invalid or inappropriate for the Interval Variant. Alternatives considered include:

  1. Take in Left(l) and Right(r) Bounds
    • Return error if !(l < r)
    • Else Return Left(l), Right(r)
  2. Take in a and b Bounds
    • Return Singleton(a) if a == b
    • Return Left(a), Right(b) if a < b
    • Return Left(b), Right(a) if a > b
  3. Take in Left(l) Bound and a Width(w)
    • Return error if w < 0
    • Return Singleton(l) if w == 0
    • Else Return Left(l), Right(l + w)
  4. Take in a Bound and Width(w)
    • Return Singleton(a) if w == 0
    • Return Left(a), Right(a+w) if w > 0
    • Return Left(a - w), Right(a) if w < 0
  5. Support for an Invalid Interval Enum variant

The question is whether it's better to provide a library which avoids errors so long as a valid interval can be constructed, or whether the interval construction should be providing defense for the programmer when their bounds are not ordered as required. Reviewing the other Interval libraries in the wild, some provide no validation whatsoever (e.g. Haskell IntervalMap package, Boost Interval Container Library - ICL). Others apply the Bound Reversal when mis-ordered (e.g. Haskell intervals package). Some Assert if Bound ordering is incorrect (e.g. Rust Honest Intervals).

Unresolved Questions

Unresolved Rounding Mode a Concern

Depending upon the arithmetic being applied to intervals, rounding error could result in a set of intervals mutating beyond expectation. I have convinced myself that the rounding issues are no more severe than you would experience from general floating point use representations (that is, no Interval specific thorns appear to be raised) - specifically even under scaling (e.g. *2.5 [1, 2) = [2.5, 5.0)) a collection of intervals which were continuous in the Real Domain prior to scaling - remain continuous in the Real Domain after scaling. Therefore rounding errors cannot cause Continuous collections of Intervals to becoe discontinuous for some Domain (ditto for offset modifications to Intervals, e.g. +2.5 [1, 2) = [3.5, 4.5)). If however the width of an Interval is a property that is intended to be relied upon (e.g. Interval Arithmetic) - then rounding mode is an important consideration as it can ruin expected properties of the Interval under mutation. As presently defined, this Interval library may not support Interval Arithmetic use for this reason.

Unresolved Static Interval Type Support

In the Boost Interval Container Library mentioned above, two variants of Interval are offered (static compile-time enforced of a single type, or dynamic runtime type supporting mixed Interval types). The primary downside to static compile-time single types is that some operations are unsupported (e.g. complement) - and many real-world Interval representations require mixed Interval types (e.g. a collection of Intervals representing from -inf to +inf representing the domain of a step function).

Unresolved Overflow Behavior

No attempt to detect overflow or underflow is applied - can this be done (transforming overflow / underflow to an Unbounded Interval?).

Resources

Dependencies

~44KB