Polynome in mehreren Variablen

p(x, y) = 3xyz + x³ - y²z⁴

• rekursive Darstellung

  (nach Wahl einer Ordnung auf Variablen)

• distributive Darstellung

  (nach Wahl einer kanonischen Form und Ordnung auf Monomen = Produkten von Variablenpotenzen)

  wünschenswert ist Monotonie der Ordnung bzgl. Multiplikation