G = egb F
egb uses a variant of Buchberger's algorithm.
i1 : R = buildERing({symbol x}, {1}, QQ, 2);
i2 : egb {x_0 + x_1} o2 = {x } 0 o2 : List
The output does not necessarily belong to the same ring as the input.
The object egb is a method function with options.