core/spire.std/BigIntegerIsEuclideanRing

BigIntegerIsEuclideanRing

trait BigIntegerIsEuclideanRing extends EuclideanRing[BigInteger]
trait EuclideanRing[BigInteger]
trait GCDRing[BigInteger]
trait CommutativeRing[BigInteger]
trait CommutativeRng[BigInteger]
trait CommutativeRig[BigInteger]
trait MultiplicativeCommutativeMonoid[BigInteger]
trait CommutativeSemiring[BigInteger]
trait MultiplicativeCommutativeSemigroup[BigInteger]
trait Ring[BigInteger]
trait Rng[BigInteger]
trait AdditiveCommutativeGroup[BigInteger]
trait AdditiveGroup[BigInteger]
trait Rig[BigInteger]
trait MultiplicativeMonoid[BigInteger]
trait Semiring[BigInteger]
trait MultiplicativeSemigroup[BigInteger]
trait AdditiveCommutativeMonoid[BigInteger]
trait AdditiveCommutativeSemigroup[BigInteger]
trait AdditiveMonoid[BigInteger]
trait AdditiveSemigroup[BigInteger]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

def emod(a: BigInteger, b: BigInteger): BigInteger
def equot(a: BigInteger, b: BigInteger): BigInteger
override
def equotmod(a: BigInteger, b: BigInteger): (BigInteger, BigInteger)
Definition Classes
def euclideanFunction(a: BigInteger): BigInt
override
def fromInt(n: Int): BigInteger
Definition Classes
Ring
def gcd(a: BigInteger, b: BigInteger)(implicit ev: Eq[BigInteger]): BigInteger
def lcm(a: BigInteger, b: BigInteger)(implicit ev: Eq[BigInteger]): BigInteger
override
def minus(a: BigInteger, b: BigInteger): BigInteger
Definition Classes
AdditiveGroup
def negate(a: BigInteger): BigInteger
def one: BigInteger
def plus(a: BigInteger, b: BigInteger): BigInteger
override
def pow(a: BigInteger, b: Int): BigInteger
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
override
def times(a: BigInteger, b: BigInteger): BigInteger
Definition Classes
MultiplicativeSemigroup
def zero: BigInteger

Inherited methods

override
def additive: CommutativeGroup[BigInteger]
Definition Classes
AdditiveCommutativeGroup -> AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveCommutativeGroup
def fromBigInt(n: BigInt): BigInteger

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
def isOne(a: BigInteger)(implicit ev: Eq[BigInteger]): Boolean

Tests if a is one.

Tests if a is one.

Inherited from
MultiplicativeMonoid
def isZero(a: BigInteger)(implicit ev: Eq[BigInteger]): Boolean

Tests if a is zero.

Tests if a is zero.

Inherited from
AdditiveMonoid
override
def multiplicative: CommutativeMonoid[BigInteger]
Definition Classes
MultiplicativeCommutativeMonoid -> MultiplicativeCommutativeSemigroup -> MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeCommutativeMonoid
def product(as: IterableOnce[BigInteger]): BigInteger

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Inherited from
MultiplicativeMonoid
def sum(as: IterableOnce[BigInteger]): BigInteger

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Inherited from
AdditiveMonoid
override
def sumN(a: BigInteger, n: Int): BigInteger
Definition Classes
AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveGroup
override
def tryProduct(as: IterableOnce[BigInteger]): Option[BigInteger]
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeMonoid
override
def trySum(as: IterableOnce[BigInteger]): Option[BigInteger]
Definition Classes
AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveMonoid