RealAlgebra

@SerialVersionUID(0L)
trait Trig[Real]
trait forCommutativeRing[Real]
trait forAdditiveCommutativeGroup[Real]
trait forAdditiveCommutativeMonoid[Real]
trait TruncatedDivision[Real]
trait Integral[Real]
trait IsReal[Real]
trait Signed[Real]
trait Order[Real]
trait PartialOrder[Real]
trait Eq[Real]
trait NRoot[Real]
trait Field[Real]
trait CommutativeSemifield[Real]
trait MultiplicativeCommutativeGroup[Real]
trait DivisionRing[Real]
trait Semifield[Real]
trait MultiplicativeGroup[Real]
trait EuclideanRing[Real]
trait GCDRing[Real]
trait CommutativeRing[Real]
trait CommutativeRng[Real]
trait CommutativeRig[Real]
trait MultiplicativeCommutativeMonoid[Real]
trait CommutativeSemiring[Real]
trait MultiplicativeCommutativeSemigroup[Real]
trait Ring[Real]
trait Rng[Real]
trait AdditiveCommutativeGroup[Real]
trait AdditiveGroup[Real]
trait Rig[Real]
trait MultiplicativeMonoid[Real]
trait Semiring[Real]
trait MultiplicativeSemigroup[Real]
trait AdditiveCommutativeMonoid[Real]
trait AdditiveCommutativeSemigroup[Real]
trait AdditiveMonoid[Real]
trait AdditiveSemigroup[Real]
trait Serializable
class Object
trait Matchable
class Any

Value members

Inherited methods

override
def abs(x: Real): Real
Definition Classes
RealIsFractional -> forAdditiveCommutativeGroup -> Signed
Inherited from
RealIsFractional
def acos(a: Real): Real
Inherited from
RealIsFractional
override
def additive: CommutativeGroup[Real]
Definition Classes
AdditiveCommutativeGroup -> AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveCommutativeGroup
final override
def additiveCommutativeMonoid: AdditiveCommutativeMonoid[Real]
Definition Classes
forAdditiveCommutativeMonoid -> Signed
Inherited from
forAdditiveCommutativeMonoid
def asin(a: Real): Real
Inherited from
RealIsFractional
def atan(a: Real): Real
Inherited from
RealIsFractional
def atan2(y: Real, x: Real): Real
Inherited from
RealIsFractional
def ceil(x: Real): Real
Inherited from
RealIsFractional
def compare(x: Real, y: Real): Int
Inherited from
RealIsFractional
def comparison(x: Real, y: Real): Comparison

Like compare, but returns a cats.kernel.Comparison instead of an Int. Has the benefit of being able to pattern match on, but not as performant.

Like compare, but returns a cats.kernel.Comparison instead of an Int. Has the benefit of being able to pattern match on, but not as performant.

Inherited from
Order
def cos(a: Real): Real
Inherited from
RealIsFractional
def cosh(x: Real): Real
Inherited from
RealIsFractional
def div(x: Real, y: Real): Real
Inherited from
RealIsFractional
def e: Real
Inherited from
RealIsFractional
def emod(a: Real, b: Real): Real
Inherited from
Field
def equot(a: Real, b: Real): Real
Inherited from
Field
override
def equotmod(a: Real, b: Real): (Real, Real)
Definition Classes
Field -> EuclideanRing
Inherited from
Field
override
def eqv(x: Real, y: Real): Boolean
Definition Classes
RealIsFractional -> Order -> PartialOrder -> Eq
Inherited from
RealIsFractional
def euclideanFunction(a: Real): BigInt
Inherited from
Field
def exp(x: Real): Real
Inherited from
RealIsFractional
def expm1(x: Real): Real
Inherited from
RealIsFractional
def floor(x: Real): Real
Inherited from
RealIsFractional
def fmod(x: Real, y: Real): Real
Inherited from
forCommutativeRing
def fpow(x: Real, y: Real): Real
Inherited from
RealIsFractional
def fquot(x: Real, y: Real): Real
Inherited from
forCommutativeRing
override
def fquotmod(x: Real, y: Real): (Real, Real)
Definition Classes
forCommutativeRing -> TruncatedDivision
Inherited from
forCommutativeRing
def fromBigDecimal(n: BigDecimal): Real
Inherited from
RealIsFractional
override
def fromBigInt(n: BigInt): Real
Definition Classes
Inherited from
RealIsFractional
def fromByte(n: Byte): Real
Inherited from
RealIsFractional
override
def fromDouble(a: Double): Real
Definition Classes
Field -> DivisionRing
Inherited from
Field
def fromFloat(n: Float): Real
Inherited from
RealIsFractional
def fromInt(n: Int): Real

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.

