|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.jas.gb.GroebnerBaseAbstract<GenPolynomial<C>>
edu.jas.gbufd.GroebnerBasePseudoRecSeq<C>
C
- base coefficient typepublic class GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>
Groebner Base with pseudo reduction sequential algorithm for integral function coeffcients. Implements Groebner bases and GB test.
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 |
---|
protected final GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
protected final PseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> red
protected final RingFactory<GenPolynomial<C extends GcdRingElem<C>>> cofac
protected final RingFactory<C extends GcdRingElem<C>> baseCofac
Constructor Detail |
---|
public GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
rf
- coefficient ring factory.public GroebnerBasePseudoRecSeq(PseudoReduction<GenPolynomial<C>> red, RingFactory<GenPolynomial<C>> rf)
red
- pseudo reduction engine.rf
- coefficient ring factory. Note: red must be an instance
of PseudoReductionSeq.Method Detail |
---|
public java.util.List<GenPolynomial<GenPolynomial<C>>> GB(int modv, java.util.List<GenPolynomial<GenPolynomial<C>>> F)
modv
- module variable number.F
- polynomial list.
public java.util.List<GenPolynomial<GenPolynomial<C>>> minimalGB(java.util.List<GenPolynomial<GenPolynomial<C>>> Gp)
minimalGB
in interface GroebnerBase<GenPolynomial<C extends GcdRingElem<C>>>
minimalGB
in class GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
Gp
- a Groebner base.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |