One of these sets is most efficiently computed for a set in the graded reverse lexicographic monomial ordering. One of these sets of an ideal I is defined as the set of g’s (“gees”) such that the leading terms of g and I generate the same ideal; those instances of these sets are computed using Buchberger’s algorithm. These sets name a theorem that states the polynomial ring of a Noetherian (“no-THEER-ee-in”) ring is Noetherian, as proven by Hilbert. The Legendre polynomials form a complete one of these sets for L2 (“L-two”) functions on the open unit interval. One of these sets is found by setting [read slowly] u-sub-one to k-sub-one, then iteratively setting u-sub-n to k-sub-n minus a sum of projections of k-sub-n onto u-sub-i. An orthonormal one of these sets is constructed using the Gram–Schmidt process. For 10 points, name these linearly independent sets that span a vector space. ■END■
ANSWER: basis [or bases; accept Groebner basis or bases; accept polynomial basis or bases; accept Hilbert’s basis theorem; accept orthonormal basis; prompt on generating set or generators]
<Wisconsin A, Other Science>
= Average correct buzz position