| Package | Description |
|---|---|
| cc.redberry.rings.poly.multivar |
| Modifier and Type | Method and Description |
|---|---|
static Comparator<GroebnerBases.SyzygyPair> |
GroebnerBases.defaultSelectionStrategy(Comparator<DegreeVector> monomialOrder)
Default selection strategy (with or without sugar)
|
static Comparator<GroebnerBases.SyzygyPair> |
GroebnerBases.normalSelectionStrategy(Comparator<DegreeVector> monomialOrder)
Normal selection strategy: chose syzygy with the less lcm(fi.lt(), fj.lt()) with respect to monomialOrder
|
static Comparator<GroebnerBases.SyzygyPair> |
GroebnerBases.withSugar(Comparator<GroebnerBases.SyzygyPair> initial)
Add sugar to selection strategy: pick syzygy with less sugar first, break tie with the initial strategy
|
| Modifier and Type | Method and Description |
|---|---|
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
GroebnerBases.syzygy(GroebnerBases.SyzygyPair<Term,Poly> sPair)
Computes syzygy of given polynomials
|
| Modifier and Type | Method and Description |
|---|---|
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
GroebnerBases.BuchbergerGB(List<Poly> generators,
Comparator<DegreeVector> monomialOrder,
Comparator<GroebnerBases.SyzygyPair> strategy)
Computes minimized and reduced Groebner basis of a given ideal via Buchberger algorithm.
|
static Comparator<GroebnerBases.SyzygyPair> |
GroebnerBases.withSugar(Comparator<GroebnerBases.SyzygyPair> initial)
Add sugar to selection strategy: pick syzygy with less sugar first, break tie with the initial strategy
|
Copyright © 2022. All rights reserved.