JSci.maths.fields
Class IntegerRing

java.lang.Object
  JSci.maths.fields.IntegerRing

All Implemented Interfaces:

AbelianGroup, Ring

public final class IntegerRing

extends java.lang.Object

implements Ring

The IntegerRing class encapsulates the ring of integer numbers.

Nested Class Summary

Nested classes inherited from class JSci.maths.fields.Ring

Ring.Member

Field Summary

static MathInteger	ONE
static MathInteger	ZERO

Method Summary

static IntegerRing	getInstance() Constructs a ring of integer numbers.
boolean	isNegative(AbelianGroup.Member a, AbelianGroup.Member b) Returns true if one integer number is the negative of the other.
boolean	isOne(Ring.Member r) Returns true if the integer number is equal to one.
boolean	isZero(AbelianGroup.Member g) Returns true if the integer number is equal to zero.
Ring.Member	one() Returns the integer number one.
AbelianGroup.Member	zero() Returns the integer number zero.

Methods inherited from class java.lang.Object

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

Field Detail

ZERO

public static final MathInteger ZERO

ONE

public static final MathInteger ONE

Method Detail

getInstance

public static final IntegerRing getInstance()

Constructs a ring of integer numbers. Singleton.

zero

public AbelianGroup.Member zero()

Returns the integer number zero.

Specified by:

zero in interface AbelianGroup

isZero

public boolean isZero(AbelianGroup.Member g)

Returns true if the integer number is equal to zero.

Specified by:

isZero in interface AbelianGroup

Parameters:

g - a group member

isNegative

public boolean isNegative(AbelianGroup.Member a,
                          AbelianGroup.Member b)

Returns true if one integer number is the negative of the other.

Specified by:

isNegative in interface AbelianGroup

Parameters:

a - a group member

b - a group member

one

public Ring.Member one()

Returns the integer number one.

Specified by:

one in interface Ring

isOne

public boolean isOne(Ring.Member r)

Returns true if the integer number is equal to one.

Specified by:

isOne in interface Ring