The type of elements in this interval field; equivalent to the type of intervals.
The type of elements in this interval field; equivalent to the type of intervals.
The type of intervals in this interval field.
The type of intervals in this interval field.
A closed set of elements between two points of an ordered field.
A closed set of elements between two points of an ordered ring.
A closed set of elements between two points of an ordered ring.
An element in this ring.
An element in this ring.
The type of scalars in this interval field.
The type of scalars in this interval field.
Returns the scalar set of this interval field.
Returns the scalar set of this interval field.
Returns a new interval with inclusive lower and upper bounds.
Returns a new interval with inclusive lower and upper bounds.
Returns a degenerate interval spanning a single point.
Returns a degenerate interval spanning a single point.
Extracts the lower and upper bounds from an interval.
Extracts the lower and upper bounds from an interval.
Returns the multiplicative identity of this interval field.
Returns the multiplicative identity of this interval field.
Returns the additive identity of this interval field.
Returns the additive identity of this interval field.
A field of closed sets between two elements of an ordered field.
0.1
0.1