6) Erweiterung des Groebner Packages

Erweitern Sie obiges Package um folgende in der Vorlesung erwähnte Funktionen

In[14]:=

  normalForm[g_,f_,V_]

In[15]:=

  krit1Q[f_,g_]

In[16]:=

  krit2Q[f_,g_,h_]

Welche Funktionen müssten bereitgestellt werden, um allgemeinere Termordnungen zu realisieren?

Up to Aufgabe 3