LinGroebnerPackage(lv, F)

lingrob.spad line 1 [edit on github]

• lv : List(Symbol)
• F : GcdDomain

Given a Groebner basis B with respect to the total degree ordering for a zero-dimensional ideal I, compute a Groebner basis with respect to the lexicographical ordering by using linear algebra. This is an internal package, operations in this package may crash the system on invalid input.

anticoord : (List(F), DistributedMultivariatePolynomial(lv, F), List(DistributedMultivariatePolynomial(lv, F))) -> DistributedMultivariatePolynomial(lv, F)

anticoord is undocumented

choosemon : (DistributedMultivariatePolynomial(lv, F), List(DistributedMultivariatePolynomial(lv, F))) -> DistributedMultivariatePolynomial(lv, F)

choosemon is undocumented

computeBasis : List(HomogeneousDistributedMultivariatePolynomial(lv, F)) -> List(HomogeneousDistributedMultivariatePolynomial(lv, F))

computeBasis(l) is a helper function which computes a basis of a linear space which contains a lexicographic Groebner basis. It expects a basis (ordered by total degree, reverse lexicographic) of a zero dimensional ideal.

coord : (HomogeneousDistributedMultivariatePolynomial(lv, F), List(HomogeneousDistributedMultivariatePolynomial(lv, F))) -> Vector(F)

coord is undocumented

groebgen : List(DistributedMultivariatePolynomial(lv, F)) -> Record(glbase : List(DistributedMultivariatePolynomial(lv, F)), glval : List(Integer))

groebgen is undocumented

intcompBasis : (OrderedVariableList(lv), List(HomogeneousDistributedMultivariatePolynomial(lv, F)), List(HomogeneousDistributedMultivariatePolynomial(lv, F))) -> List(HomogeneousDistributedMultivariatePolynomial(lv, F))

intcompBasis is undocumented

linGenPos : List(HomogeneousDistributedMultivariatePolynomial(lv, F)) -> Record(gblist : List(DistributedMultivariatePolynomial(lv, F)), gvlist : List(Integer))

linGenPos is undocumented

minPol : (List(HomogeneousDistributedMultivariatePolynomial(lv, F)), List(HomogeneousDistributedMultivariatePolynomial(lv, F)), OrderedVariableList(lv)) -> HomogeneousDistributedMultivariatePolynomial(lv, F)

minPol is undocumented

minPol : (List(HomogeneousDistributedMultivariatePolynomial(lv, F)), OrderedVariableList(lv)) -> HomogeneousDistributedMultivariatePolynomial(lv, F)

minPol is undocumented

totolex : List(HomogeneousDistributedMultivariatePolynomial(lv, F)) -> List(DistributedMultivariatePolynomial(lv, F))

totolex is undocumented

transform : DistributedMultivariatePolynomial(lv, F) -> HomogeneousDistributedMultivariatePolynomial(lv, F)

transform is undocumented