SPolynomial(f, g, T, characteristic=p)
a MonomialOrder or ShortMonomialOrder
SPolynomial(f, g, T) computes an S-polynomial of f and g with respect to the monomial order T. The S-polynomial is a syzygy. It induces a cancellation of leading terms using the smallest possible multiples of f and g.
In commutative domains the S-polynomial of f and g is given by lcm⁡LT⁡f,LT⁡g⁢fLT⁡f−gLT⁡g, where LT(f) denotes the leading term of f with respect to T. In case of Ore algebras the S-polynomial is defined similarly, however since there is no longer a division on monomials the S-polynomial of f and g is defined by c'[f]*t'[f]*f - c'[g]*t'[g]*g where:
t'[f]*LM(f) = t'[g]*LM(g) = lcm(LM(f), LM(g)) where LM(f) denotes the leading monomial of f
t'[f]*LC(f) = c''[f]*t'[f] + lower order terms where LC(f) denotes the leading coefficient of f
t'[g]*LC(g) = c''[g]*t'[g] + lower order terms
c'[f]*c''[f] = c'[g]*c''[g] = c''[f]*c''[g] / gcd(c''[f], c''[g])
An optional argument characteristic=p can be used to specify the ring characteristic when T is a ShortMonomialOrder. The default value is zero.
If T is a ShortMonomialOrder then f and g must be polynomials in the ring implied by T. If T is a MonomialOrder created with the Groebner[MonomialOrder] command, then f and g must be members of the algebra used to define T.
Note that the spoly command is deprecated. It may not be supported in a future Maple release.
Operators in a Weyl algebra
Operators in a q-calculus algebra
Operators in a Weyl algebra modulo a prime
Algebraic number coefficients
Download Help Document
What kind of issue would you like to report? (Optional)