Basisfunktionen |
clr () = 0 suc (n) = n+1 p (1, x1, x2, ... , xn) = x1 p (i, x1, x2, ... , xn) = p (i-1, x2, x3, ... , xn) |
Aufstellen der Gleichungen → | Einfache Lösungen → | Gleichungen mit ψ und χ |
add (0, m) add (n+1, m) |
= m = suc (add (n, m)) |
= p1 (m) = suc (p1) (add (n, m), n, m)) |
mul (0, m) mul (n+1, m) |
= 0 = m + mul (n, m) |
= clr (m) = add (p1, p3) (mult (n, m), n, m) |