Package dk.jonaslindstrom.ruffini.integers.structures

Class BigIntegers

java.lang.Object

dk.jonaslindstrom.ruffini.integers.structures.BigIntegers

All Implemented Interfaces:

AdditiveGroup<BigInteger>, CommutativeMonoid<BigInteger>, EuclideanDomain<BigInteger>, Monoid<BigInteger>, OrderedSet<BigInteger>, Ring<BigInteger>, Semigroup<BigInteger>, SemiRing<BigInteger>, Set<BigInteger>

public class BigIntegers
extends Object
implements EuclideanDomain<BigInteger>, OrderedSet<BigInteger>

Method Summary

Modifier and Type	Method	Description
BigInteger	add(BigInteger a, BigInteger b)	Return the result of a+b.
Pair<BigInteger,BigInteger>	divide(BigInteger a, BigInteger b)	Returns a pair (q, r) such that a = qb + r and 0 ≤ f(r) < f(b) where f is the Euclidean function (see EuclideanDomain.norm(E) for this domain.
boolean	equals(BigInteger a, BigInteger b)	Returns true if and only if a = b as elements of this set.
static BigIntegers	getInstance()
Comparator<BigInteger>	getOrdering()
BigInteger	identity()	Return the identity element of this monoid.
BigInteger	multiply(BigInteger a, BigInteger b)	Return the result of the product ab in this group.
BigInteger	negate(BigInteger a)	Return -a.
BigInteger	norm(BigInteger a)	The euclidean function is a multiplicative map that maps elements of the domain to the integers and is used in the division of EuclideanDomain.divide(E, E).
String	toString()
String	toString(BigInteger a)	Returns a human-readable string representation of an element in this set.
BigInteger	zero()	Return the zero element.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.AdditiveGroup

doubling, isZero, scale, scale, subtract, sum

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.CommutativeMonoid

add, add

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.EuclideanDomain

abs, divide, divideExact, divideExact, divides, mod, mod

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Monoid

isIdentity, power

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.OrderedSet

greaterThan, greaterThanOrEqual, lessThan, lessThanOrEqual

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Semigroup

multiply, multiply

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.SemiRing

integer, multiply, multiply

Method Details

getInstance

public static BigIntegers getInstance()

identity

public BigInteger identity()

Description copied from interface: Monoid

Return the identity element of this monoid.

Specified by:

identity in interface Monoid<BigInteger>

multiply

public BigInteger multiply(BigInteger a,
 BigInteger b)

Description copied from interface: Semigroup

Return the result of the product ab in this group.

Specified by:

multiply in interface Semigroup<BigInteger>

toString

public String toString(BigInteger a)

Description copied from interface: Set

Returns a human-readable string representation of an element in this set.

Specified by:

toString in interface Set<BigInteger>

equals

public boolean equals(BigInteger a,
 BigInteger b)

Description copied from interface: Set

Returns true if and only if a = b as elements of this set.

Specified by:

equals in interface Set<BigInteger>

add

public BigInteger add(BigInteger a,
 BigInteger b)

Description copied from interface: CommutativeMonoid

Return the result of a+b.

Specified by:

add in interface CommutativeMonoid<BigInteger>

negate

public BigInteger negate(BigInteger a)

Description copied from interface: AdditiveGroup

Return -a.

Specified by:

negate in interface AdditiveGroup<BigInteger>

zero

public BigInteger zero()

Description copied from interface: CommutativeMonoid

Return the zero element.

Specified by:

zero in interface CommutativeMonoid<BigInteger>

divide

public Pair<BigInteger,BigInteger> divide(BigInteger a,
 BigInteger b)

Description copied from interface: EuclideanDomain

Returns a pair (q, r) such that a = qb + r and 0 ≤ f(r) < f(b) where f is the Euclidean function (see EuclideanDomain.norm(E) for this domain.

Specified by:

divide in interface EuclideanDomain<BigInteger>

norm

public BigInteger norm(BigInteger a)

Description copied from interface: EuclideanDomain

The euclidean function is a multiplicative map that maps elements of the domain to the integers and is used in the division of EuclideanDomain.divide(E, E).

Specified by:

norm in interface EuclideanDomain<BigInteger>

toString

public String toString()

Overrides:

toString in class Object

getOrdering

public Comparator<BigInteger> getOrdering()

Specified by:

getOrdering in interface OrderedSet<BigInteger>