GroebnerInternalPackage(Dom, Expon, Dpol)

gbintern.spad line 1 [edit on github]

• Dom : GcdDomain
• Expon : OrderedAbelianMonoidSup
• Dpol : Join(FiniteAbelianMonoidRing(Dom, Expon), VariablesCommuteWithCoefficients)

This package provides low level tools for Groebner basis computations.

credPol : (Dpol, List(Dpol)) -> Dpol

credPol is undocumented

critB : (Expon, Expon, Expon, Expon) -> Boolean

critB is undocumented

critBonD : (Dpol, List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol))) -> List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol))

critBonD is undocumented

critM : (Expon, Expon) -> Boolean

critM is undocumented

critMTonD1 : List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol)) -> List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol))

critMTonD1 is undocumented

critMonD1 : (Expon, List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol))) -> List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol))

critMonD1 is undocumented

critT : Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol) -> Boolean

critT is undocumented

critpOrder : (Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol), Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol)) -> Boolean

critpOrder is undocumented

fprindINFO : (Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol), Dpol, Dpol, Integer, Integer, Integer, Integer) -> Integer

fprindINFO is undocumented

gbasis : (List(Dpol), Integer, Integer) -> List(Dpol)

gbasis(pols, f1, f2) computes a Groebner basis of pols.

gbasisExtend : (List(Dpol), List(Dpol), Integer, Integer) -> List(Dpol)

gbasisExtend(pols, gb, f1, f2) computes a Groebner basis of concat(pols, gb) where gb is assumed to be already a Groebner basis, i.e. no S-polynomials among elements of gb will ever be considered.

hMonic : Dpol -> Dpol

hMonic is undocumented

lepol : Dpol -> Integer

lepol is undocumented

makeCrit : (Record(totdeg : NonNegativeInteger, pol : Dpol), Dpol, NonNegativeInteger) -> Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol)

makeCrit is undocumented

minGbasis : List(Dpol) -> List(Dpol)

minGbasis is undocumented

prinb : Integer -> Void

prinb is undocumented

prindINFO : (Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol), Dpol, Dpol, Integer, Integer, Integer) -> Integer

prindINFO is undocumented

prinpolINFO : List(Dpol) -> Void

prinpolINFO is undocumented

prinshINFO : Dpol -> Void

prinshINFO is undocumented

redPo : (Dpol, List(Dpol)) -> Record(poly : Dpol, mult : Dom)

redPo is undocumented

redPol : (Dpol, List(Dpol)) -> Dpol

redPol is undocumented

sPol : Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol) -> Dpol

sPol is undocumented

updatD : (List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol)), List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol))) -> List(Record(lcmfij : Expon, totdeg : NonNegativeInteger, poli : Dpol, polj : Dpol))

updatD is undocumented

updatF : (Dpol, NonNegativeInteger, List(Record(totdeg : NonNegativeInteger, pol : Dpol))) -> List(Record(totdeg : NonNegativeInteger, pol : Dpol))

updatF is undocumented

virtualDegree : Dpol -> NonNegativeInteger

virtualDegree is undocumented