C
- coefficient typepublic class StandardBaseSeq<C extends RingElem<C>> extends java.lang.Object
ExpVectorIterator
.Modifier and Type | Field and Description |
---|---|
ReductionSeq<C> |
red
Reduction engine.
|
Constructor and Description |
---|
StandardBaseSeq()
Constructor.
|
StandardBaseSeq(ReductionSeq<C> red)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isSTD(int modv,
java.util.List<MultiVarPowerSeries<C>> F)
Standard base test.
|
boolean |
isSTD(java.util.List<MultiVarPowerSeries<C>> F)
Standard base test.
|
java.util.List<MultiVarPowerSeries<C>> |
minimalSTD(java.util.List<MultiVarPowerSeries<C>> Gp)
Minimal ordered Standard basis.
|
java.util.List<MultiVarPowerSeries<C>> |
normalizeZerosOnes(java.util.List<MultiVarPowerSeries<C>> A)
Normalize power series list.
|
java.util.List<MultiVarPowerSeries<C>> |
STD(int modv,
java.util.List<MultiVarPowerSeries<C>> F)
Standard base using pairlist class.
|
java.util.List<MultiVarPowerSeries<C>> |
STD(java.util.List<MultiVarPowerSeries<C>> F)
Standard base using pairlist class.
|
public final ReductionSeq<C extends RingElem<C>> red
public StandardBaseSeq()
public StandardBaseSeq(ReductionSeq<C> red)
red
- Reduction enginepublic java.util.List<MultiVarPowerSeries<C>> normalizeZerosOnes(java.util.List<MultiVarPowerSeries<C>> A)
A
- list of power series.public boolean isSTD(java.util.List<MultiVarPowerSeries<C>> F)
F
- power series list.public boolean isSTD(int modv, java.util.List<MultiVarPowerSeries<C>> F)
modv
- module variable number.F
- power series list.public java.util.List<MultiVarPowerSeries<C>> STD(java.util.List<MultiVarPowerSeries<C>> F)
F
- power series list.public java.util.List<MultiVarPowerSeries<C>> STD(int modv, java.util.List<MultiVarPowerSeries<C>> F)
modv
- module variable number.F
- power series list.public java.util.List<MultiVarPowerSeries<C>> minimalSTD(java.util.List<MultiVarPowerSeries<C>> Gp)
Gp
- a Standard base.