Inherited from
Ring
def fromLong(n: Long): Real
Inherited from
RealIsFractional
def fromReal(n: Real): Real
Inherited from
RealIsFractional
def fromShort(n: Short): Real
Inherited from
RealIsFractional
def fromType[B](b: B)(implicit ev: ConvertableFrom[B]): Real
Inherited from
RealIsFractional
override
def gcd(a: Real, b: Real)(implicit eqA: Eq[Real]): Real
Definition Classes
Field -> EuclideanRing -> GCDRing
Inherited from
Field
override
def gt(x: Real, y: Real): Boolean

Returns true if x > y, false otherwise.

Returns true if x > y, false otherwise.

Definition Classes
Order -> PartialOrder
Inherited from
Order
override
def gteqv(x: Real, y: Real): Boolean

Returns true if x >= y, false otherwise.

Returns true if x >= y, false otherwise.

Definition Classes
Order -> PartialOrder
Inherited from
Order
def isOne(a: Real)(implicit ev: Eq[Real]): Boolean

Tests if a is one.

Tests if a is one.

Inherited from
MultiplicativeMonoid
def isSignNegative(a: Real): Boolean
Inherited from
Signed
def isSignNonNegative(a: Real): Boolean
Inherited from
Signed
def isSignNonPositive(a: Real): Boolean
Inherited from
Signed
def isSignNonZero(a: Real): Boolean
Inherited from
Signed
def isSignPositive(a: Real): Boolean
Inherited from
Signed
def isSignZero(a: Real): Boolean
Inherited from
Signed
def isWhole(x: Real): Boolean
Inherited from
RealIsFractional
def isZero(a: Real)(implicit ev: Eq[Real]): Boolean

Tests if a is zero.

Tests if a is zero.

Inherited from
AdditiveMonoid
override
def lcm(a: Real, b: Real)(implicit eqA: Eq[Real]): Real
Definition Classes
Field -> EuclideanRing -> GCDRing
Inherited from
Field
def log(x: Real): Real
Inherited from
RealIsFractional
def log1p(x: Real): Real
Inherited from
RealIsFractional
override
def lt(x: Real, y: Real): Boolean

Returns true if x < y, false otherwise.

Returns true if x < y, false otherwise.

Definition Classes
Order -> PartialOrder
Inherited from
Order
override
def lteqv(x: Real, y: Real): Boolean

Returns true if x <= y, false otherwise.

Returns true if x <= y, false otherwise.

Definition Classes
Order -> PartialOrder
Inherited from
Order
def max(x: Real, y: Real): Real

If x > y, return x, else return y.

If x > y, return x, else return y.

Inherited from
Order
def min(x: Real, y: Real): Real

If x < y, return x, else return y.

If x < y, return x, else return y.

Inherited from
Order
override
def minus(x: Real, y: Real): Real
Definition Classes
RealIsFractional -> AdditiveGroup
Inherited from
RealIsFractional
override
def multiplicative: CommutativeGroup[Real]
Definition Classes
MultiplicativeCommutativeGroup -> MultiplicativeCommutativeMonoid -> MultiplicativeCommutativeSemigroup -> MultiplicativeGroup -> MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeCommutativeGroup
def negate(x: Real): Real
Inherited from
RealIsFractional
override
def neqv(x: Real, y: Real): Boolean

Returns true if x != y, false otherwise.

Returns true if x != y, false otherwise.

Note: this default implementation provided by Order is the same as the one defined in Eq, but for purposes of binary compatibility, the override in Order has not yet been removed. See this discussion.

