Difference between revisions of "ApCoCoA-1:Examples Tutorial De Equation"

From ApCoCoAWiki
(New page: == Lineare Gleichungssysteme == Mit CoCoA ist es ein leichtes, Gleichungssysteme zu lösen, wir müssen sie nur ein wenig umformulieren. Wir müssen lediglich die Suche nach der Lösung d...)
 
 
(One intermediate revision by the same user not shown)
Line 41: Line 41:
 
----
 
----
  
Weiter geht's im Kapitel .
+
Weiter geht's im Kapitel [[ApCoCoA:Examples_Tutorial_De_Euklid|Euklidischer Algorithmus]].
  
 
----
 
----
Line 50: Line 50:
  
  
[[Category:Tutorial_De|Gleichungssysteme]]
+
[[Category:Tutorial_De|Equation]]

Latest revision as of 19:59, 17 July 2008

Lineare Gleichungssysteme

Mit CoCoA ist es ein leichtes, Gleichungssysteme zu lösen, wir müssen sie nur ein wenig umformulieren. Wir müssen lediglich die Suche nach der Lösung des Systems in eine Suche nach gemeinsamen Nullstellen verwandeln. Dafür schreiben wir für jede Gleichung die äquivalente Form . Die Suche nach gemeinsamen Nullstellen ist die Suche nach einer Gröbner-Basis eines Ideals. Hierbei liefert uns die Idealschreibweise, die Suche nach den gemeinsamen Lösungen und die Suche nach einer (Gröbner-)Basis die Lösung für all diese Polynome. Wir brauchen dann nur das Ergebnis wieder in Gleichungen zurück zu übersetzen.

Betrachten wir das folgende Gleichungssystem:

Umgeschrieben in eine Nullstellensuche sieht das System jetzt so aus:

In CoCoA geben wir das Ideal mit dem Ideal(...);-Befehl ein, also

Gl:=Ideal(x-z+1, -x-y+z-3, 2x-y+8);

Jetzt berechnen wir die Reduzierte Gröbner-Basis diese Ideals

ReducedGBasis(Gl);

und erhalten

[z + 4, x + 5, y + 2].

Also gilt , und .

Bsp lin Gl.png



Weiter geht's im Kapitel Euklidischer Algorithmus.