edu.jas.gb
Class CriticalPair<C extends RingElem<C>>

java.lang.Object
  edu.jas.gb.AbstractPair<C>
      edu.jas.gb.CriticalPair<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

java.io.Serializable

public class CriticalPair<C extends RingElem<C>>
extends AbstractPair<C>
implements java.io.Serializable

Serializable subclass to hold critical pairs of polynomials. Used also to manage reduction status of the pair.

Author:

Heinz Kredel.

See Also:

Serialized Form

Field Summary

protected boolean	inReduction
protected GenPolynomial<C>	reductum

Fields inherited from class edu.jas.gb.AbstractPair

e, i, j, pi, pj

Constructor Summary

CriticalPair(ExpVector e, GenPolynomial<C> pi, GenPolynomial<C> pj, int i, int j)
CriticalPair constructor.

Method Summary

boolean	getInReduction() Get in reduction status.
GenPolynomial<C>	getReductum() Get reduced polynomial.
boolean	isONE() Is reduced to one.
boolean	isZERO() Is reduced to zero.
void	setInReduction() Set in reduction status.
void	setReductum(GenPolynomial<C> r) Set reduced polynomial.
java.lang.String	toString() toString.

Methods inherited from class java.lang.Object

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

Field Detail

inReduction

protected volatile boolean inReduction

reductum

protected volatile GenPolynomial<C extends RingElem<C>> reductum

Constructor Detail

CriticalPair

public CriticalPair(ExpVector e,
                    GenPolynomial<C> pi,
                    GenPolynomial<C> pj,
                    int i,
                    int j)

CriticalPair constructor.

Parameters:

e - lcm(lt(pi),lt(pj).

pi - polynomial i.

pj - polynomial j.

i - index of pi.

j - index pf pj.

Method Detail

toString

public java.lang.String toString()

toString.

Overrides:

toString in class AbstractPair<C extends RingElem<C>>

setInReduction

public void setInReduction()

Set in reduction status. inReduction is set to true.

getInReduction

public boolean getInReduction()

Get in reduction status.

Returns:

true if the polynomial is currently in reduction, else false.

getReductum

public GenPolynomial<C> getReductum()

Get reduced polynomial.

Returns:

the reduced polynomial or null if not done.

setReductum

public void setReductum(GenPolynomial<C> r)

Set reduced polynomial.

Parameters:

r - the reduced polynomial.

isZERO

public boolean isZERO()

Is reduced to zero.

Returns:

true if the S-polynomial of this CriticalPair was reduced to ZERO, else false.

isONE

public boolean isONE()

Is reduced to one.

Returns:

true if the S-polynomial of this CriticalPair was reduced to ONE, else false.