Definition Classes
Order -> Eq
Inherited from
Order
def nroot(x: Real, k: Int): Real
Inherited from
RealIsFractional
def one: Real
Inherited from
RealIsFractional
def order: Order[Real]
Inherited from
RealIsFractional
def partialCompare(x: Real, y: Real): Double
Inherited from
Order
def partialComparison(x: Real, y: Real): Option[Comparison]

Like partialCompare, but returns a cats.kernel.Comparison instead of an Double. Has the benefit of being able to pattern match on, but not as performant.

Like partialCompare, but returns a cats.kernel.Comparison instead of an Double. Has the benefit of being able to pattern match on, but not as performant.

Inherited from
PartialOrder
def pi: Real
Inherited from
RealIsFractional
def plus(x: Real, y: Real): Real
Inherited from
RealIsFractional
def pmax(x: Real, y: Real): Option[Real]

Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

Inherited from
PartialOrder
def pmin(x: Real, y: Real): Option[Real]

Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

Inherited from
PartialOrder
override
def pow(a: Real, n: Int): Real
Definition Classes
MultiplicativeGroup -> MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeGroup
@nowarn("msg=deprecated")
def product(as: IterableOnce[Real]): Real

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Inherited from
MultiplicativeMonoid
override
Definition Classes
RealIsFractional -> MultiplicativeGroup
Inherited from
RealIsFractional
def round(x: Real): Real
Inherited from
RealIsFractional
def sign(a: Real): Sign

Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

Inherited from
Signed
override
def signum(x: Real): Int
Definition Classes
RealIsFractional -> forAdditiveCommutativeMonoid -> Signed
Inherited from
RealIsFractional
def sin(x: Real): Real
Inherited from
RealIsFractional
def sinh(x: Real): Real
Inherited from
RealIsFractional
override
def sqrt(x: Real): Real
Definition Classes
Inherited from
RealIsFractional
@nowarn("msg=deprecated")
def sum(as: IterableOnce[Real]): Real

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Inherited from
AdditiveMonoid
override
def sumN(a: Real, n: Int): Real
Definition Classes
AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveGroup
def tan(x: Real): Real
Inherited from
RealIsFractional
def tanh(x: Real): Real
Inherited from
RealIsFractional
def times(x: Real, y: Real): Real
Inherited from
RealIsFractional
def tmod(x: Real, y: Real): Real
Inherited from
RealIsFractional
def toBigDecimal(x: Real): BigDecimal
Inherited from
RealIsFractional
def toBigInt(x: Real): BigInt
Inherited from
RealIsFractional
def toBigIntOpt(x: Real): Opt[BigInt]
Inherited from
RealIsFractional
def toByte(x: Real): Byte
Inherited from
RealIsFractional
Inherited from
RealIsFractional
def toDouble(x: Real): Double
Inherited from
RealIsFractional
def toFloat(x: Real): Float
Inherited from
RealIsFractional
def toInt(x: Real): Int
Inherited from
RealIsFractional
def toLong(x: Real): Long
Inherited from
RealIsFractional
Inherited from
RealIsFractional
def toOrdering: Ordering[Real]

Convert a Order[A] to a scala.math.Ordering[A] instance.

Convert a Order[A] to a scala.math.Ordering[A] instance.

Inherited from
Order
Inherited from
RealIsFractional
Inherited from
RealIsFractional
def toReal(x: Real): Real
Inherited from
RealIsFractional
def toShort(x: Real): Short
Inherited from
RealIsFractional
def toString(x: Real): String
Inherited from
RealIsFractional
def toType[B](x: Real)(implicit ev: ConvertableTo[B]): B
Inherited from
RealIsFractional
def tquot(x: Real, y: Real): Real
Inherited from
RealIsFractional
def tquotmod(x: Real, y: Real): (Real, Real)
Inherited from
TruncatedDivision
def tryCompare(x: Real, y: Real): Option[Int]

Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is:

Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is:

  • negative iff x < y
  • zero iff x = y
  • positive iff x > y
Inherited from
PartialOrder
@nowarn("msg=deprecated")
override
def tryProduct(as: IterableOnce[Real]): Option[Real]
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeMonoid
@nowarn("msg=deprecated")
override
def trySum(as: IterableOnce[Real]): Option[Real]
Definition Classes
AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveMonoid
def zero: Real
Inherited from
RealIsFractional