public class ModGroebnerBaseAbstract<C extends GcdRingElem<C>> extends java.lang.Object implements ModGroebnerBase<C>
Modifier and Type | Field and Description |
---|---|
protected GroebnerBase<C> |
bb
Used Groebner base algorithm.
|
Constructor and Description |
---|
ModGroebnerBaseAbstract()
Deprecated.
|
ModGroebnerBaseAbstract(RingFactory<C> cf)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<GenPolynomial<C>> |
GB(int modv,
java.util.List<GenPolynomial<C>> F)
Groebner base using pairlist class.
|
ModuleList<C> |
GB(ModuleList<C> M)
GB.
|
boolean |
isGB(int modv,
java.util.List<GenPolynomial<C>> F)
Module Groebner base test.
|
boolean |
isGB(ModuleList<C> M)
isGB.
|
protected final GroebnerBase<C extends GcdRingElem<C>> bb
@Deprecated public ModGroebnerBaseAbstract()
public ModGroebnerBaseAbstract(RingFactory<C> cf)
public boolean isGB(int modv, java.util.List<GenPolynomial<C>> F)
isGB
in interface ModGroebnerBase<C extends GcdRingElem<C>>
public boolean isGB(ModuleList<C> M)
isGB
in interface ModGroebnerBase<C extends GcdRingElem<C>>
M
- a module basis.public java.util.List<GenPolynomial<C>> GB(int modv, java.util.List<GenPolynomial<C>> F)
GB
in interface ModGroebnerBase<C extends GcdRingElem<C>>
public ModuleList<C> GB(ModuleList<C> M)
GB
in interface ModGroebnerBase<C extends GcdRingElem<C>>
M
- a module basis.