Hilbert-driven Buchberger algorithm: Homogenize the given generators for $I$ with respect to a new variable, say, $x_0$ . Extend the given slow ordering on $K[ ...
確定！ 回上一頁
