i1 : R = buildERing({symbol x}, {1}, QQ, 3);
i2 : reduce(x_0^2 + x_0*x_2, {x_1}) 2 o2 = x 0 o2 : R
The output does not necessarily belong to the same ring as the input.