Package edu.jas.ps
Class StandardBaseSeq<C extends RingElem<C>>
java.lang.Object
edu.jas.ps.StandardBaseSeq<C>
- Type Parameters:
C
- coefficient type
Standard Base sequential algorithm. Implements Standard bases and GB test.
Note: Currently the term order is fixed to the order defined by the
iterator over exponent vectors
ExpVectorIterator
.-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
final ReductionSeq
<C> Reduction engine. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionboolean
isSTD
(int modv, List<MultiVarPowerSeries<C>> F) Standard base test.boolean
isSTD
(List<MultiVarPowerSeries<C>> F) Standard base test.minimalSTD
(List<MultiVarPowerSeries<C>> Gp) Minimal ordered Standard basis.Normalize power series list.STD
(int modv, List<MultiVarPowerSeries<C>> F) Standard base using pairlist class.STD
(List<MultiVarPowerSeries<C>> F) Standard base using pairlist class.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
red
Reduction engine.
-
-
Constructor Details
-
StandardBaseSeq
public StandardBaseSeq()Constructor. -
StandardBaseSeq
Constructor.- Parameters:
red
- Reduction engine
-
-
Method Details
-
normalizeZerosOnes
Normalize power series list.- Parameters:
A
- list of power series.- Returns:
- list of power series with zeros removed and ones/units reduced.
-
isSTD
Standard base test.- Parameters:
F
- power series list.- Returns:
- true, if F is a Standard base, else false.
-
isSTD
Standard base test.- Parameters:
modv
- module variable number.F
- power series list.- Returns:
- true, if F is a Standard base, else false.
-
STD
Standard base using pairlist class.- Parameters:
F
- power series list.- Returns:
- STD(F) a Standard base of F.
-
STD
Standard base using pairlist class.- Parameters:
modv
- module variable number.F
- power series list.- Returns:
- STD(F) a Standard base of F.
-
minimalSTD
Minimal ordered Standard basis.- Parameters:
Gp
- a Standard base.- Returns:
- a minimal Standard base of Gp, not auto reduced.
-