Package dk.jonaslindstrom.ruffini.common.util

Class TestUtils.TestBigIntegers

java.lang.Object

dk.jonaslindstrom.ruffini.common.util.TestUtils.TestBigIntegers

All Implemented Interfaces:

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

Enclosing class:

TestUtils

public static class TestUtils.TestBigIntegers
extends Object
implements EuclideanDomain<BigInteger>

Constructor Summary

Constructors

Constructor	Description
TestBigIntegers()

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.
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(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, toString, 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.Semigroup

multiply, multiply

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

integer, multiply, multiply

Constructor Details

TestBigIntegers

public TestBigIntegers()

Method Details

negate

public BigInteger negate(BigInteger a)

Description copied from interface: AdditiveGroup

Return -a.

Specified by:

negate in interface AdditiveGroup<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>

zero

public BigInteger zero()

Description copied from interface: CommutativeMonoid

Return the zero element.

Specified by:

zero in interface CommutativeMonoid<BigInteger>

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>

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>