GroebnerInternalPackage(Dom, Expon, Dpol)ΒΆ

gbintern.spad line 1 [edit on github]

This package provides low level tools for Groebner basis computations.

credPol: (Dpol, List Dpol) -> Dpol

:code:`credPol `undocumented

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

:code:`critB `undocumented

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

:code:`critBonD `undocumented

critM: (Expon, Expon) -> Boolean

:code:`critM `undocumented

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

:code:`critMonD1 `undocumented

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

:code:`critMTonD1 `undocumented

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

:code:`critpOrder `undocumented

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

:code:`critT `undocumented

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

:code:`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

:code:`hMonic `undocumented

lepol: Dpol -> Integer

:code:`lepol `undocumented

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

:code:`makeCrit `undocumented

minGbasis: List Dpol -> List Dpol

:code:`minGbasis `undocumented

prinb: Integer -> Void

:code:`prinb `undocumented

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

:code:`prindINFO `undocumented

prinpolINFO: List Dpol -> Void

:code:`prinpolINFO `undocumented

prinshINFO: Dpol -> Void

:code:`prinshINFO `undocumented

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

:code:`redPo `undocumented

redPol: (Dpol, List Dpol) -> Dpol

:code:`redPol `undocumented

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

:code:`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)

:code:`updatD `undocumented

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

:code:`updatF `undocumented

virtualDegree: Dpol -> NonNegativeInteger

:code:`virtualDegree `undocumented