Aufgabe zu Vervollständigung in autotool

Gleichung: z.B. (f (1, f (2, 3)), f (f (1, 2), 3)),
Variablen als Zahlen geschrieben

wfmA: Argumente sind x₁, x₂,..., z.B.

Interpretation { dim = 1
, values = Polynomial_Interpretation (listToFM
 [ ( f , 2 * x1 + x2 + 1 ) , ( a, 0) ]) }

Schritte: Deduce, Orient, Delete, Simplify, z.B.

, steps = [ Orient { s = f (a , a ) , t = a } ]