Buchberger's algorithm: Difference between revisions

Content deleted Content added
Corrected a misprint (removed 'by' in '''g<sub>j</sub>'' by.')
No edit summary
Line 4:
 
:'''Input''' A set of polynomials ''F'' that generates ''I''
:'''Output''' A [[Gröbner basis]] ''G'' for ''I''
:# ''G'' := ''F''
:# For every ''f<sub>i</sub>'', ''f<sub>j</sub>'' in ''G'', denote by ''g<sub>i</sub>'' the leading term of ''f<sub>i</sub>'' with respect to the given ordering, and by ''a<sub>ij</sub>'' the [[least common multiple]] of ''g<sub>i</sub>'' and ''g<sub>j</sub>''.