fw hat geschrieben:Wie kommst du auf die Idee, dass dein Maple nicht-kommutativ rechnet?
Habe die Aufgabe mit dem Groebner und dem PolynomialIdeals Package (bisher nur teilweise) bearbeitet.. Dabei ist mir nichts aufgefallen, was nach deinem Problem aussieht..
Naja, ich bekomme ein Ergebnis, das eben die Form [latex]xyxzyxzy[/latex] (natürlich kein genaues Ergebnis, ich hab gerade kein Maple hier), das man im kommutativen Fall ja zu [latex]x^3y^3z^2[/latex] zusammenfassen könnte. Tut Maple aber nicht. Und mir kommt der Rest auch sehr groß vor, als könnte im kommutativen Fall noch weiter dividiert werden. Dazu kommt auch noch für alle drei Ordnungen das gleiche Ergebnis.
Das Ergebnis ist schon richtig (Probe habe ich von Hand gemacht, es wurde auf jeden Fall eine Division mit Rest ausgeführt), aber ich denke nicht, dass es das Ergebnis ist, das wir haben wollen.
Wie hast du das ganze denn gelöst? Im Endeffekt habe ich nur
with(Groebner);
h:=...;
F:=[...];
NormalForm(h,F,plex(x,y,z),'Q');
ausgeführt. Dabei kommt eben dieses Ergebnis...