let F = signature "0,1 : 0; +,* : AC; i : 1;";
let X = variables "x, y, z, u";
let T = algebra F;

let p = precedence F " * > i > + > 1 = 0";

let s = status F " *,+ : mul; 0,1 : mul; i : lrlex ";

let o = rpo T p s;

let R = trs T "
x + 0 -> x;
x + i (x) -> 0;
x * 1 -> x;
(x + y) * z -> (x * z) + (y * z)
";

complete o R;

#quit;