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 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 interfaceIMonomialAlgebra<MonomialZp64>
-
multiply
public MonomialZp64 multiply(MonomialZp64 a, MonomialZp64 b)
Description copied from interface:IMonomialAlgebra
Multiplies two terms- Specified by:
multiply
in interfaceIMonomialAlgebra<MonomialZp64>
-
divideOrNull
public MonomialZp64 divideOrNull(MonomialZp64 dividend, MonomialZp64 divider)
Description copied from interface:IMonomialAlgebra
Gives quotientdividend / divider
or null if exact division is not possible- Specified by:
divideOrNull
in interfaceIMonomialAlgebra<MonomialZp64>
-
pow
public MonomialZp64 pow(MonomialZp64 term, int exponent)
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
public MonomialZp64 negate(MonomialZp64 term)
Description copied from interface:IMonomialAlgebra
Negates term- Specified by:
negate
in interfaceIMonomialAlgebra<MonomialZp64>
-
isZero
public boolean isZero(MonomialZp64 term)
Description copied from interface:IMonomialAlgebra
Whether term is zero- Specified by:
isZero
in interfaceIMonomialAlgebra<MonomialZp64>
-
isOne
public boolean isOne(MonomialZp64 term)
Description copied from interface:IMonomialAlgebra
Whether term is one- Specified by:
isOne
in interfaceIMonomialAlgebra<MonomialZp64>
-
isUnit
public boolean isUnit(MonomialZp64 term)
Description copied from interface:IMonomialAlgebra
Whether term is unit- Specified by:
isUnit
in interfaceIMonomialAlgebra<MonomialZp64>
-
isPureDegreeVector
public boolean isPureDegreeVector(MonomialZp64 term)
Description copied from interface:IMonomialAlgebra
Whether term has unit coefficient- Specified by:
isPureDegreeVector
in interfaceIMonomialAlgebra<MonomialZp64>
-
create
public MonomialZp64 create(int[] exponents)
Description copied from interface:IMonomialAlgebra
creates term with specified exponents and unit coefficient- Specified by:
create
in interfaceIMonomialAlgebra<MonomialZp64>
-
create
public MonomialZp64 create(DegreeVector degreeVector)
Description copied from interface:IMonomialAlgebra
creates term with specified exponents and unit coefficient- Specified by:
create
in interfaceIMonomialAlgebra<MonomialZp64>
-
createArray
public MonomialZp64[] createArray(int length)
Description copied from interface:IMonomialAlgebra
creates generic array of specified length- Specified by:
createArray
in interfaceIMonomialAlgebra<MonomialZp64>
-
getUnitTerm
public MonomialZp64 getUnitTerm(int nVariables)
Description copied from interface:IMonomialAlgebra
creates a unit term- Specified by:
getUnitTerm
in interfaceIMonomialAlgebra<MonomialZp64>
-
getZeroTerm
public MonomialZp64 getZeroTerm(int nVariables)
Description copied from interface:IMonomialAlgebra
creates a zero term- Specified by:
getZeroTerm
in interfaceIMonomialAlgebra<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 interfaceIMonomialAlgebra<MonomialZp64>
-
-