GroebnerInternalPackage(Dom, Expon, Dpol)ΒΆ

gbintern.spad line 1 [edit on github]

Author: Keywords: References: R. Gebauer, M. Moeller, On an Installation of Buchberger's Algorithm, JSC (1988) 6, 275-286. Description This package provides low level tools for Groebner basis computations

credPol: (Dpol, List Dpol) -> Dpol

``credPol ``undocumented

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

``critB ``undocumented

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

``critBonD ``undocumented

critM: (Expon, Expon) -> Boolean

``critM ``undocumented

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

``critMonD1 ``undocumented

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

``critMTonD1 ``undocumented

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

``critpOrder ``undocumented

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

``critT ``undocumented

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

``fprindINFO ``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 ``undocumented

lepol: Dpol -> Integer

``lepol ``undocumented

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

``makeCrit ``undocumented

minGbasis: List Dpol -> List Dpol

``minGbasis ``undocumented

prinb: Integer -> Void

``prinb ``undocumented

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

``prindINFO ``undocumented

prinpolINFO: List Dpol -> Void

``prinpolINFO ``undocumented

prinshINFO: Dpol -> Void

``prinshINFO ``undocumented

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

``redPo ``undocumented

redPol: (Dpol, List Dpol) -> Dpol

``redPol ``undocumented

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

``sPol ``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 ``undocumented

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

``updatF ``undocumented

virtualDegree: Dpol -> NonNegativeInteger

``virtualDegree ``undocumented