S-polynomial

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:defines S(f,g) = (lcm(LT(f),LT(g))/LT(f)) * f - (lcm(LT(f),LT(g))/LT(g)) * g
gptkbp:field gptkb:algebra
https://www.w3.org/2000/01/rdf-schema#label S-polynomial
gptkbp:introduced gptkb:Bruno_Buchberger
gptkbp:property S-polynomial of f and g is zero if their leading terms are relatively prime
S-polynomial is used to test if a set of polynomials is a Gröbner basis
gptkbp:relatedTo syzygy
polynomial ideal
multivariate polynomial
gptkbp:symbol S(f,g)
gptkbp:usedFor gptkb:Buchberger's_algorithm
elimination of leading terms
gptkbp:usedIn Gröbner basis theory
gptkbp:bfsParent gptkb:Gröbner_basis
gptkbp:bfsLayer 6