• Keine Ergebnisse gefunden

Arbeiten Sie dabei iterativ, nicht wie in der Vorlesung rekursiv

N/A
N/A
Protected

Academic year: 2021

Aktie "Arbeiten Sie dabei iterativ, nicht wie in der Vorlesung rekursiv"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof.Dr. W.Koepf

Dipl.-Math. T.Sprenger Ubungen zur Vorlesung

Ubungsblatt 10 COMPUTERALGEBRA I 19.06.2008

Aufgabe 1: (Methoden zur Berechnung der Resultanten) In der Vorlesung wurde die Resultante auf zwei Weisen berechnet. Setzen Sie beide Methoden in Mathematica-Prozeduren um:

1. Implementieren Sie die Berechnung als Determinante der Sylvester-Matrix.

2. Implementieren Sie eine zweite Version mit den Rekursionsformeln aus Satz 7.38 der Vorle- sung. Arbeiten Sie dabei iterativ, nicht wie in der Vorlesung rekursiv.

3. Fuhren Sie einen Laufzeitvergleich mit einigen geeigneten Beispielpolynomen durch. Be- grunden Sie, warum ihre Polynome geeignet sind.

(8 Punkte)

Aufgabe 2: (Minimalpolynome und Resultanten)

(a) Beweisen Sie: Sind und zwei algebraische Zahlen mit den Minimalpolynomen p(x) und q(x), so gilt folgende Tabelle:

Zahl Nullstellenpolynom + res(p(x y); q(y); y) res(p(x + y); q(y); y)

= res(p(x y); q(y); y) pn

res(p(y); xn y; y) Finden Sie ahnlich ein Nullstellenpolynom fur .

Achtung: p(x=y) ist kein Polynom, daher ist res(p(x=y); q(y); y) nicht deniert! Man braucht also noch einen Trick.

(b) Bestimmen Sie nun unter Verwendung von (a) das Minimalpolynom von p5

2 3

p7 p4

3:

(8 Punkte)

Abgabetermin: bis spatestens Donnerstag, 03.07.2008, 08.15 Uhr ansprenger@mathematik.uni-kassel.de.

Referenzen

ÄHNLICHE DOKUMENTE

I Wir wollen die Bedeutung (Semantik) von Programmen beschreiben, um ihre Korrektheit beweisen zu können. I Dazu gibt es verschiedene Ansätze, die wir

Serge Autexier, Christoph Lüth Universität Bremen Sommersemester 2019. 11:27:18 2019-07-04

I Die (operationale) Semantik einer imperativen Sprache wie C0 ist ein Zustandsübergang: das System hat einen impliziten Zustand, der durch Zuweisung von Werten an Adressen

I return ohne Argument darf nur bei einer Nachbedingung Q auftreten, die kein \result enthält. I Bei return mit Argument ersetzt der Rückgabewert den \result in

Korrekte Software: Grundlagen und Methoden Vorlesung 8 vom 22.05.17: Funktionen und Prozeduren. Serge Autexier,

I return ohne Argument darf nur bei einer Nachbedingung Q auftreten, die kein \result enthält. I Bei return mit Argument ersetzt der Rückgabewert den \result in

I Funktionen sind zentrales Modularisierungskonzept I Wir müssen Funktionen modular verifizieren können I Semantik von Deklarationen und Parameter — straightforward I Semantik

Korrekte Software: Grundlagen und Methoden Vorlesung 11 vom 06.06.16: Funktionen und Prozeduren?. Serge Autexier, Christoph Lüth Universität Bremen