Package cc.redberry.rings.poly.multivar

Class IMonomialAlgebra.MonomialAlgebraZp64

java.lang.Object

cc.redberry.rings.poly.multivar.IMonomialAlgebra.MonomialAlgebraZp64

All Implemented Interfaces:

IMonomialAlgebra<MonomialZp64>, Serializable

Enclosing interface:

IMonomialAlgebra<Term extends AMonomial<Term>>

public static class IMonomialAlgebra.MonomialAlgebraZp64
extends Object
implements IMonomialAlgebra<MonomialZp64>

Term algebra for terms over Zp

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface cc.redberry.rings.poly.multivar.IMonomialAlgebra

IMonomialAlgebra.MonomialAlgebra<E>, IMonomialAlgebra.MonomialAlgebraZp64

Field Summary

Fields

Modifier and Type	Field	Description
IntegersZp64	ring

Constructor Summary

Constructors

Constructor	Description
MonomialAlgebraZp64(IntegersZp64 ring)

Method Summary

Modifier and Type	Method	Description
MonomialZp64	create(int[] exponents)	creates term with specified exponents and unit coefficient
MonomialZp64	create(DegreeVector degreeVector)	creates term with specified exponents and unit coefficient
MonomialZp64[]	createArray(int length)	creates generic array of specified length
MonomialZp64	divideOrNull(MonomialZp64 dividend, MonomialZp64 divider)	Gives quotient dividend / divider or null if exact division is not possible
MonomialZp64	getUnitTerm(int nVariables)	creates a unit term
MonomialZp64	getZeroTerm(int nVariables)	creates a zero term
boolean	haveSameCoefficients(MonomialZp64 a, MonomialZp64 b)	whether two terms have the same coefficients
boolean	isOne(MonomialZp64 term)	Whether term is one
boolean	isPureDegreeVector(MonomialZp64 term)	Whether term has unit coefficient
boolean	isUnit(MonomialZp64 term)	Whether term is unit
boolean	isZero(MonomialZp64 term)	Whether term is zero
MonomialZp64	multiply(MonomialZp64 a, BigInteger b)	Multiplies term by a number
MonomialZp64	multiply(MonomialZp64 a, MonomialZp64 b)	Multiplies two terms
MonomialZp64	negate(MonomialZp64 term)	Negates term
MonomialZp64	pow(MonomialZp64 term, int exponent)	Raise term in a power of exponent

Methods inherited from class java.lang.Object

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

Methods inherited from interface cc.redberry.rings.poly.multivar.IMonomialAlgebra

divideExact, divideExact, isConstant

Field Detail

ring

public final IntegersZp64 ring

Constructor Detail

MonomialAlgebraZp64

public MonomialAlgebraZp64(IntegersZp64 ring)

Method Detail

multiply

public MonomialZp64 multiply(MonomialZp64 a,
                             BigInteger b)

Description copied from interface: IMonomialAlgebra

Multiplies term by a number

Specified by:

multiply in interface IMonomialAlgebra<MonomialZp64>

multiply

public MonomialZp64 multiply(MonomialZp64 a,
                             MonomialZp64 b)

Description copied from interface: IMonomialAlgebra

Multiplies two terms

Specified by:

multiply in interface IMonomialAlgebra<MonomialZp64>

divideOrNull

public MonomialZp64 divideOrNull(MonomialZp64 dividend,
                                 MonomialZp64 divider)

Description copied from interface: IMonomialAlgebra

Gives quotient dividend / divider or null if exact division is not possible

Specified by:

divideOrNull in interface IMonomialAlgebra<MonomialZp64>

pow

public MonomialZp64 pow(MonomialZp64 term,
                        int exponent)

Description copied from interface: IMonomialAlgebra

Raise term in a power of exponent

Specified by:

pow in interface IMonomialAlgebra<MonomialZp64>

Parameters:

term - the term

exponent - the exponent

Returns:

term^exponent

negate

public MonomialZp64 negate(MonomialZp64 term)

Description copied from interface: IMonomialAlgebra

Negates term

Specified by:

negate in interface IMonomialAlgebra<MonomialZp64>

isZero

public boolean isZero(MonomialZp64 term)

Description copied from interface: IMonomialAlgebra

Whether term is zero

Specified by:

isZero in interface IMonomialAlgebra<MonomialZp64>

isOne

public boolean isOne(MonomialZp64 term)

Description copied from interface: IMonomialAlgebra

Whether term is one

Specified by:

isOne in interface IMonomialAlgebra<MonomialZp64>

isUnit

public boolean isUnit(MonomialZp64 term)

Description copied from interface: IMonomialAlgebra

Whether term is unit

Specified by:

isUnit in interface IMonomialAlgebra<MonomialZp64>

isPureDegreeVector

public boolean isPureDegreeVector(MonomialZp64 term)

Description copied from interface: IMonomialAlgebra

Whether term has unit coefficient

Specified by:

isPureDegreeVector in interface IMonomialAlgebra<MonomialZp64>

create

public MonomialZp64 create(int[] exponents)

Description copied from interface: IMonomialAlgebra

creates term with specified exponents and unit coefficient

Specified by:

create in interface IMonomialAlgebra<MonomialZp64>

create

public MonomialZp64 create(DegreeVector degreeVector)

Description copied from interface: IMonomialAlgebra

creates term with specified exponents and unit coefficient

Specified by:

create in interface IMonomialAlgebra<MonomialZp64>

createArray

public MonomialZp64[] createArray(int length)

Description copied from interface: IMonomialAlgebra

creates generic array of specified length

Specified by:

createArray in interface IMonomialAlgebra<MonomialZp64>

getUnitTerm

public MonomialZp64 getUnitTerm(int nVariables)

Description copied from interface: IMonomialAlgebra

creates a unit term

Specified by:

getUnitTerm in interface IMonomialAlgebra<MonomialZp64>

getZeroTerm

public MonomialZp64 getZeroTerm(int nVariables)

Description copied from interface: IMonomialAlgebra

creates a zero term

Specified by:

getZeroTerm in interface IMonomialAlgebra<MonomialZp64>

haveSameCoefficients

public boolean haveSameCoefficients(MonomialZp64 a,
                                    MonomialZp64 b)

Description copied from interface: IMonomialAlgebra

whether two terms have the same coefficients

Specified by:

haveSameCoefficients in interface IMonomialAlgebra<MonomialZp64>