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

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

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

let o = rpo T p s;

let R = trs T "
x * 1 -> x;
x * x -> x;
";

complete o R;

#quit;