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 coefficientMonomialZp64
create(DegreeVector degreeVector)
creates term with specified exponents and unit coefficientMonomialZp64[]
createArray(int length)
creates generic array of specified lengthMonomialZp64
divideOrNull(MonomialZp64 dividend, MonomialZp64 divider)
Gives quotientdividend / divider
or null if exact division is not possibleMonomialZp64
getUnitTerm(int nVariables)
creates a unit termMonomialZp64
getZeroTerm(int nVariables)
creates a zero termboolean
haveSameCoefficients(MonomialZp64 a, MonomialZp64 b)
whether two terms have the same coefficientsboolean
isOne(MonomialZp64 term)
Whether term is oneboolean
isPureDegreeVector(MonomialZp64 term)
Whether term has unit coefficientboolean
isUnit(MonomialZp64 term)
Whether term is unitboolean
isZero(MonomialZp64 term)
Whether term is zeroMonomialZp64
multiply(MonomialZp64 a, BigInteger b)
Multiplies term by a numberMonomialZp64
multiply(MonomialZp64 a, MonomialZp64 b)
Multiplies two termsMonomialZp64
negate(MonomialZp64 term)
Negates termMonomialZp64
pow(MonomialZp64 term, int exponent)
Raise term in a power ofexponent
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
-
-
Constructor Details
-
MonomialAlgebraZp64
-
-
Method Details
-
multiply
Description copied from interface:IMonomialAlgebra
Multiplies term by a number- Specified by:
multiply
in interfaceIMonomialAlgebra<MonomialZp64>
-
multiply
Description copied from interface:IMonomialAlgebra
Multiplies two terms- Specified by:
multiply
in interfaceIMonomialAlgebra<MonomialZp64>
-
divideOrNull
Description copied from interface:IMonomialAlgebra
Gives quotientdividend / divider
or null if exact division is not possible- Specified by:
divideOrNull
in interfaceIMonomialAlgebra<MonomialZp64>
-
pow
Description copied from interface:IMonomialAlgebra
Raise term in a power ofexponent
- Specified by:
pow
in interfaceIMonomialAlgebra<MonomialZp64>
- Parameters:
term
- the termexponent
- the exponent- Returns:
term^exponent
-
negate
Description copied from interface:IMonomialAlgebra
Negates term- Specified by:
negate
in interfaceIMonomialAlgebra<MonomialZp64>
-
isZero
Description copied from interface:IMonomialAlgebra
Whether term is zero- Specified by:
isZero
in interfaceIMonomialAlgebra<MonomialZp64>
-
isOne
Description copied from interface:IMonomialAlgebra
Whether term is one- Specified by:
isOne
in interfaceIMonomialAlgebra<MonomialZp64>
-
isUnit
Description copied from interface:IMonomialAlgebra
Whether term is unit- Specified by:
isUnit
in interfaceIMonomialAlgebra<MonomialZp64>
-
isPureDegreeVector
Description copied from interface:IMonomialAlgebra
Whether term has unit coefficient- Specified by:
isPureDegreeVector
in interfaceIMonomialAlgebra<MonomialZp64>
-
create
Description copied from interface:IMonomialAlgebra
creates term with specified exponents and unit coefficient- Specified by:
create
in interfaceIMonomialAlgebra<MonomialZp64>
-
create
Description copied from interface:IMonomialAlgebra
creates term with specified exponents and unit coefficient- Specified by:
create
in interfaceIMonomialAlgebra<MonomialZp64>
-
createArray
Description copied from interface:IMonomialAlgebra
creates generic array of specified length- Specified by:
createArray
in interfaceIMonomialAlgebra<MonomialZp64>
-
getUnitTerm
Description copied from interface:IMonomialAlgebra
creates a unit term- Specified by:
getUnitTerm
in interfaceIMonomialAlgebra<MonomialZp64>
-
getZeroTerm
Description copied from interface:IMonomialAlgebra
creates a zero term- Specified by:
getZeroTerm
in interfaceIMonomialAlgebra<MonomialZp64>
-
haveSameCoefficients
Description copied from interface:IMonomialAlgebra
whether two terms have the same coefficients- Specified by:
haveSameCoefficients
in interfaceIMonomialAlgebra<MonomialZp64>
-