RInterval

Type Members

type Element = Interval

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.

Definition Classes
IntervalField → Field → IntervalRing → Ring
trait FieldElement extends RingElement

Definition Classes
Field
type Interval = RInterval

The type of intervals in this interval field.
The type of intervals in this interval field.

Definition Classes
RInterval → IntervalField → IntervalRing
trait IntervalFieldElement extends IntervalRingElement with FieldElement

A closed set of elements between two points of an ordered field.
A closed set of elements between two points of an ordered field.

Definition Classes
IntervalField
trait IntervalRingElement extends RingElement

A closed set of elements between two points of an ordered ring.
A closed set of elements between two points of an ordered ring.

Definition Classes
IntervalRing
trait RingElement extends Any

An element in this ring.
An element in this ring.

Definition Classes
Ring
type Scalar = Real

The type of scalars in this interval field.
The type of scalars in this interval field.

Definition Classes
RInterval → IntervalRing

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
val Scalar: Real.type

Returns the scalar set of this interval field.
Returns the scalar set of this interval field.

Definition Classes
RInterval → IntervalField → IntervalRing
def apply(lower: Real, upper: Real): RInterval

Returns a new interval with inclusive lower and upper bounds.
Returns a new interval with inclusive lower and upper bounds.

Definition Classes
RInterval → IntervalField → IntervalRing
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def coerce(that: ZInterval): RInterval
implicit def degenerate(value: Real): RInterval

Returns a degenerate interval spanning a single point.
Returns a degenerate interval spanning a single point.

Definition Classes
RInterval → IntervalField → IntervalRing
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
RInterval → AnyRef → Any
def unapply(interval: Interval): Option[(RInterval.Scalar, RInterval.Scalar)]

Extracts the lower and upper bounds from an interval.
Extracts the lower and upper bounds from an interval.

Definition Classes
IntervalField → IntervalRing
val unit: RInterval

Returns the multiplicative identity of this interval field.
Returns the multiplicative identity of this interval field.

Definition Classes
RInterval → IntervalField → Field → IntervalRing → Ring
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
val zero: RInterval

Returns the additive identity of this interval field.
Returns the additive identity of this interval field.

Definition Classes
RInterval → IntervalField → Field → IntervalRing → Ring

object RInterval extends IntervalField

Type Members

type Element = Interval

trait FieldElement extends RingElement

type Interval = RInterval

trait IntervalFieldElement extends IntervalRingElement with FieldElement

trait IntervalRingElement extends RingElement

trait RingElement extends Any

type Scalar = Real

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val Scalar: Real.type

def apply(lower: Real, upper: Real): RInterval

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit def coerce(that: ZInterval): RInterval

implicit def degenerate(value: Real): RInterval

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def unapply(interval: Interval): Option[(RInterval.Scalar, RInterval.Scalar)]

val unit: RInterval

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

val zero: RInterval

Inherited from IntervalField

Inherited from Field

Inherited from IntervalRing

Inherited from Ring

Inherited from AnyRef

Inherited from Any

Ungrouped