BigIntAlgebra

algebra.instances.BigIntAlgebra

Attributes

Source:
bigInt.scala
Graph
Supertypes
Known subtypes

Members list

Concise view

Value members

Concrete methods

def emod(a: BigInt, b: BigInt): BigInt

Attributes

Source:
bigInt.scala
def equot(a: BigInt, b: BigInt): BigInt

Attributes

Source:
bigInt.scala
override def equotmod(a: BigInt, b: BigInt): (BigInt, BigInt)

Attributes

Definition Classes
Source:
bigInt.scala

Attributes

Source:
bigInt.scala
override def fromBigInt(n: BigInt): BigInt

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:
bigInt.scala
override def fromInt(n: Int): BigInt

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:
bigInt.scala
override def gcd(a: BigInt, b: BigInt)(implicit ev: Eq[BigInt]): BigInt

Attributes

Definition Classes
Source:
bigInt.scala
override def lcm(a: BigInt, b: BigInt)(implicit ev: Eq[BigInt]): BigInt

Attributes

Definition Classes
Source:
bigInt.scala
override def minus(a: BigInt, b: BigInt): BigInt

Attributes

Definition Classes
Source:
bigInt.scala

Attributes

Source:
bigInt.scala
def plus(a: BigInt, b: BigInt): BigInt

Attributes

Source:
bigInt.scala
override def pow(a: BigInt, k: Int): BigInt

Attributes

Definition Classes
Source:
bigInt.scala
def times(a: BigInt, b: BigInt): BigInt

Attributes

Source:
bigInt.scala

Inherited methods

def isOne(a: BigInt)(implicit ev: Eq[BigInt]): Boolean

Tests if a is one.

Tests if a is one.

Attributes

Inherited from:
MultiplicativeMonoid
Source:
Multiplicative.scala
def isZero(a: BigInt)(implicit ev: Eq[BigInt]): Boolean

Tests if a is zero.

Tests if a is zero.

Attributes

Inherited from:
AdditiveMonoid
Source:
Additive.scala

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Attributes

Inherited from:
MultiplicativeMonoid
Source:
Multiplicative.scala
def sum(as: IterableOnce[BigInt]): A

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Attributes

Inherited from:
AdditiveMonoid
Source:
Additive.scala
override def sumN(a: BigInt, n: Int): A

Attributes

Definition Classes
Inherited from:
AdditiveGroup
Source:
Additive.scala
override def tryProduct(as: IterableOnce[BigInt]): Option[A]

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
override def trySum(as: IterableOnce[BigInt]): Option[A]

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

Concrete fields

val one: BigInt

Attributes

Source:
bigInt.scala

Attributes

Source:
bigInt.scala