Package edu.jas.gbufd
Class GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>
- Type Parameters:
C
- base coefficient type
- All Implemented Interfaces:
GroebnerBase<GenPolynomial<C>>
,Serializable
public class GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>
extends GroebnerBaseAbstract<GenPolynomial<C>>
Groebner Base with pseudo reduction sequential algorithm for integral
function coefficients. Implements polynomial fraction free coefficients
Groebner bases. Coefficients can for example be
(commutative) multivariate polynomials.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final RingFactory
<C> Base coefficient ring factory.protected final RingFactory
<GenPolynomial<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 PseudoReduction
<GenPolynomial<C>> Pseudo reduction engine.protected final PseudoReduction
<C> Pseudo reduction engine.Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionGroebnerBasePseudoRecSeq
(PseudoReduction<GenPolynomial<C>> red, RingFactory<GenPolynomial<C>> rf, PairList<GenPolynomial<C>> pl) Constructor.Constructor.GroebnerBasePseudoRecSeq
(RingFactory<GenPolynomial<C>> rf, PairList<GenPolynomial<C>> pl) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGB
(int modv, List<GenPolynomial<GenPolynomial<C>>> F) Groebner base using pairlist class.boolean
isGBsimple
(int modv, List<GenPolynomial<GenPolynomial<C>>> F) Groebner base simple test.minimalGB
(List<GenPolynomial<GenPolynomial<C>>> Gp) Minimal ordered Groebner basis.Methods inherited from class edu.jas.gb.GroebnerBaseAbstract
cancel, commonZeroTest, constructUnivariate, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, 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. -
redRec
Pseudo reduction engine. -
red
Pseudo reduction engine. -
cofac
Coefficient ring factory. -
baseCofac
Base coefficient ring factory.
-
-
Constructor Details
-
GroebnerBasePseudoRecSeq
Constructor.- Parameters:
rf
- coefficient ring factory.
-
GroebnerBasePseudoRecSeq
Constructor.- Parameters:
rf
- coefficient ring factory.pl
- pair selection strategy
-
GroebnerBasePseudoRecSeq
public GroebnerBasePseudoRecSeq(PseudoReduction<GenPolynomial<C>> red, RingFactory<GenPolynomial<C>> rf, PairList<GenPolynomial<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
-
GB
Groebner base using pairlist class.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
minimalGB
Minimal ordered Groebner basis.- Specified by:
minimalGB
in interfaceGroebnerBase<C extends GcdRingElem<C>>
- Overrides:
minimalGB
in classGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
- Parameters:
Gp
- a Groebner base.- Returns:
- a reduced Groebner base of Gp.
-
isGBsimple
Groebner base simple test.- Overrides:
isGBsimple
in classGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
- Parameters:
modv
- module variable number.F
- recursive polynomial list.- Returns:
- true, if F is a Groebner base, else false.
-