Input TRS:
    1: f(x) -> x
    2: g(x) -> x
   e1: f(x) ->= g(x)	[relative]
   e2: g(x) ->= f(x)	[relative]
Number of Rules: 2
Direct Mat3b ... removes: 1 2
	I(f) = [2,0,0;0,1,0;0,0,1] * x1 + [1;0;0]
	I(g) = [2,0,0;0,1,0;0,0,1] * x1 + [1;0;0]
Number of Rules: 0