0.00/0.01 YES 0.00/0.01 Input TRS: 0.00/0.01 1: f(x,0()) -> s(x) 0.00/0.01 2: g(x) -> h(x,gen()) 0.00/0.01 3: h(0(),x) -> f(x,x) 0.00/0.01 4: a() -> b() 0.00/0.01 5: gen() ->= s(gen()) 0.00/0.01 Number of strict rules: 4 0.00/0.01 Direct POLO(bPol) ... removes: 4 1 3 2 0.00/0.01 h w: 2 * x1 + 2 * x2 0.00/0.01 a w: 1 0.00/0.01 s w: x1 0.00/0.01 b w: 0 0.00/0.01 f w: x1 + x2 0.00/0.01 0 w: 1 0.00/0.01 gen w: 1 0.00/0.01 g w: 2 * x1 + 3 0.00/0.01 Number of strict rules: 0 0.00/0.01 EOF