diff options
| author | Andreas Müller <andreas.mueller@ost.ch> | 2021-02-07 21:05:46 +0100 |
|---|---|---|
| committer | Andreas Müller <andreas.mueller@ost.ch> | 2021-02-07 21:05:46 +0100 |
| commit | 5abab0d79ab1ff3171aa0f5f8ba4ae8155e4b5c0 (patch) | |
| tree | bd09a34472e6268bfa4dda1663566bcda5821f82 /buch/chapters/30-endlichekoerper/rechnungen | |
| parent | add Gauss inversion (diff) | |
| download | SeminarMatrizen-5abab0d79ab1ff3171aa0f5f8ba4ae8155e4b5c0.tar.gz SeminarMatrizen-5abab0d79ab1ff3171aa0f5f8ba4ae8155e4b5c0.zip | |
wurzel-beispiel
Diffstat (limited to 'buch/chapters/30-endlichekoerper/rechnungen')
| -rw-r--r-- | buch/chapters/30-endlichekoerper/rechnungen/euinv.maxima | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/buch/chapters/30-endlichekoerper/rechnungen/euinv.maxima b/buch/chapters/30-endlichekoerper/rechnungen/euinv.maxima new file mode 100644 index 0000000..ce5b7f2 --- /dev/null +++ b/buch/chapters/30-endlichekoerper/rechnungen/euinv.maxima @@ -0,0 +1,31 @@ +m: X^3 +2*X^2 + 2*X + 3; +f: 2*X^2 + 2*X + 1; + +q0: 4*X+4; +r0: 4*X+6; +expand(q0*f+r0); + +q1: 4*X+5; +r1: 6; +expand(q1*r0+r1); + +q2: 3*X+1; +r2: 0; +expand(q2*r1+r2); + +Q0: matrix([ 0, 1 ], [ 1, (7*X+7)-q0 ]); +Q1: matrix([ 0, 1 ], [ 1, (7*X+7)-q1 ]); +Q2: matrix([ 0, 1 ], [ 1, (7*X+7)-q2 ]); + +Q: expand(Q1 . Q0); +s: Q[1,1]; +t: Q[1,2]; +expand(s*m+t*f); + +Q: expand(Q2 . Q); + +s: Q[1,1]; +t: Q[1,2]; + +expand(s*m+t*f); + |