c

algebra.instances

DoubleAlgebra

class DoubleAlgebra extends Field[Double] with Serializable

Due to the way floating-point equality works, this instance is not lawful under equality, but is correct when taken as an approximation of an exact value.

If you would prefer an absolutely lawful fractional value, you'll need to investigate rational numbers or more exotic types.

Linear Supertypes
Field[Double], MultiplicativeCommutativeGroup[Double], MultiplicativeGroup[Double], CommutativeRing[Double], CommutativeRng[Double], CommutativeRig[Double], MultiplicativeCommutativeMonoid[Double], CommutativeSemiring[Double], MultiplicativeCommutativeSemigroup[Double], Ring[Double], Rng[Double], AdditiveCommutativeGroup[Double], AdditiveGroup[Double], Rig[Double], MultiplicativeMonoid[Double], Semiring[Double], MultiplicativeSemigroup[Double], AdditiveCommutativeMonoid[Double], AdditiveCommutativeSemigroup[Double], AdditiveMonoid[Double], AdditiveSemigroup[Double], Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DoubleAlgebra
  2. Field
  3. MultiplicativeCommutativeGroup
  4. MultiplicativeGroup
  5. CommutativeRing
  6. CommutativeRng
  7. CommutativeRig
  8. MultiplicativeCommutativeMonoid
  9. CommutativeSemiring
  10. MultiplicativeCommutativeSemigroup
  11. Ring
  12. Rng
  13. AdditiveCommutativeGroup
  14. AdditiveGroup
  15. Rig
  16. MultiplicativeMonoid
  17. Semiring
  18. MultiplicativeSemigroup
  19. AdditiveCommutativeMonoid
  20. AdditiveCommutativeSemigroup
  21. AdditiveMonoid
  22. AdditiveSemigroup
  23. Serializable
  24. Serializable
  25. AnyRef
  26. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DoubleAlgebra()

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. def additive: CommutativeGroup[Double]
    Definition Classes
    AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. def div(x: Double, y: Double): Double
    Definition Classes
    DoubleAlgebra → MultiplicativeGroup
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. def fromBigInt(n: BigInt): Double

    Convert the given BigInt to an instance of A.

    Convert the given BigInt to an instance of A.

    This is equivalent to n repeated summations of this ring's one, or -n summations of -one if n is negative.

    Most type class instances should consider overriding this method for performance reasons.

    Definition Classes
    DoubleAlgebra → Ring
  12. def fromDouble(x: Double): Double

    This is implemented in terms of basic Field ops.

    This is implemented in terms of basic Field ops. However, this is probably significantly less efficient than can be done with a specific type. So, it is recommended that this method be overriden.

    This is possible because a Double is a rational number.

    Definition Classes
    DoubleAlgebra → Field
  13. def fromInt(x: Int): Double

    Convert the given integer to an instance of A.

    Convert the given integer to an instance of A.

    Defined to be equivalent to sumN(one, n).

    That is, n repeated summations of this ring's one, or -n summations of -one if n is negative.

    Most type class instances should consider overriding this method for performance reasons.

    Definition Classes
    DoubleAlgebra → Ring
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def isOne(a: Double)(implicit ev: Eq[Double]): Boolean

    Tests if a is one.

    Tests if a is one.

    Definition Classes
    MultiplicativeMonoid
  18. def isZero(a: Double)(implicit ev: Eq[Double]): Boolean

    Tests if a is zero.

    Tests if a is zero.

    Definition Classes
    AdditiveMonoid
  19. def minus(x: Double, y: Double): Double
    Definition Classes
    DoubleAlgebra → AdditiveGroup
  20. def multiplicative: CommutativeGroup[Double]
    Definition Classes
    MultiplicativeCommutativeGroup → MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeGroup → MultiplicativeMonoid → MultiplicativeSemigroup
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def negate(x: Double): Double
    Definition Classes
    DoubleAlgebra → AdditiveGroup
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. def one: Double
    Definition Classes
    DoubleAlgebra → MultiplicativeMonoid
  26. def plus(x: Double, y: Double): Double
    Definition Classes
    DoubleAlgebra → AdditiveSemigroup
  27. def positivePow(a: Double, n: Int): Double
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup
  28. def positiveSumN(a: Double, n: Int): Double
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup
  29. def pow(x: Double, y: Int): Double
    Definition Classes
    DoubleAlgebra → MultiplicativeGroup → MultiplicativeMonoid → MultiplicativeSemigroup
  30. def product(as: TraversableOnce[Double]): Double

    Given a sequence of as, compute the product.

    Given a sequence of as, compute the product.

    Definition Classes
    MultiplicativeMonoid
  31. def reciprocal(x: Double): Double
    Definition Classes
    DoubleAlgebra → MultiplicativeGroup
  32. def sum(as: TraversableOnce[Double]): Double

    Given a sequence of as, compute the sum.

    Given a sequence of as, compute the sum.

    Definition Classes
    AdditiveMonoid
  33. def sumN(a: Double, n: Int): Double
    Definition Classes
    AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def times(x: Double, y: Double): Double
    Definition Classes
    DoubleAlgebra → MultiplicativeSemigroup
  36. def toString(): String
    Definition Classes
    AnyRef → Any
  37. def tryProduct(as: TraversableOnce[Double]): Option[Double]

    Given a sequence of as, combine them and return the total.

    Given a sequence of as, combine them and return the total.

    If the sequence is empty, returns None. Otherwise, returns Some(total).

    Definition Classes
    MultiplicativeMonoid → MultiplicativeSemigroup
  38. def trySum(as: TraversableOnce[Double]): Option[Double]

    Given a sequence of as, combine them and return the total.

    Given a sequence of as, combine them and return the total.

    If the sequence is empty, returns None. Otherwise, returns Some(total).

    Definition Classes
    AdditiveMonoid → AdditiveSemigroup
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  42. def zero: Double
    Definition Classes
    DoubleAlgebra → AdditiveMonoid

Inherited from Field[Double]

Inherited from MultiplicativeCommutativeGroup[Double]

Inherited from MultiplicativeGroup[Double]

Inherited from CommutativeRing[Double]

Inherited from CommutativeRng[Double]

Inherited from CommutativeRig[Double]

Inherited from MultiplicativeCommutativeMonoid[Double]

Inherited from CommutativeSemiring[Double]

Inherited from MultiplicativeCommutativeSemigroup[Double]

Inherited from Ring[Double]

Inherited from Rng[Double]

Inherited from AdditiveCommutativeGroup[Double]

Inherited from AdditiveGroup[Double]

Inherited from Rig[Double]

Inherited from MultiplicativeMonoid[Double]

Inherited from Semiring[Double]

Inherited from MultiplicativeSemigroup[Double]

Inherited from AdditiveCommutativeMonoid[Double]

Inherited from AdditiveCommutativeSemigroup[Double]

Inherited from AdditiveMonoid[Double]

Inherited from AdditiveSemigroup[Double]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped