-- -*- M2-comint -*- hash: 4779186560827702623

i1 : R = buildERing({symbol x}, {1}, QQ, 2);

i2 : egb({x_0+x_1}, Algorithm=>Buchberger)

o2 = {x }
       0

o2 : List

i3 : use R;

i4 : egb({x_0+x_1}, Algorithm=>Incremental)

o4 = {x }
       0

o4 : List

i5 : use R;

i6 : egb({x_0+x_1}, Algorithm=>Signature)
-- TOTAL covered pairs = -6

o6 = {x  + x , 2x }
       1    0    0

o6 : List

i7 : 
