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>
,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.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final RingFactory
<C> Coefficient ring factory.private static final boolean
protected final GreatestCommonDivisorAbstract
<C> Greatest common divisor engine for coefficient content and primitive parts.private static final org.apache.logging.log4j.Logger
protected final SolvablePseudoReduction
<C> Pseudo reduction engine.Fields inherited from class edu.jas.gb.SolvableGroebnerBaseAbstract
blas, cbb, red, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionSolvableGroebnerBasePseudoSeq
(SolvablePseudoReduction<C> red, RingFactory<C> rf, PairList<C> pl) Constructor.Constructor.SolvableGroebnerBasePseudoSeq
(RingFactory<C> rf, PairList<C> pl) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionleftGB
(int modv, List<GenSolvablePolynomial<C>> F) Left Groebner base using pairlist class.Minimal ordered Solvable Groebner basis.twosidedGB
(int modv, 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 Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
engine
Greatest common divisor engine for coefficient content and primitive parts. -
sred
Pseudo reduction engine. -
cofac
Coefficient ring factory.
-
-
Constructor Details
-
SolvableGroebnerBasePseudoSeq
Constructor.- Parameters:
rf
- coefficient ring factory.
-
SolvableGroebnerBasePseudoSeq
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 Details
-
leftGB
Left Groebner base using pairlist class.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
leftMinimalGB
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
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.
-