edu.jas.gbufd
Class GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>

java.lang.Object
  extended by edu.jas.gb.GroebnerBaseAbstract<GenPolynomial<C>>
      extended by edu.jas.gbufd.GroebnerBasePseudoRecSeq<C>
Type Parameters:
C - base coefficient type
All Implemented Interfaces:
GroebnerBase<GenPolynomial<C>>, java.io.Serializable

public class GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>
extends GroebnerBaseAbstract<GenPolynomial<C>>

Groebner Base with pseudo reduction sequential algorithm for integral function coeffcients. Implements Groebner bases and GB test.

Author:
Heinz Kredel
See Also:
Serialized Form

Field Summary
protected  RingFactory<C> baseCofac
          Base coefficient ring factory.
protected  RingFactory<GenPolynomial<C>> cofac
          Coefficient ring factory.
protected  GreatestCommonDivisorAbstract<C> engine
          Greatest common divisor engine for coefficient content and primitive parts.
protected  PseudoReduction<GenPolynomial<C>> red
          Pseudo reduction engine.
 
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, strategy
 
Constructor Summary
GroebnerBasePseudoRecSeq(PseudoReduction<GenPolynomial<C>> red, RingFactory<GenPolynomial<C>> rf)
          Constructor.
GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
          Constructor.
 
Method Summary
 java.util.List<GenPolynomial<GenPolynomial<C>>> GB(int modv, java.util.List<GenPolynomial<GenPolynomial<C>>> F)
          Groebner base using pairlist class.
 java.util.List<GenPolynomial<GenPolynomial<C>>> minimalGB(java.util.List<GenPolynomial<GenPolynomial<C>>> Gp)
          Minimal ordered Groebner basis.
 
Methods inherited from class edu.jas.gb.GroebnerBaseAbstract
cancel, commonZeroTest, extGB, extGB, GB, isGB, isGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, terminate
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

engine

protected final GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
Greatest common divisor engine for coefficient content and primitive parts.


red

protected final PseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> red
Pseudo reduction engine.


cofac

protected final RingFactory<GenPolynomial<C extends GcdRingElem<C>>> cofac
Coefficient ring factory.


baseCofac

protected final RingFactory<C extends GcdRingElem<C>> baseCofac
Base coefficient ring factory.

Constructor Detail

GroebnerBasePseudoRecSeq

public GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
Constructor.

Parameters:
rf - coefficient ring factory.

GroebnerBasePseudoRecSeq

public GroebnerBasePseudoRecSeq(PseudoReduction<GenPolynomial<C>> red,
                                RingFactory<GenPolynomial<C>> rf)
Constructor.

Parameters:
red - pseudo reduction engine.
rf - coefficient ring factory. Note: red must be an instance of PseudoReductionSeq.
Method Detail

GB

public java.util.List<GenPolynomial<GenPolynomial<C>>> GB(int modv,
                                                          java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Groebner base using pairlist class.

Parameters:
modv - module variable number.
F - polynomial list.
Returns:
GB(F) a Groebner base of F.

minimalGB

public java.util.List<GenPolynomial<GenPolynomial<C>>> minimalGB(java.util.List<GenPolynomial<GenPolynomial<C>>> Gp)
Minimal ordered Groebner basis.

Specified by:
minimalGB in interface GroebnerBase<GenPolynomial<C extends GcdRingElem<C>>>
Overrides:
minimalGB in class GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
Parameters:
Gp - a Groebner base.
Returns:
a reduced Groebner base of Gp.