Package 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>
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
Fields Modifier and Type Field Description protected boolean
inReduction
protected GenPolynomial<C>
reductum
-
Constructor Summary
Constructors Constructor Description CriticalPair(ExpVector e, GenPolynomial<C> pi, GenPolynomial<C> pj, int i, int j)
CriticalPair constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description 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 edu.jas.gb.AbstractPair
maxIndex
-
-
-
-
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 classAbstractPair<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.
-
-