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

java.lang.Object
  edu.jas.ring.CriticalPair<C>

All Implemented Interfaces:

java.io.Serializable

public class CriticalPair<C extends RingElem<C>>
extends java.lang.Object
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

Type parameter:

C coefficient factory.

Field Summary

ExpVector	e
int	i
protected boolean	inReduction
int	j
GenPolynomial<C>	pi
GenPolynomial<C>	pj
protected GenPolynomial<C>	reductum

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

e

public final ExpVector e

pi

public final GenPolynomial<C extends RingElem<C>> pi

pj

public final GenPolynomial<C extends RingElem<C>> pj

i

public final int i

j

public final int j

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 java.lang.Object

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.