JetGroebner(R, JB, LJV, P, E)

jet.spad line 6807 [edit on github]

• R: GcdDomain

• JB: JetBundleCategory

• LJV: List JB

• P: Join(JetBundleFunctionCategory JB, PolynomialCategory(R, IndexedExponents JB, JB))

• E: DirectProductCategory(# LJV, NonNegativeInteger)

JetGroebner provides a procedure to compute Groebner bases for arbitrary domains of jet polynomials. Two internal procedures transform to and from DistributedJetBundlePolynomial where the actual computation is done. The argument LJV contains all jet variables effectively occurring in the polynomials. The ordering is determined by the ordering in P.

groebner: List P -> List P

groebner(lp) computes a Groebner basis for the ideal generated by the polynomials lp.