basis.math

RealField

trait RealField extends OrderedField with CompleteField

A complete, totally ordered abstract field structure. Addition associates and commutes, and multiplication associates, commutes, and distributes over addition. Addition and multiplication both have an identity element, every element has an additive inverse, and every element except zero has a multiplicative inverse. Also, every Cauchy sequence of elements converges. To the extent practicable, the following axioms should hold.

Axioms for addition:

Axioms for multiplication:

The distributive law:

Order axioms:

Completeness axiom:

Source
RealField.scala
Example: 

  1. // You can abstract over real fields by parameterizing a class or
// function with a subtype of RealField with Singleton. Type elements
// with the #Element type projection of your RealField type parameter.
def testRealFieldOperations[R <: RealField with Singleton](a: R#Element, b: R#Element, c: R#Element): Unit = {
  assert(a + b == b + a, "commutativity of addition")
  assert((a + b) + c == a + (b + c), "associativity of addition")
  assert(a * b == b * a, "commutativity of multiplication")
  assert((a * b) * c == a * (b * c), "associativity of multiplication")
  assert(a * (b + c) == (a * b) + (a * c), "distributivity of multiplication over addition")
  if (a <= b) assert((a min b) == a, "existence of minima")
  if (a <= b) assert((a max b) == b, "existence of maxima")
}

// Alternatively, functions can use path-dependent types of a RealField parameter.
def testRealFieldIdentities(R: RealField)(a: R.Element, b: R.Element): Unit = {
  import R._
  assert(zero + a == a, "existence of additive identity")
  assert(a + (-a) == zero, "existence of additive inverse")
  assert(unit != zero && unit * a == a, "existence of multiplicative identity")
  assert(a * a.inverse == unit, "existence of multiplicative inverse")
  if (a <= b && b <= a) assert(a == b, "antisymmetry of ordering")
  if (a <= b && b <= c) assert(a <= c, "transitivity of ordering")
  assert(a <= b || b <= a, "totality of ordering")
}
Version

0.1

Since

0.0

Linear Supertypes
CompleteField, OrderedField, Field, OrderedRing, Ring, AnyRef, Any
Known Subclasses
Real
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. RealField
  2. CompleteField
  3. OrderedField
  4. Field
  5. OrderedRing
  6. Ring
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait CompleteFieldElement extends FieldElement

    Definition Classes
    CompleteField

  2. abstract type Element <: RealFieldElement

    The type of elements in this real field.

    The type of elements in this real field.

    Definition Classes
    RealField → CompleteField → OrderedField → Field → OrderedRing → Ring

  3. trait FieldElement extends RingElement

    Definition Classes
    Field

  4. trait OrderedFieldElement extends OrderedRingElement with FieldElement

    Definition Classes
    OrderedField

  5. trait OrderedRingElement extends RingElement

    Definition Classes
    OrderedRing

  6. trait RealFieldElement extends OrderedFieldElement with CompleteFieldElement

  7. trait RingElement extends Any

    An element in this ring.

    An element in this ring.

    Definition Classes
    Ring

Abstract Value Members

  1. abstract def unit: Element

    Returns the multiplicative identity of this real field.

    Returns the multiplicative identity of this real field.

    Definition Classes
    RealField → CompleteField → OrderedField → Field → OrderedRing → Ring

  2. abstract def zero: Element

    Returns the additive identity of this real field.

    Returns the additive identity of this real field.

    Definition Classes
    RealField → CompleteField → OrderedField → Field → OrderedRing → Ring

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  5. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  6. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  8. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  9. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  10. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  12. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  13. final def notify(): Unit

    Definition Classes
    AnyRef

  14. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  16. def toString(): String

    Definition Classes
    AnyRef → Any

  17. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  19. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from CompleteField

Inherited from OrderedField

Inherited from Field

Inherited from OrderedRing

Inherited from Ring

Inherited from AnyRef

Inherited from Any

Ungrouped