Die Funktion CHINREM
CHINREM steht für CHINese REMainder (Chinesischer Restesatz). Die in
diesem Befehl kodierte Operation löst ein System von Kongruenten unter
Anwendung des Chinesischen Restesatz-Theorems . Dieser Befehl kann mit
Polynomen (wie auch mit Integer-Zahlen, Funktion ICHINREM) verwendet
werden. Die Eingabe besteht aus zwei Vektoren [Ausdruck_1, Modulo_1] und
[Ausdruck_2, Modulo_2]. Die Ausgabe ist ein Vektor [Ausdruck_3,
Modulo_3], wobei Modulo_3 aus dem Produkt (Modulo_1)⋅(Modulo_2)
ermittelt wird. Beispiel: CHINREM(['X+1', 'X^2-1'],['X+1','X^2']) = ['X+1',-
(X^4-X^2)]
Aussage des Chinesische Restsatz-Theorems für Ganzzahlen
Wenn m
, m
,...,m
paarweise teilerfremde natürliche Zahlen und a
, a
, ...,
1
2
r
1
2
a
beliebige Integer-Zahlen sind, dann gibt es genau eine Integer-Zahl x,
r
welche gleichzeitig die folgenden Kongruenzen erfüllt: x ≡ a
), x ≡ a
(mod m
1
1
2
), ..., x ≡ a
(mod m
(mod m
). Zusätzlich sind, wenn x = a eine Lösung ist,
2
r
r
alle anderen Lösungen kongruent zu einem Modulo, das dem Produkt von
⋅m
⋅ ... m
m
entspricht.
1
2
r
Die Funktion EGCD
EGCD steht für Extended Greatest Common Divisor größter gemeinsamer
Teiler). Für zwei Polynome A(X) und B(X) erzeugt die Funktion EGCD die
Polynome C(X), U(X), and V(X), sodass gilt C(X) = U(X)*A(X) + V(X)*B(X). So
gilt z. B. für A(X) = X^2+1, B(X) = X^2-1, EGCD(A(X),B(X)) = {2, 1, -1}, d. h.,
2 = 1*( X^2+1')-1*( X^2-1). Auch ist EGCD('X^3-2*X+5','X') = { 5, '-(X^2-2)',
1}, d. h. 5 = – (X^2-2)*X + 1*(X^3-2*X+5).
Die Funktion GCD
Die Funktion GCD (Greatest Common Denominator – größter gemeinsamer
Nenner) dient zur Ermittlung des größten gemeinsamen Nenners zweier
Polynome oder zweier Listen von Polynomen derselben Länge. Bevor Sie die
Funktion GCD anwenden, müssen die beiden Polynome oder Listen von
Polynomen in Stack-Ebene 2 und 1 verschoben werden. Das Ergebnis ist ein
Polynom oder eine Liste, die den größten gemeinsamen Nenner der beiden
Seite 5-21