AlgebraicAlgebra

Value members

Inherited methods

override def abs(a: Algebraic): Algebraic
Definition Classes
AlgebraicIsReal -> forAdditiveCommutativeGroup -> Signed
Inherited from:
AlgebraicIsReal
Inherited from:
AlgebraicIsReal
Inherited from:
AlgebraicIsReal

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
Inherited from:
AlgebraicIsField
Inherited from:
Field
Inherited from:
Field
Definition Classes
Inherited from:
Field
override def eqv(x: Algebraic, y: Algebraic): Boolean
Definition Classes
AlgebraicIsReal -> Order -> PartialOrder -> Eq
Inherited from:
AlgebraicIsReal
Inherited from:
Field
Inherited from:
AlgebraicIsReal
Inherited from:
AlgebraicIsField
Definition Classes
Inherited from:
forCommutativeRing

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.

Inherited from:
Ring
override def fromDouble(n: Double): Algebraic
Definition Classes
AlgebraicIsField -> Field -> DivisionRing
Inherited from:
AlgebraicIsField
override def fromInt(n: Int): Algebraic
Definition Classes
AlgebraicIsField -> Ring
Inherited from:
AlgebraicIsField
override def gcd(a: Algebraic, b: Algebraic)(implicit eqA: Eq[Algebraic]): Algebraic
Definition Classes
Inherited from:
Field
override def gt(x: Algebraic, y: Algebraic): Boolean

Returns true if x > y, false otherwise.

Returns true if x > y, false otherwise.

Definition Classes
Inherited from:
Order
override def gteqv(x: Algebraic, y: Algebraic): Boolean

Returns true if x >= y, false otherwise.

Returns true if x >= y, false otherwise.

Definition Classes
Inherited from:
Order
def isOne(a: Algebraic)(implicit ev: Eq[Algebraic]): Boolean

Tests if a is one.

Tests if a is one.

Inherited from:
MultiplicativeMonoid
Inherited from:
Signed
Inherited from:
Signed
Inherited from:
Signed
Inherited from:
Signed
Inherited from:
Signed
Inherited from:
Signed
Inherited from:
AlgebraicIsReal
def isZero(a: Algebraic)(implicit ev: Eq[Algebraic]): Boolean

Tests if a is zero.

Tests if a is zero.

Inherited from:
AdditiveMonoid
override def lcm(a: Algebraic, b: Algebraic)(implicit eqA: Eq[Algebraic]): Algebraic
Definition Classes
Inherited from:
Field
override def lt(x: Algebraic, y: Algebraic): Boolean

Returns true if x < y, false otherwise.

Returns true if x < y, false otherwise.

Definition Classes
Inherited from:
Order
override def lteqv(x: Algebraic, y: Algebraic): Boolean

Returns true if x <= y, false otherwise.

Returns true if x <= y, false otherwise.

Definition Classes
Inherited from:
Order

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

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

Inherited from:
Order

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

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

Inherited from:
Order
override def minus(a: Algebraic, b: Algebraic): Algebraic
Definition Classes
AlgebraicIsField -> AdditiveGroup
Inherited from:
AlgebraicIsField
Inherited from:
AlgebraicIsField
override def neqv(x: Algebraic, y: Algebraic): Boolean
Definition Classes
AlgebraicIsReal -> Order -> Eq
Inherited from:
AlgebraicIsReal
Inherited from:
AlgebraicIsField
Inherited from:
AlgebraicIsField
Inherited from:
AlgebraicIsReal
Inherited from:
Order

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
Inherited from:
AlgebraicIsField

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

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: Algebraic, b: Int): Algebraic
Definition Classes
Inherited from:
AlgebraicIsField
@nowarn("msg=deprecated")

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Inherited from:
MultiplicativeMonoid
Inherited from:
AlgebraicIsReal
override def sign(a: Algebraic): Sign
Definition Classes
AlgebraicIsReal -> Signed
Inherited from:
AlgebraicIsReal
override def signum(a: Algebraic): Int
Definition Classes
AlgebraicIsReal -> forAdditiveCommutativeMonoid -> Signed
Inherited from:
AlgebraicIsReal
Inherited from:
NRoot
@nowarn("msg=deprecated")

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Inherited from:
AdditiveMonoid
override def sumN(a: Algebraic, n: Int): Algebraic
Definition Classes
Inherited from:
AdditiveGroup
override def times(a: Algebraic, b: Algebraic): Algebraic
Definition Classes
AlgebraicIsField -> MultiplicativeSemigroup
Inherited from:
AlgebraicIsField
Inherited from:
AlgebraicIsReal
Inherited from:
AlgebraicIsReal
Inherited from:
AlgebraicIsReal
Inherited from:
AlgebraicIsReal

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:
IsAlgebraic
Inherited from:
AlgebraicIsReal

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")
@nowarn("msg=deprecated")
Definition Classes
Inherited from:
AdditiveMonoid
Inherited from:
AlgebraicIsField