Vergleich, Ausblick

• ähnliche Aufgabenstellung in Computeralgebra:
• Äquivalenz rationaler Zahlen p/q $\approx$ r/s, ( 8/12 = 10/15)

  semantisch: p⋅s = q⋅r

  Normalform: p/q mit gcd(p, q) = 1

  wird erreicht durch Division mit gcd

  dann ist semantische Äquivalenz = Identität auf Nf.

• Äquivalenz von algebraischen Ausdrücken

  1/($\sqrt{2}$ -1) - ($\sqrt{2}$ + 1) = 0