Package edu.jas.gbufd
Class SolvableGroebnerBasePseudoSeq<C extends GcdRingElem<C>>
- java.lang.Object
-
- edu.jas.gb.SolvableGroebnerBaseAbstract<C>
-
- edu.jas.gbufd.SolvableGroebnerBasePseudoSeq<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
SolvableGroebnerBase<C>
,java.io.Serializable
public class SolvableGroebnerBasePseudoSeq<C extends GcdRingElem<C>> extends SolvableGroebnerBaseAbstract<C>
Solvable Groebner Base with pseudo reduction sequential algorithm. Implements coefficient fraction free Groebner bases. Coefficients can for example be integers or (commutative) univariate polynomials.- Author:
- Heinz Kredel
- See Also:
GBAlgorithmBuilder
,GBFactory
, Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description protected RingFactory<C>
cofac
Coefficient ring factory.protected GreatestCommonDivisorAbstract<C>
engine
Greatest common divisor engine for coefficient content and primitive parts.protected SolvablePseudoReduction<C>
sred
Pseudo reduction engine.-
Fields inherited from class edu.jas.gb.SolvableGroebnerBaseAbstract
blas, cbb, red, strategy
-
-
Constructor Summary
Constructors Constructor Description SolvableGroebnerBasePseudoSeq(SolvablePseudoReduction<C> red, RingFactory<C> rf, PairList<C> pl)
Constructor.SolvableGroebnerBasePseudoSeq(RingFactory<C> rf)
Constructor.SolvableGroebnerBasePseudoSeq(RingFactory<C> rf, PairList<C> pl)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<GenSolvablePolynomial<C>>
leftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
Left Groebner base using pairlist class.java.util.List<GenSolvablePolynomial<C>>
leftMinimalGB(java.util.List<GenSolvablePolynomial<C>> Gp)
Minimal ordered Solvable Groebner basis.java.util.List<GenSolvablePolynomial<C>>
twosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> Fp)
Twosided Solvable Groebner base using pairlist class.-
Methods inherited from class edu.jas.gb.SolvableGroebnerBaseAbstract
cancel, commonZeroTest, constructUnivariate, constructUnivariate, extLeftGB, extLeftGB, extRightGB, extRightGB, isLeftGB, isLeftGB, isLeftGB, isLeftGB, isLeftGB, isLeftGB, isLeftGBidem, isLeftGBsimple, isLeftReductionMatrix, isLeftReductionMatrix, isRightGB, isRightGB, isRightGB, isRightGB, isRightGBidem, isRightGBidem, isTwosidedGB, isTwosidedGB, isTwosidedGB, isTwosidedGB, isTwosidedGBidem, isTwosidedGBidem, leftGB, leftGB, leftGB, normalizeZerosOnes, rightGB, rightGB, rightGB, rightMinimalGB, terminate, twosidedGB, twosidedGB, twosidedGB, univariateDegrees
-
-
-
-
Field Detail
-
engine
protected final GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
Greatest common divisor engine for coefficient content and primitive parts.
-
sred
protected final SolvablePseudoReduction<C extends GcdRingElem<C>> sred
Pseudo reduction engine.
-
cofac
protected final RingFactory<C extends GcdRingElem<C>> cofac
Coefficient ring factory.
-
-
Constructor Detail
-
SolvableGroebnerBasePseudoSeq
public SolvableGroebnerBasePseudoSeq(RingFactory<C> rf)
Constructor.- Parameters:
rf
- coefficient ring factory.
-
SolvableGroebnerBasePseudoSeq
public SolvableGroebnerBasePseudoSeq(RingFactory<C> rf, PairList<C> pl)
Constructor.- Parameters:
rf
- coefficient ring factory.pl
- pair selection strategy
-
SolvableGroebnerBasePseudoSeq
public SolvableGroebnerBasePseudoSeq(SolvablePseudoReduction<C> red, RingFactory<C> rf, PairList<C> pl)
Constructor.- Parameters:
red
- pseudo reduction engine. Note: red must be an instance of PseudoReductionSeq.rf
- coefficient ring factory.pl
- pair selection strategy
-
-
Method Detail
-
leftGB
public java.util.List<GenSolvablePolynomial<C>> leftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F)
Left Groebner base using pairlist class.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
leftMinimalGB
public java.util.List<GenSolvablePolynomial<C>> leftMinimalGB(java.util.List<GenSolvablePolynomial<C>> Gp)
Minimal ordered Solvable Groebner basis.- Specified by:
leftMinimalGB
in interfaceSolvableGroebnerBase<C extends GcdRingElem<C>>
- Overrides:
leftMinimalGB
in classSolvableGroebnerBaseAbstract<C extends GcdRingElem<C>>
- Parameters:
Gp
- a Solvable Groebner base.- Returns:
- a reduced Solvable Groebner base of Gp.
-
twosidedGB
public java.util.List<GenSolvablePolynomial<C>> twosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> Fp)
Twosided Solvable Groebner base using pairlist class.- Parameters:
modv
- number of module variables.Fp
- solvable polynomial list.- Returns:
- tsGB(Fp) a twosided Groebner base of Fp.
-
-