Package com.singularsys.extensions.field.implementations

Class BigModulusField

java.lang.Object

com.singularsys.extensions.field.AbstractComparativeField

com.singularsys.extensions.field.implementations.GenericField<BigInteger>

com.singularsys.extensions.field.implementations.BigModulusField

All Implemented Interfaces:

FieldI, IntegerConvertor, Serializable

public class BigModulusField
extends GenericField<BigInteger>

A field to work with modulus values of any value, used BigInteger.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
BigModulusField(BigInteger modulus)

Method Summary

Modifier and Type	Method	Description
BigInteger	addG(BigInteger l, BigInteger r)	Adds two elements of type E.
BigInteger	cast(Object l)	Convert the input to type E.
Integer	cmpG(BigInteger l, BigInteger r)	Not implemented for this field.
BigInteger	convertFromInt(Integer l)	Attempt to convert argument from an integer
Integer	convertToIntE(BigInteger l)	If possible convert the argument to an Integer to enable integral powers.
BigInteger	divG(BigInteger l, BigInteger r)	Divides two elements of type E.
Boolean	eq(Object lo, Object ro)	Equals
Boolean	ge(Object l, Object r)	Not implemented for this field.
BigInteger	getOne()	Get the multiplicative identity for this field.
BigInteger	getZero()	Get the additive identity for this field
Boolean	gt(Object l, Object r)	Not implemented for this field.
Boolean	le(Object l, Object r)	Not implemented for this field.
Boolean	lt(Object l, Object r)	Not implemented for this field.
BigInteger	modG(BigInteger l, BigInteger r)	Modulus of two elements of type E.
BigInteger	mulG(BigInteger l, BigInteger r)	Multiplies two elements of type E.
Boolean	ne(Object lo, Object ro)	Not Equals
BigInteger	negG(BigInteger l)	Negates an elements of type E.
BigInteger	powG(BigInteger l, BigInteger r)	Raises l to the power of r
BigInteger	subG(BigInteger l, BigInteger r)	Subtracts two elements of type E.

Methods inherited from class com.singularsys.extensions.field.implementations.GenericField

add, and, cmp, convertToInt, div, mod, mul, neg, not, or, pow, sub

Methods inherited from class java.lang.Object

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

Constructor Details

BigModulusField

public BigModulusField(BigInteger modulus)

Method Details

cast

public BigInteger cast(Object l)

Description copied from class: GenericField

Convert the input to type E.

Specified by:

cast in class GenericField<BigInteger>

Parameters:

l -

Returns:

l if l is a BigInteger modulo the modulus, null otherwise

addG

public BigInteger addG(BigInteger l,
 BigInteger r)

Description copied from class: GenericField

Adds two elements of type E.

Specified by:

addG in class GenericField<BigInteger>

Parameters:

l - lhs argument

r - rhs argument

Returns:

the sum

subG

public BigInteger subG(BigInteger l,
 BigInteger r)

Description copied from class: GenericField

Subtracts two elements of type E.

Specified by:

subG in class GenericField<BigInteger>

Parameters:

l - lhs argument

r - rhs argument

Returns:

the difference

negG

public BigInteger negG(BigInteger l)

Description copied from class: GenericField

Negates an elements of type E.

Specified by:

negG in class GenericField<BigInteger>

Parameters:

l - the argument

Returns:

the negation

mulG

public BigInteger mulG(BigInteger l,
 BigInteger r)

Description copied from class: GenericField

Multiplies two elements of type E.

Specified by:

mulG in class GenericField<BigInteger>

Parameters:

l - lhs argument

r - rhs argument

Returns:

the product

divG

public BigInteger divG(BigInteger l,
 BigInteger r)

Description copied from class: GenericField

Divides two elements of type E.

Specified by:

divG in class GenericField<BigInteger>

Parameters:

l - numerator

r - denominator

Returns:

the division

modG

public BigInteger modG(BigInteger l,
 BigInteger r)

Description copied from class: GenericField

Modulus of two elements of type E.

Specified by:

modG in class GenericField<BigInteger>

Parameters:

l - lhs argument

r - rhs argument

Returns:

the modulus

powG

public BigInteger powG(BigInteger l,
 BigInteger r)

Description copied from class: GenericField

Raises l to the power of r

Specified by:

powG in class GenericField<BigInteger>

Parameters:

l - lhs argument

r - rhs argument

Returns:

the power

cmpG

public Integer cmpG(BigInteger l,
 BigInteger r)

Not implemented for this field.

Specified by:

cmpG in class GenericField<BigInteger>

Parameters:

l - left argument

r - right argument

Returns:

-1, 0, 1 or null

eq

public Boolean eq(Object lo,
 Object ro)

Description copied from interface: FieldI

Equals

Specified by:

eq in interface FieldI

Overrides:

eq in class AbstractComparativeField

Parameters:

lo - left-hand argument

ro - right-hand argument

Returns:

an object representing the result or null if it can not be evaluated.

ne

public Boolean ne(Object lo,
 Object ro)

Description copied from interface: FieldI

Not Equals

Specified by:

ne in interface FieldI

Overrides:

ne in class AbstractComparativeField

Parameters:

lo - left-hand argument

ro - right-hand argument

Returns:

an object representing the result or null if it can not be evaluated.

gt

public Boolean gt(Object l,
 Object r)

Not implemented for this field.

Specified by:

gt in interface FieldI

Overrides:

gt in class AbstractComparativeField

Parameters:

l - left-hand argument

r - right-hand argument

Returns:

an object representing the result or null if it can not be evaluated.

ge

public Boolean ge(Object l,
 Object r)

Not implemented for this field.

Specified by:

ge in interface FieldI

Overrides:

ge in class AbstractComparativeField

Parameters:

l - left-hand argument

r - right-hand argument

Returns:

an object representing the result or null if it can not be evaluated.

lt

public Boolean lt(Object l,
 Object r)

Not implemented for this field.

Specified by:

lt in interface FieldI

Overrides:

lt in class AbstractComparativeField

Parameters:

l - left-hand argument

r - right-hand argument

Returns:

an object representing the result or null if it can not be evaluated.

le

public Boolean le(Object l,
 Object r)

Not implemented for this field.

Specified by:

le in interface FieldI

Overrides:

le in class AbstractComparativeField

Parameters:

l - left-hand argument

r - right-hand argument

Returns:

an object representing the result or null if it can not be evaluated.

getOne

public BigInteger getOne()

Description copied from interface: FieldI

Get the multiplicative identity for this field.

Specified by:

getOne in interface FieldI

Specified by:

getOne in class GenericField<BigInteger>

Returns:

object representing one or null if undefined for this field

getZero

public BigInteger getZero()

Description copied from interface: FieldI

Get the additive identity for this field

Specified by:

getZero in interface FieldI

Specified by:

getZero in class GenericField<BigInteger>

Returns:

object representing zero or null if undefined for this field

convertToIntE

public Integer convertToIntE(BigInteger l)

Description copied from class: GenericField

If possible convert the argument to an Integer to enable integral powers. If the argument cannot be converted null should be returned and the powG(E,E) method will be called.

Specified by:

convertToIntE in class GenericField<BigInteger>

Parameters:

l - argument to convert.

Returns:

an integer or null if argument cannot be converted

convertFromInt

public BigInteger convertFromInt(Integer l)

Description copied from interface: IntegerConvertor

Attempt to convert argument from an integer

Specified by:

convertFromInt in interface IntegerConvertor

Specified by:

convertFromInt in class GenericField<BigInteger>

Parameters:

l - value to convert

Returns:

corresponding value in this field or null if it cannot be converted