[Mathe] CompAlg: Maple und kommutative Ringe

Alle Anwendungsfächer des Bachelorstudiengangs (Abkürzungen)

CompAlg: Maple und kommutative Ringe

Beitragvon Muffi » 03.05.08 20:49

Hi,

hat jemand eine Idee, wie ich Maple beibringe, dass es in einem kommutativen Ring rechnen soll? Es geht hier um Aufgabe 1 von Blatt 3. Maple berechnet mir schon die richtigen Dinge, nutzt aber ofensichtlich die Kommutativität nicht aus.

Was muss ich tun? Und / oder hat jemand noch weitere Tipps zu Aufgabe 1?
"Alle Menschen sind klug;
die einen vorher, die anderen nachher" (Voltaire)
Benutzeravatar
Muffi
 
Beiträge: 392
Registriert: 05.07.06 11:14
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 07
Anwendungsfach: Mathe

Beitragvon Muffi » 04.05.08 23:25

*schieb*

Hier sind doch noch andere, die die Vorlesung hören. Wie habt ihr denn die Aufgabe gelöst? :)
"Alle Menschen sind klug;
die einen vorher, die anderen nachher" (Voltaire)
Benutzeravatar
Muffi
 
Beiträge: 392
Registriert: 05.07.06 11:14
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 07
Anwendungsfach: Mathe

Beitragvon fw » 05.05.08 00:04

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..
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe

Beitragvon Muffi » 05.05.08 09:57

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...
"Alle Menschen sind klug;
die einen vorher, die anderen nachher" (Voltaire)
Benutzeravatar
Muffi
 
Beiträge: 392
Registriert: 05.07.06 11:14
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 07
Anwendungsfach: Mathe

Beitragvon fw » 05.05.08 10:35

Muffi hat geschrieben:with(Groebner);
h:=...;
F:=[...];
NormalForm(h,F,plex(x,y,z),'Q');

Ja, genau so hab ichs auch gemacht. Ich bekomme aber nichts was "nicht kommutativ" aussieht. Für plex und grlex ist das Ergebnis bei mir auch gleich, für tdeg allerdings nicht. Hast du mal simplify() versuch?

Gruss
Flo
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe

Beitragvon fw » 05.05.08 12:57

Wie hast du denn am Ende bei der (b) begründet, dass die Kombination zulässig ist?
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe

Beitragvon Muffi » 05.05.08 15:22

fw hat geschrieben:Wie hast du denn am Ende bei der (b) begründet, dass die Kombination zulässig ist?


noch gar nicht. :) Ich kann mich auch erst heute Abend wieder dransetzen.
"Alle Menschen sind klug;
die einen vorher, die anderen nachher" (Voltaire)
Benutzeravatar
Muffi
 
Beiträge: 392
Registriert: 05.07.06 11:14
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 07
Anwendungsfach: Mathe

Beitragvon Muffi » 05.05.08 17:44

So sieht mein Problem übrigens aus:

Bild

Wie sieht dein Worksheet aus?
"Alle Menschen sind klug;
die einen vorher, die anderen nachher" (Voltaire)
Benutzeravatar
Muffi
 
Beiträge: 392
Registriert: 05.07.06 11:14
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 07
Anwendungsfach: Mathe

Beitragvon fw » 05.05.08 18:24

Muffi hat geschrieben:Wie sieht dein Worksheet aus?


Bild
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe

Beitragvon Muffi » 05.05.08 18:37

Ich habe meinen Fehler gefunden. Man muss tatsächlich die Multiplikationszeichen mit eintippen, dann funktioniert es auch. So ein Mist...
"Alle Menschen sind klug;
die einen vorher, die anderen nachher" (Voltaire)
Benutzeravatar
Muffi
 
Beiträge: 392
Registriert: 05.07.06 11:14
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 07
Anwendungsfach: Mathe

Beitragvon panky » 06.05.08 10:09

Wie sieh aus ? hat jemand schon A1 b) :?:
panky
 
Beiträge: 38
Registriert: 30.03.07 11:33


Zurück zu Anwendungsfächer