Buchberger's algorithm: Difference between revisions

Content deleted Content added
top: Split a sentence in two for clarity.
Tags: Mobile edit Mobile app edit Android app edit App section source
Tags: Mobile edit Mobile web edit Advanced mobile edit
Line 15:
:# Choose two polynomials in ''G'' and let {{math|1=''S''<sub>''ij''</sub> = {{sfrac|''a''<sub>''ij''</sub> | ''g''<sub>{{var|i}}</sub>}} ''f''<sub>{{var|i}}</sub> − {{sfrac|''a''<sub>''ij''</sub> | ''g''<sub>''j''</sub>}} ''f''<sub>''j''</sub>}} ''(Note that the leading terms here will cancel by construction)''.
:# Reduce ''S''<sub>''ij''</sub>, with the [[multivariate division algorithm]] relative to the set ''G'' until the result is not further reducible. If the result is non-zero, add it to ''G''.
:# Repeat steps 2-42–4 until all possible pairs are considered, including those involving the new polynomials added in step 4.
:# Output ''G''