DoubleAlgebra
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.
Attributes
- Source
- double.scala
- Graph
-
- Supertypes
-
trait CommutativeSemifield[Double]trait DivisionRing[Double]trait MultiplicativeGroup[Double]trait EuclideanRing[Double]trait CommutativeRing[Double]trait CommutativeRng[Double]trait CommutativeRig[Double]trait CommutativeSemiring[Double]trait AdditiveCommutativeGroup[Double]trait AdditiveGroup[Double]trait MultiplicativeMonoid[Double]trait MultiplicativeSemigroup[Double]trait AdditiveCommutativeMonoid[Double]trait AdditiveMonoid[Double]trait AdditiveSemigroup[Double]trait Serializableclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
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.
Attributes
- Definition Classes
- Source
- double.scala
This is implemented in terms of basic Ring ops.
This is implemented in terms of basic Ring 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.
Attributes
- Definition Classes
- Source
- double.scala
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.
Attributes
- Definition Classes
- Source
- double.scala
Attributes
- Definition Classes
- Source
- double.scala
Attributes
- Source
- double.scala
Attributes
- Source
- double.scala
Attributes
- Definition Classes
- Source
- double.scala
Attributes
- Definition Classes
- Source
- double.scala
Attributes
- Source
- double.scala
Inherited methods
Attributes
- Definition Classes
- Inherited from:
- AdditiveCommutativeGroup
- Source
- Additive.scala
Attributes
- Definition Classes
- Inherited from:
- Field
- Source
- Field.scala
Attributes
- Inherited from:
- Field
- Source
- Field.scala
Attributes
- Definition Classes
- Inherited from:
- Field
- Source
- Field.scala
Tests if a
is one.
Tests if a
is zero.
Attributes
- Definition Classes
- Inherited from:
- Field
- Source
- Field.scala
Attributes
- Definition Classes
- Inherited from:
- MultiplicativeCommutativeGroup
- Source
- Multiplicative.scala
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the product.
Attributes
- Inherited from:
- MultiplicativeMonoid
- Source
- Multiplicative.scala
Given a sequence of as
, compute the sum.
Given a sequence of as
, compute the sum.
Attributes
- Inherited from:
- AdditiveMonoid
- Source
- Additive.scala
Attributes
- Definition Classes
- Inherited from:
- AdditiveGroup
- Source
- Additive.scala
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).
Attributes
- Definition Classes
- Inherited from:
- MultiplicativeMonoid
- Source
- Multiplicative.scala
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).
Attributes
- Definition Classes
- Inherited from:
- AdditiveMonoid
- Source
- Additive.scala