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

All Methods Instance Methods Concrete Methods
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 Detail
  - ring
```
public final Ring<E> ring
```
- Constructor Detail
  - MonomialAlgebra
```
public MonomialAlgebra(Ring<E> ring)
```
- Method Detail
  - 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>

Class IMonomialAlgebra.MonomialAlgebra<E>

Nested Class Summary

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

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

ring

Constructor Detail

MonomialAlgebra

Method Detail

multiply

multiply

divideOrNull

pow

negate

isZero

isOne

isUnit

isPureDegreeVector

create

create

createArray

getUnitTerm

getZeroTerm

haveSameCoefficients