Package cc.redberry.rings.poly.multivar

Class IMonomialAlgebra.MonomialAlgebra<E>

java.lang.Object

cc.redberry.rings.poly.multivar.IMonomialAlgebra.MonomialAlgebra<E>

All Implemented Interfaces:

IMonomialAlgebra<Monomial<E>>, Serializable

Enclosing interface:

IMonomialAlgebra<Term extends AMonomial<Term>>

public static class IMonomialAlgebra.MonomialAlgebra<E>
extends Object
implements IMonomialAlgebra<Monomial<E>>

Generic term algebra

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
Ring<E>	ring

Constructor Summary

Constructors

Constructor	Description
MonomialAlgebra(Ring<E> ring)

Method Summary

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

ring

public final Ring<E> ring

Constructor Details

MonomialAlgebra

public MonomialAlgebra(Ring<E> ring)

Method Details

multiply

public Monomial<E> multiply(Monomial<E> a,
Monomial<E> b)

Description copied from interface: IMonomialAlgebra

Multiplies two terms

Specified by:

multiply in interface IMonomialAlgebra<E>

multiply

public Monomial<E> multiply(Monomial<E> a,
BigInteger b)

Description copied from interface: IMonomialAlgebra

Multiplies term by a number

Specified by:

multiply in interface IMonomialAlgebra<E>

divideOrNull

public Monomial<E> divideOrNull(Monomial<E> dividend,
Monomial<E> divider)

Description copied from interface: IMonomialAlgebra

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

Specified by:

divideOrNull in interface IMonomialAlgebra<E>

pow

public Monomial<E> pow(Monomial<E> term,
int exponent)

Description copied from interface: IMonomialAlgebra

Raise term in a power of exponent

Specified by:

pow in interface IMonomialAlgebra<E>

Parameters:

term - the term

exponent - the exponent

Returns:

term^exponent

negate

public Monomial<E> negate(Monomial<E> term)

Description copied from interface: IMonomialAlgebra

Negates term

Specified by:

negate in interface IMonomialAlgebra<E>

isZero

public boolean isZero(Monomial<E> term)

Description copied from interface: IMonomialAlgebra

Whether term is zero

Specified by:

isZero in interface IMonomialAlgebra<E>

isOne

public boolean isOne(Monomial<E> term)

Description copied from interface: IMonomialAlgebra

Whether term is one

Specified by:

isOne in interface IMonomialAlgebra<E>

isUnit

public boolean isUnit(Monomial<E> term)

Description copied from interface: IMonomialAlgebra

Whether term is unit

Specified by:

isUnit in interface IMonomialAlgebra<E>

isPureDegreeVector

public boolean isPureDegreeVector(Monomial<E> term)

Description copied from interface: IMonomialAlgebra

Whether term has unit coefficient

Specified by:

isPureDegreeVector in interface IMonomialAlgebra<E>

create

public Monomial<E> create(int[] exponents)

Description copied from interface: IMonomialAlgebra

creates term with specified exponents and unit coefficient

Specified by:

create in interface IMonomialAlgebra<E>

create

public Monomial<E> create(DegreeVector degreeVector)

Description copied from interface: IMonomialAlgebra

creates term with specified exponents and unit coefficient

Specified by:

create in interface IMonomialAlgebra<E>

createArray

public Monomial<E>[] createArray(int length)

Description copied from interface: IMonomialAlgebra

creates generic array of specified length

Specified by:

createArray in interface IMonomialAlgebra<E>

getUnitTerm

public Monomial<E> getUnitTerm(int nVariables)

Description copied from interface: IMonomialAlgebra

creates a unit term

Specified by:

getUnitTerm in interface IMonomialAlgebra<E>

getZeroTerm

public Monomial<E> getZeroTerm(int nVariables)

Description copied from interface: IMonomialAlgebra

creates a zero term

Specified by:

getZeroTerm in interface IMonomialAlgebra<E>

haveSameCoefficients

public boolean haveSameCoefficients(Monomial<E> a,
Monomial<E> b)

Description copied from interface: IMonomialAlgebra

whether two terms have the same coefficients

Specified by:

haveSameCoefficients in interface IMonomialAlgebra<E>