GroebnerInternalPackage(Dom, Expon, VarSet, Dpol)ΒΆ

gbintern.spad line 1

Author: Keywords: 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 ``undocumented
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