{VERSION 7 1 "Linux" "7.1" }
{USTYLETAB {PSTYLE "Ordered List 5" -1 200 1 {CSTYLE "" -1 -1 "Times" 
1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 144 2 0 2 2 -1 1 }
{PSTYLE "Heading 4" -1 20 1 {CSTYLE "" -1 -1 "MS Serif" 1 12 0 0 0 1 1
 2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Text Output
" -1 2 1 {CSTYLE "" -1 -1 "Courier" 1 12 0 0 255 1 2 2 2 2 2 1 3 0 0 1
 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered List 1" -1 201 1 
{CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3
 2 0 2 0 2 2 -1 1 }{PSTYLE "Bullet Item" -1 15 1 {CSTYLE "" -1 -1 "Tim
es" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 2 -1 1 }
{PSTYLE "Author" -1 19 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2
 2 2 1 0 0 1 }3 1 0 0 8 8 2 0 2 0 2 2 -1 1 }{PSTYLE "Dash Item" -1 16 
1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3
 3 2 0 2 0 2 2 -1 1 }{PSTYLE "Heading 3" -1 5 1 {CSTYLE "" -1 -1 "MS S
erif" 1 14 0 0 0 1 1 1 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }
{PSTYLE "Diagnostic" -1 9 1 {CSTYLE "" -1 -1 "Courier" 1 12 40 120 40 
1 2 2 2 2 2 1 2 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered \+
List 4" -1 202 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0
 0 1 }1 1 0 0 3 3 2 108 2 0 2 2 -1 1 }{PSTYLE "Maple Output" -1 11 1 
{CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0
 2 0 2 0 2 2 -1 1 }{PSTYLE "List Item" -1 14 1 {CSTYLE "" -1 -1 "Times
" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 2 -1 1 }
{PSTYLE "Line Printed Output" -1 6 1 {CSTYLE "" -1 -1 "Courier" 1 12 0
 0 255 1 2 2 2 2 2 1 2 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "H
eading 2" -1 4 1 {CSTYLE "" -1 -1 "MS Serif" 1 16 0 0 0 1 2 1 2 2 2 2 
1 0 0 1 }1 1 0 0 8 2 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered List 3" -1 203
 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 
3 3 2 72 2 0 2 2 -1 1 }{PSTYLE "Error" -1 8 1 {CSTYLE "" -1 -1 "Courie
r" 1 12 255 0 255 1 2 2 2 2 2 1 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 
}{PSTYLE "Maple Plot" -1 13 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 
2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Warning" -1 
7 1 {CSTYLE "" -1 -1 "Courier" 1 12 0 0 255 1 2 2 2 2 2 1 1 0 0 1 }1 1
 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Heading 1" -1 3 1 {CSTYLE "" -1 -1
 "MS Serif" 1 18 0 0 0 1 2 1 2 2 2 2 1 0 0 1 }1 1 0 0 8 4 2 0 2 0 2 2 
-1 1 }{PSTYLE "Title" -1 18 1 {CSTYLE "" -1 -1 "Times" 1 18 0 0 0 1 2 
1 2 2 2 2 1 0 0 1 }3 1 0 0 12 12 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered Li
st 2" -1 204 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0
 1 }1 1 0 0 3 3 2 36 2 0 2 2 -1 1 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" 
-1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 
2 -1 1 }{CSTYLE "Equation Label" -1 200 "Courier" 1 12 0 0 0 1 2 1 2 2
 2 2 0 0 0 1 }{CSTYLE "Text" -1 201 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0
 0 0 1 }{CSTYLE "Page Number" -1 33 "Times" 1 10 0 0 0 1 2 2 2 2 2 2 0
 0 0 1 }{CSTYLE "Maple Input" -1 0 "Courier" 1 12 255 0 0 1 2 1 2 2 1 
2 0 0 0 1 }{CSTYLE "2D Output" -1 20 "Times" 1 12 0 0 255 1 2 2 2 2 2 
1 0 0 0 1 }{CSTYLE "Dictionary Hyperlink" -1 45 "MS Serif" 1 12 147 0 
15 1 2 2 1 2 2 2 0 0 0 1 }{CSTYLE "2D Input" -1 19 "Times" 1 12 0 0 0 
1 2 2 2 2 1 2 0 0 0 1 }{CSTYLE "Maple Input Placeholder" -1 202 "Couri
er" 1 12 200 0 200 1 2 1 2 2 1 2 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Time
s" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Hyperlink" -1 17 "MS Ser
if" 1 12 0 128 128 1 2 2 1 2 2 2 0 0 0 1 }}
{SECT 0 {EXCHG {PARA 18 "" 0 "" {TEXT 203 29 "Komputeralgebrai algorit
musok" }}}{EXCHG {PARA 19 "" 0 "" {TEXT 204 18 "J\303\241rai Antal" }}
}{EXCHG {PARA 19 "" 0 "" {TEXT 201 69 "Ezek a programok csak szeml\303
\251ltet\303\251sre szolg\303\241lnak." }}}{SECT 1 {PARA 3 "" 0 "" 
{TEXT 205 4 "1. T" }{TEXT 205 18 "\303\266rt\303\251" }{TEXT 205 3 "ne
t" }}}{SECT 1 {PARA 3 "" 0 "" {TEXT 205 18 "2. Algebrai alapok" }}}
{SECT 1 {PARA 3 "" 0 "" {TEXT 205 7 "3. Norm" }{TEXT 205 8 "\303\241" 
}{TEXT 205 6 "l form" }{TEXT 205 8 "\303\241" }{TEXT 205 12 "k, reprez
ent" }{TEXT 205 18 "\303\241ci\303\263" }}}{SECT 1 {PARA 3 "" 0 "" 
{TEXT 205 13 "4. Aritmetika" }}}{SECT 1 {PARA 3 "" 0 "" {TEXT 205 4 "5
. K" }{TEXT 205 8 "\303\255" }{TEXT 205 9 "nai marad" }{TEXT 205 8 "\3
03\251" }{TEXT 205 3 "kol" }{TEXT 205 8 "\303\241" }{TEXT 205 1 "s" }}
}{SECT 1 {PARA 3 "" 0 "" {TEXT 205 14 "6. Newton-iter" }{TEXT 205 8 "
\303\241" }{TEXT 205 2 "ci" }{TEXT 205 8 "\303\263" }{TEXT 205 16 ", H
ensel-felemel" }{TEXT 205 8 "\303\251" }{TEXT 205 1 "s" }}}{SECT 0 
{PARA 3 "" 0 "" {TEXT 205 15 "7. Legnagyobb k" }{TEXT 205 8 "\303\266"
 }{TEXT 205 1 "z" }{TEXT 205 8 "\303\266" }{TEXT 205 6 "s oszt" }{TEXT
 205 8 "\303\263" }}{PARA 0 "" 0 "" {TEXT 201 0 "" }}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 8 "restart;" }}}{SECT 0 {PARA 4 "" 0 "" {TEXT 
206 8 "E 7.1. P" }{TEXT 206 12 "\303\251lda." }{TEXT 206 1 " " }}
{PARA 0 "" 0 "" {TEXT 201 0 "" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 64 "A:=x^8+x^6-3*x^4-3*x^3+8*x^2+2*x-5; B:=3*x^6+5*x^4-4*x^2-9*x+21;
" }}{PARA 11 "" 1 "" {XPPMATH 20 ",0*$)I\"xG6\"\"\")\"\"\"F(*$)F%\"\"'
F(F(*&\"\"$F()F%\"\"%F(!\"\"*&F-F()F%F-F(F0*&F'F()F%\"\"#F(F(*&F5F(F%F
(F(\"\"&F0" }}{PARA 11 "" 1 "" {XPPMATH 20 ",,*&\"\"$\"\"\")I\"xG6\"\"
\"'F%F%*&\"\"&F%)F'\"\"%F%F%*&F-F%)F'\"\"#F%!\"\"*&\"\"*F%F'F%F1\"#@F%
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 113 "p:=23; `mod`:=mods; A \+
mod p; B mod p; Rem(%%,%,x) mod p; Rem(%%,%,x) mod p; Rem(%%,%,x) mod \+
p; Rem(%%,%,x) mod p;" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"#B" }}{PARA 
11 "" 1 "" {XPPMATH 20 "I%modsG%*protectedG" }}{PARA 11 "" 1 "" 
{XPPMATH 20 ",0*$)I\"xG6\"\"\")\"\"\"F(*$)F%\"\"'F(F(*&\"\"$F()F%\"\"%
F(!\"\"*&F-F()F%F-F(F0*&F'F()F%\"\"#F(F(*&F5F(F%F(F(\"\"&F0" }}{PARA 
11 "" 1 "" {XPPMATH 20 ",,*&\"\"$\"\"\")I\"xG6\"\"\"'F%F%*&\"\"&F%)F'
\"\"%F%F%*&F-F%)F'\"\"#F%!\"\"*&\"\"*F%F'F%F1F0F1" }}{PARA 11 "" 1 "" 
{XPPMATH 20 ",(*&\"\"#\"\"\")I\"xG6\"\"\"%F%F%*&\"\"&F%)F'F$F%!\"\"\"
\")F-" }}{PARA 11 "" 1 "" {XPPMATH 20 ",(*$)I\"xG6\"\"\"#\"\"\"!\"\"*&
\"\"*F(F%F(F)F'F(" }}{PARA 11 "" 1 "" {XPPMATH 20 ",&*&\"#5\"\"\"I\"xG
6\"F%F%\"\")!\"\"" }}{PARA 11 "" 1 "" {XPPMATH 20 "!\"%" }}}}{SECT 0 
{PARA 4 "" 0 "" {TEXT 206 8 "E 7.2. P" }{TEXT 206 12 "\303\251lda." }}
{EXCHG {PARA 0 "" 0 "" {XPPEDIT 2 0 "" "%#%?G" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 57 "A; B; rem(%%,%,x); rem(%%,%,x); rem(%%,%,x); rem
(%%,%,x);" }}{PARA 11 "" 1 "" {XPPMATH 20 ",0*$)I\"xG6\"\"\")\"\"\"F(*
$)F%\"\"'F(F(*&\"\"$F()F%\"\"%F(!\"\"*&F-F()F%F-F(F0*&F'F()F%\"\"#F(F(
*&F5F(F%F(F(\"\"&F0" }}{PARA 11 "" 1 "" {XPPMATH 20 ",,*&\"\"$\"\"\")I
\"xG6\"\"\"'F%F%*&\"\"&F%)F'\"\"%F%F%*&F-F%)F'\"\"#F%!\"\"*&\"\"*F%F'F
%F1\"#@F%" }}{PARA 11 "" 1 "" {XPPMATH 20 ",(#\"\"\"\"\"$!\"\"*&#\"\"&
\"\"*F$)I\"xG6\"\"\"%F$F&*&#F$F*F$)F,\"\"#F$F$" }}{PARA 11 "" 1 "" 
{XPPMATH 20 ",(#\"$T%\"#D\"\"\"*&#\"$<\"F%F&)I\"xG6\"\"\"#F&!\"\"*&\"
\"*F&F+F&F." }}{PARA 11 "" 1 "" {XPPMATH 20 ",&#\"'+D5\"%\"f'!\"\"*&#
\"']JB\"&t(>\"\"\"I\"xG6\"F+F+" }}{PARA 11 "" 1 "" {XPPMATH 20 "#!+@[u
)G\"\"*D#*eV&" }}}}{SECT 0 {PARA 4 "" 0 "" {TEXT 206 8 "E 7.3. P" }
{TEXT 206 12 "\303\251lda." }}{EXCHG {PARA 0 "" 0 "" {XPPEDIT 2 0 "" "
%#%?G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 66 "A; B; rem(3^3*%%,%
,x); rem((-15)^3*%%,%,x); rem(15795^3*%%,%,x);\n" }{MPLTEXT 1 0 31 "re
m(1254542875143750^2*%%,%,x);" }}{PARA 11 "" 1 "" {XPPMATH 20 ",0*$)I
\"xG6\"\"\")\"\"\"F(*$)F%\"\"'F(F(*&\"\"$F()F%\"\"%F(!\"\"*&F-F()F%F-F
(F0*&F'F()F%\"\"#F(F(*&F5F(F%F(F(\"\"&F0" }}{PARA 11 "" 1 "" {XPPMATH 
20 ",,*&\"\"$\"\"\")I\"xG6\"\"\"'F%F%*&\"\"&F%)F'\"\"%F%F%*&F-F%)F'\"
\"#F%!\"\"*&\"\"*F%F'F%F1\"#@F%" }}{PARA 11 "" 1 "" {XPPMATH 20 ",(\"
\"*!\"\"*&\"#:\"\"\")I\"xG6\"\"\"%F'F$*&\"\"$F')F)\"\"#F'F'" }}{PARA 
11 "" 1 "" {XPPMATH 20 ",(\"&N&f!\"\"*&\"&&z:\"\"\")I\"xG6\"\"\"#F'F'*
&\"&v.$F'F)F'F'" }}{PARA 11 "" 1 "" {XPPMATH 20 ",&\"1+vVQ$3Yl\"!\"\"*
&\"1]P9vGaa7\"\"\"I\"xG6\"F'F'" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"D+v=
#*>9J45V2]&zQLf7" }}}}{SECT 0 {PARA 4 "" 0 "" {TEXT 206 8 "E 7.4. P" }
{TEXT 206 12 "\303\251lda." }}{EXCHG {PARA 0 "" 0 "" {XPPEDIT 2 0 "" "
%#%?G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 163 "A; B; rem(3^3*%%,
%,x); %/igcd(coeffs(%)); rem(5^3*%%%,%,x); %/igcd(coeffs(%)); rem((-13
)^3*%%%,%,x); %/igcd(coeffs(%)); rem((-4663)^2*%%%,%,x); %/igcd(coeffs
(%)); " }}{PARA 11 "" 1 "" {XPPMATH 20 ",0*$)I\"xG6\"\"\")\"\"\"F(*$)F
%\"\"'F(F(*&\"\"$F()F%\"\"%F(!\"\"*&F-F()F%F-F(F0*&F'F()F%\"\"#F(F(*&F
5F(F%F(F(\"\"&F0" }}{PARA 11 "" 1 "" {XPPMATH 20 ",,*&\"\"$\"\"\")I\"x
G6\"\"\"'F%F%*&\"\"&F%)F'\"\"%F%F%*&F-F%)F'\"\"#F%!\"\"*&\"\"*F%F'F%F1
\"#@F%" }}{PARA 11 "" 1 "" {XPPMATH 20 ",(\"\"*!\"\"*&\"#:\"\"\")I\"xG
6\"\"\"%F'F$*&\"\"$F')F)\"\"#F'F'" }}{PARA 11 "" 1 "" {XPPMATH 20 ",(
\"\"$!\"\"*&\"\"&\"\"\")I\"xG6\"\"\"%F'F$*$)F)\"\"#F'F'" }}{PARA 11 ""
 1 "" {XPPMATH 20 ",(\"%0A\"\"\"*&\"$&eF$)I\"xG6\"\"\"#F$!\"\"*&\"%D6F
$F(F$F+" }}{PARA 11 "" 1 "" {XPPMATH 20 ",(\"#\\\"\"\"*&\"#8F$)I\"xG6
\"\"\"#F$!\"\"*&\"#DF$F(F$F+" }}{PARA 11 "" 1 "" {XPPMATH 20 ",&\"'+vI
\"\"\"*&\"']JBF$I\"xG6\"F$!\"\"" }}{PARA 11 "" 1 "" {XPPMATH 20 ",&\"%
]h\"\"\"*&\"%jYF$I\"xG6\"F$!\"\"" }}{PARA 11 "" 1 "" {XPPMATH 20 "!*pQ
>V\"" }}{PARA 11 "" 1 "" {XPPMATH 20 "!\"\"" }}}}{SECT 0 {PARA 4 "" 0 
"" {TEXT 206 8 "E 7.5. P" }{TEXT 206 12 "\303\251lda." }}{EXCHG {PARA 
0 "" 0 "" {XPPEDIT 2 0 "" "%#%?G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT
 1 0 19 "R[0]:=A; R[1]:=B;\n" }{MPLTEXT 1 0 58 "r[1]:=lcoeff(R[1]); de
lta[1]:=degree(R[0])-degree(R[1]);\n" }{MPLTEXT 1 0 42 "alpha[1]:=r[1]
^(delta[1]+1); beta[1]:=1;\n" }{MPLTEXT 1 0 40 "R[2]:=rem(alpha[1]*R[0
],R[1],x)/beta[1];" }}{PARA 11 "" 1 "" {XPPMATH 20 ",0*$)I\"xG6\"\"\")
\"\"\"F(*$)F%\"\"'F(F(*&\"\"$F()F%\"\"%F(!\"\"*&F-F()F%F-F(F0*&F'F()F%
\"\"#F(F(*&F5F(F%F(F(\"\"&F0" }}{PARA 11 "" 1 "" {XPPMATH 20 ",,*&\"\"
$\"\"\")I\"xG6\"\"\"'F%F%*&\"\"&F%)F'\"\"%F%F%*&F-F%)F'\"\"#F%!\"\"*&
\"\"*F%F'F%F1\"#@F%" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"\"$" }}{PARA 11
 "" 1 "" {XPPMATH 20 "\"\"#" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"#F" }}
{PARA 11 "" 1 "" {XPPMATH 20 "\"\"\"" }}{PARA 11 "" 1 "" {XPPMATH 20 "
,(\"\"*!\"\"*&\"#:\"\"\")I\"xG6\"\"\"%F'F$*&\"\"$F')F)\"\"#F'F'" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 58 "r[2]:=lcoeff(R[2]); delta[2]
:=degree(R[1])-degree(R[2]);\n" }{MPLTEXT 1 0 49 "alpha[2]:=r[2]^(delt
a[2]+1); beta[2]:=alpha[1];\n" }{MPLTEXT 1 0 40 "R[3]:=rem(alpha[2]*R[
1],R[2],x)/beta[2];" }}{PARA 11 "" 1 "" {XPPMATH 20 "!#:" }}{PARA 11 "
" 1 "" {XPPMATH 20 "\"\"#" }}{PARA 11 "" 1 "" {XPPMATH 20 "!%vL" }}
{PARA 11 "" 1 "" {XPPMATH 20 "\"#F" }}{PARA 11 "" 1 "" {XPPMATH 20 ",(
\"%0A!\"\"*&\"$&e\"\"\")I\"xG6\"\"\"#F'F'*&\"%D6F'F)F'F'" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 58 "r[3]:=lcoeff(R[3]); delta[3]:=degre
e(R[2])-degree(R[3]);\n" }{MPLTEXT 1 0 49 "alpha[3]:=r[3]^(delta[3]+1)
; beta[3]:=alpha[2];\n" }{MPLTEXT 1 0 40 "R[4]:=rem(alpha[3]*R[2],R[3]
,x)/beta[3];" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"$&e" }}{PARA 11 "" 1 "
" {XPPMATH 20 "\"\"#" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"*D;?+#" }}
{PARA 11 "" 1 "" {XPPMATH 20 "!%vL" }}{PARA 11 "" 1 "" {XPPMATH 20 ",&
\")+v!\\#\"\"\"*&\")]^))=F$I\"xG6\"F$!\"\"" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 58 "r[4]:=lcoeff(R[4]); delta[4]:=degree(R[3])-degree(R
[4]);\n" }{MPLTEXT 1 0 49 "alpha[4]:=r[4]^(delta[4]+1); beta[4]:=alpha
[3];\n" }{MPLTEXT 1 0 40 "R[5]:=rem(alpha[4]*R[3],R[4],x)/beta[4];" }}
{PARA 11 "" 1 "" {XPPMATH 20 "!)]^))=" }}{PARA 11 "" 1 "" {XPPMATH 20 
"\"\"\"" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"0+D_!*)[mN" }}{PARA 11 "" 1
 "" {XPPMATH 20 "\"*D;?+#" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"*+P$z_" }
}}}{SECT 0 {PARA 4 "" 0 "" {TEXT 206 8 "E 7.6. P" }{TEXT 206 12 "\303
\251lda." }}{EXCHG {PARA 0 "" 0 "" {XPPEDIT 2 0 "" "%#%?G" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "R[0]:=A; R[1]:=B;\n" }{MPLTEXT 1 0 
58 "r[1]:=lcoeff(R[1]); delta[1]:=degree(R[0])-degree(R[1]);\n" }
{MPLTEXT 1 0 70 "alpha[1]:=r[1]^(delta[1]+1); psi[1]:=-1; beta[1]:=(-1
)^(delta[1]+1);\n" }{MPLTEXT 1 0 40 "R[2]:=rem(alpha[1]*R[0],R[1],x)/b
eta[1];" }}{PARA 11 "" 1 "" {XPPMATH 20 ",0*$)I\"xG6\"\"\")\"\"\"F(*$)
F%\"\"'F(F(*&\"\"$F()F%\"\"%F(!\"\"*&F-F()F%F-F(F0*&F'F()F%\"\"#F(F(*&
F5F(F%F(F(\"\"&F0" }}{PARA 11 "" 1 "" {XPPMATH 20 ",,*&\"\"$\"\"\")I\"
xG6\"\"\"'F%F%*&\"\"&F%)F'\"\"%F%F%*&F-F%)F'\"\"#F%!\"\"*&\"\"*F%F'F%F
1\"#@F%" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"\"$" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "\"\"#" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"#F" }}{PARA 11 "
" 1 "" {XPPMATH 20 "!\"\"" }}{PARA 11 "" 1 "" {XPPMATH 20 "!\"\"" }}
{PARA 11 "" 1 "" {XPPMATH 20 ",(\"\"*\"\"\"*&\"#:F$)I\"xG6\"\"\"%F$F$*
&\"\"$F$)F(\"\"#F$!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 58 "
r[2]:=lcoeff(R[2]); delta[2]:=degree(R[1])-degree(R[2]);\n" }{MPLTEXT 
1 0 30 "alpha[2]:=r[2]^(delta[2]+1);\n" }{MPLTEXT 1 0 47 "psi[2]:=(-r[
1])^delta[1]*psi[1]^(1-delta[1]);\n" }{MPLTEXT 1 0 33 "beta[2]:=-r[1]*
psi[2]^delta[2];\n" }{MPLTEXT 1 0 40 "R[3]:=rem(alpha[2]*R[1],R[2],x)/
beta[2];" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"#:" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "\"\"#" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"%vL" }}{PARA 11 
"" 1 "" {XPPMATH 20 "!\"*" }}{PARA 11 "" 1 "" {XPPMATH 20 "!$V#" }}
{PARA 11 "" 1 "" {XPPMATH 20 ",(\"$X#!\"\"*&\"#l\"\"\")I\"xG6\"\"\"#F'
F'*&\"$D\"F'F)F'F'" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 58 "r[3]:
=lcoeff(R[3]); delta[3]:=degree(R[2])-degree(R[3]);\n" }{MPLTEXT 1 0 
30 "alpha[3]:=r[3]^(delta[3]+1);\n" }{MPLTEXT 1 0 47 "psi[3]:=(-r[2])^
delta[2]*psi[2]^(1-delta[2]);\n" }{MPLTEXT 1 0 33 "beta[3]:=-r[2]*psi[
3]^delta[3];\n" }{MPLTEXT 1 0 40 "R[4]:=rem(alpha[3]*R[2],R[3],x)/beta
[3];" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"#l" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "\"\"#" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"'DYF" }}{PARA 11
 "" 1 "" {XPPMATH 20 "!#D" }}{PARA 11 "" 1 "" {XPPMATH 20 "!%v$*" }}
{PARA 11 "" 1 "" {XPPMATH 20 ",&\"&+B\"!\"\"*&\"%E$*\"\"\"I\"xG6\"F'F'
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 58 "r[4]:=lcoeff(R[4]); del
ta[4]:=degree(R[3])-degree(R[4]);\n" }{MPLTEXT 1 0 30 "alpha[4]:=r[4]^
(delta[4]+1);\n" }{MPLTEXT 1 0 47 "psi[4]:=(-r[3])^delta[3]*psi[3]^(1-
delta[3]);\n" }{MPLTEXT 1 0 33 "beta[4]:=-r[3]*psi[4]^delta[4];\n" }
{MPLTEXT 1 0 40 "R[5]:=rem(alpha[4]*R[3],R[4],x)/beta[4];" }}{PARA 11 
"" 1 "" {XPPMATH 20 "\"%E$*" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"\"\"" }
}{PARA 11 "" 1 "" {XPPMATH 20 "\")wU(p)" }}{PARA 11 "" 1 "" {XPPMATH 
20 "!$p\"" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"&&)4\"" }}{PARA 11 "" 1 "
" {XPPMATH 20 "\"'32E" }}}}{SECT 0 {PARA 4 "" 0 "" {TEXT 206 8 "E 7.7.
 P" }{TEXT 206 12 "\303\251lda." }}{EXCHG {PARA 0 "" 0 "" {XPPEDIT 2 0
 "" "%#%?G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "with(LinearAl
gebra);" }}{PARA 11 "" 1 "" {XPPMATH 20 "7brI#&xG6\"I$AddGF$I(AdjointG
F$I3BackwardSubstituteGF$I+BandMatrixGF$I&BasisGF$I-BezoutMatrixGF$I/B
idiagonalFormGF$I-BilinearFormGF$I5CharacteristicMatrixGF$I9Characteri
sticPolynomialGF$I'ColumnGF$I0ColumnDimensionGF$I0ColumnOperationGF$I,
ColumnSpaceGF$I0CompanionMatrixGF$I0ConditionNumberGF$I/ConstantMatrix
GF$I/ConstantVectorGF$I%CopyGF$I2CreatePermutationGF$I-CrossProductGF$
I-DeleteColumnGF$I*DeleteRowGF$I,DeterminantGF$I)DiagonalGF$I/Diagonal
MatrixGF$I*DimensionGF$I+DimensionsGF$I+DotProductGF$I6EigenConditionN
umbersGF$I,EigenvaluesGF$I-EigenvectorsGF$I&EqualGF$I2ForwardSubstitut
eGF$I.FrobeniusFormGF$I4GaussianEliminationGF$I2GenerateEquationsGF$I/
GenerateMatrixGF$I2GetResultDataTypeGF$I/GetResultShapeGF$I5GivensRota
tionMatrixGF$I,GramSchmidtGF$I-HankelMatrixGF$I,HermiteFormGF$I3Hermit
ianTransposeGF$I/HessenbergFormGF$I.HilbertMatrixGF$I2HouseholderMatri
xGF$I/IdentityMatrixGF$I2IntersectionBasisGF$I+IsDefiniteGF$I-IsOrthog
onalGF$I*IsSimilarGF$I*IsUnitaryGF$I2JordanBlockMatrixGF$I+JordanFormG
F$I(LA_MainGF$I0LUDecompositionGF$I-LeastSquaresGF$I,LinearSolveGF$I$M
apGF$I%Map2GF$I*MatrixAddGF$I2MatrixExponentialGF$I/MatrixFunctionGF$I
.MatrixInverseGF$I5MatrixMatrixMultiplyGF$I+MatrixNormGF$I,MatrixPower
GF$I5MatrixScalarMultiplyGF$I5MatrixVectorMultiplyGF$I2MinimalPolynomi
alGF$I&MinorGF$I(ModularGF$I)MultiplyGF$I,NoUserValueGF$I%NormGF$I*Nor
malizeGF$I*NullSpaceGF$I3OuterProductMatrixGF$I*PermanentGF$I&PivotGF$
I*PopovFormGF$I0QRDecompositionGF$I-RandomMatrixGF$I-RandomVectorGF$I%
RankGF$I6RationalCanonicalFormGF$I6ReducedRowEchelonFormGF$I$RowGF$I-R
owDimensionGF$I-RowOperationGF$I)RowSpaceGF$I-ScalarMatrixGF$I/ScalarM
ultiplyGF$I-ScalarVectorGF$I*SchurFormGF$I/SingularValuesGF$I*SmithFor
mGF$I*SubMatrixGF$I*SubVectorGF$I)SumBasisGF$I0SylvesterMatrixGF$I/Toe
plitzMatrixGF$I&TraceGF$I*TransposeGF$I0TridiagonalFormGF$I+UnitVector
GF$I2VandermondeMatrixGF$I*VectorAddGF$I,VectorAngleGF$I5VectorMatrixM
ultiplyGF$I+VectorNormGF$I5VectorScalarMultiplyGF$I+ZeroMatrixGF$I+Zer
oVectorGF$I$ZipGF$" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 41 "A:=3*
x^4+3*x^3+x^2-x-2; B:=x^3-3*x^2+x+5;" }}{PARA 11 "" 1 "" {XPPMATH 20 "
,,*&\"\"$\"\"\")I\"xG6\"\"\"%F%F%*&F$F%)F'F$F%F%*$)F'\"\"#F%F%F'!\"\"F
.F/" }}{PARA 11 "" 1 "" {XPPMATH 20 ",**$)I\"xG6\"\"\"$\"\"\"F(*&F'F()
F%\"\"#F(!\"\"F%F(\"\"&F(" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
27 "S0:=SylvesterMatrix(A,B,x);" }}{PARA 11 "" 1 "" {XPPMATH 20 "-I%mr
owG6#/I+modulenameG6\"I,TypesettingGI(_syslibGF'6%-I#miGF$6%Q#S0F'/%'i
talicGQ%trueF'/%,mathvariantGQ'italicF'-I#moGF$60Q#:=F'/F3Q'normalF'/%
&fenceGQ&falseF'/%*separatorGF=/%)stretchyGF=/%*symmetricGF=/%(largeop
GF=/%.movablelimitsGF=/%'accentGF=/%%formGQ&infixF'/%'lspaceGQ/thickma
thspaceF'/%'rspaceGFO/%(minsizeGQ\"1F'/%(maxsizeGQ)infinityF'-I(mfence
dGF$6&-F#6#-I'mtableGF$6)-I$mtrGF$6)-I$mtdGF$6#-I#mnGF$6$Q\"3F'F9F]o-F
^o6#-Fao6$FTF9-F^o6#-F#6$-F660Q*&uminus0;F'F9F;F>F@FBFDFFFH/FKQ'prefix
F'/FNQ$0emF'/FQQ2verythinmathspaceF'FRFUFfo-F^o6#-F#6$F\\p-Fao6$Q\"2F'
F9-F^o6#-Fao6$Q\"0F'F9F\\q-F[o6)F\\qF]oF]oFdoFhoFepF\\q-F[o6)F\\qF\\qF
]oF]oFdoFhoFep-F[o6)Fdo-F^o6#-F#6$F\\pF`oFdo-F^o6#-Fao6$Q\"5F'F9F\\qF
\\qF\\q-F[o6)F\\qFdoFgqFdoF[rF\\qF\\q-F[o6)F\\qF\\qFdoFgqFdoF[rF\\q-F[
o6)F\\qF\\qF\\qFdoFgqFdoF[r/%%openGQ\"[F'/%&closeGQ\"]F'/I+msemanticsG
F$Q'MatrixF'" }}}}{SECT 0 {PARA 4 "" 0 "" {TEXT 206 8 "E 7.8. P" }
{TEXT 206 12 "\303\251lda." }}{EXCHG {PARA 0 "" 0 "" {XPPEDIT 2 0 "" "
%#%?G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "Determinant(S0);\n
" }}{PARA 11 "" 1 "" {XPPMATH 20 "\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 39 "S1:=SubMatrix(S0,[1..2,4..6],[1..5]):\n" }{MPLTEXT 1 
0 69 "S1[1,5]:=x*A: S1[2,5]:=A: S1[3,5]:=x^2*B: S1[4,5]:=x*B: S1[5,5]:
=B:\n" }{MPLTEXT 1 0 20 "S1; Determinant(S1);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "-I(mfencedG6#/I+modulenameG6\"I,TypesettingGI(_syslibGF'6
&-I%mrowGF$6#-I'mtableGF$6'-I$mtrGF$6'-I$mtdGF$6#-I#mnGF$6$Q\"3F'/%,ma
thvariantGQ'normalF'F4-F56#-F86$Q\"1F'F;-F56#-F,6$-I#moGF$60Q*&uminus0
;F'F;/%&fenceGQ&falseF'/%*separatorGFM/%)stretchyGFM/%*symmetricGFM/%(
largeopGFM/%.movablelimitsGFM/%'accentGFM/%%formGQ'prefixF'/%'lspaceGQ
$0emF'/%'rspaceGQ2verythinmathspaceF'/%(minsizeGFB/%(maxsizeGQ)infinit
yF'F@-F56#-F,6%-I#miGF$6%Q\"xF'/%'italicGQ%trueF'/F<Q'italicF'-FH60Q1&
InvisibleTimes;F'F;FKFNFPFRFTFVFX/FenQ&infixF'Fgn/F[oFinF]oF_o-F#6#-F,
6+-F,6%F7F_p-I%msupGF$6%Ffo-F86$Q\"4F'F;/%1superscriptshiftGQ\"0F'-FH6
0Q\"+F'F;FKFNFPFRFTFVFXFbp/FhnQ0mediummathspaceF'/F[oFhqF]oF_o-F,6%F7F
_p-F\\q6%FfoF7FaqFdq-F,6#-F\\q6%Ffo-F86$Q\"2F'F;Faq-FH60Q(&minus;F'F;F
KFNFPFRFTFVFXFbpFgqFiqF]oF_oFfoFerFbr-F26'-F56#-F86$Q\"0F'F;F4F4F>-F5F
fp-F26'F>-F56#-F,6$FGF7F>-F56#-F86$Q\"5F'F;-F56#-F,6%F`rF_p-F#6#-F,6)-
F,6#F\\rFer-F,6%F7F_pF`rFdqFfoFdqFhs-F26'FjrF>FbsF>-F56#-F,6%FfoF_pF_t
-F26'FjrFjrF>Fbs-F5F`t/%%openGQ\"[F'/%&closeGQ\"]F'/I+msemanticsGF$Q'M
atrixF'" }}{PARA 11 "" 1 "" {XPPMATH 20 ",&*&\"%#>\"\"\"\"I\"xG6\"F%F%
F$F%" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 39 "S2:=SubMatrix(S0,[1
..1,4..5],[1..3]):\n" }{MPLTEXT 1 0 39 "S2[1,3]:=A: S2[2,3]:=x*B: S2[3
,3]:=B:\n" }{MPLTEXT 1 0 20 "S2; Determinant(S2);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "-I(mfencedG6#/I+modulenameG6\"I,TypesettingGI(_syslibGF'6
&-I%mrowGF$6#-I'mtableGF$6%-I$mtrGF$6%-I$mtdGF$6#-I#mnGF$6$Q\"3F'/%,ma
thvariantGQ'normalF'F4-F56#-F,6+-F,6%F7-I#moGF$60Q1&InvisibleTimes;F'F
;/%&fenceGQ&falseF'/%*separatorGFJ/%)stretchyGFJ/%*symmetricGFJ/%(larg
eopGFJ/%.movablelimitsGFJ/%'accentGFJ/%%formGQ&infixF'/%'lspaceGQ$0emF
'/%'rspaceGFfn/%(minsizeGQ\"1F'/%(maxsizeGQ)infinityF'-I%msupGF$6%-I#m
iGF$6%Q\"xF'/%'italicGQ%trueF'/F<Q'italicF'-F86$Q\"4F'F;/%1superscript
shiftGQ\"0F'-FE60Q\"+F'F;FHFKFMFOFQFSFUFW/FenQ0mediummathspaceF'/FhnFe
pFinF\\o-F,6%F7FD-F`o6%FboF7F^pFap-F,6#-F`o6%Fbo-F86$Q\"2F'F;F^p-FE60Q
(&minus;F'F;FHFKFMFOFQFSFUFWFdpFfpFinF\\oFboFbqF_q-F26%-F56#-F86$F[oF;
-F56#-F,6$-FE60Q*&uminus0;F'F;FHFKFMFOFQFSFU/FXQ'prefixF'FZ/FhnQ2veryt
hinmathspaceF'FinF\\oF7-F56#-F,6%FboFD-F#6#-F,6)-F,6#FipFbq-F,6%F7FDF]
qFapFboFap-F86$Q\"5F'F;-F26%-F56#-F86$Q\"0F'F;Fgq-F5F[s/%%openGQ\"[F'/
%&closeGQ\"]F'/I+msemanticsGF$Q'MatrixF'" }}{PARA 11 "" 1 "" {XPPMATH 
20 ",(*&\"#M\"\"\")I\"xG6\"\"\"#F%F%*&\"#GF%F'F%!\"\"\"#iF," }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 28 "S3:=SubMatrix(S0,[4],[1]):\n
" }{MPLTEXT 1 0 13 "S3[1,1]:=B:\n" }{MPLTEXT 1 0 20 "S3; Determinant(S
3);" }}{PARA 11 "" 1 "" {XPPMATH 20 "-I(mfencedG6#/I+modulenameG6\"I,T
ypesettingGI(_syslibGF'6&-I%mrowGF$6#-I'mtableGF$6#-I$mtrGF$6#-I$mtdGF
$6#-F,6)-F,6#-I%msupGF$6%-I#miGF$6%Q\"xF'/%'italicGQ%trueF'/%,mathvari
antGQ'italicF'-I#mnGF$6$Q\"3F'/FFQ'normalF'/%1superscriptshiftGQ\"0F'-
I#moGF$60Q(&minus;F'FL/%&fenceGQ&falseF'/%*separatorGFW/%)stretchyGFW/
%*symmetricGFW/%(largeopGFW/%.movablelimitsGFW/%'accentGFW/%%formGQ&in
fixF'/%'lspaceGQ0mediummathspaceF'/%'rspaceGFco/%(minsizeGQ\"1F'/%(max
sizeGQ)infinityF'-F,6%FH-FR60Q1&InvisibleTimes;F'FLFUFXFZFfnFhnFjnF\\o
F^o/FboQ$0emF'/FeoFbpFfoFio-F<6%F>-FI6$Q\"2F'FLFN-FR60Q\"+F'FLFUFXFZFf
nFhnFjnF\\oF^oFaoFdoFfoFioF>Fip-FI6$Q\"5F'FL/%%openGQ\"[F'/%&closeGQ\"
]F'/I+msemanticsGF$Q'MatrixF'" }}{PARA 11 "" 1 "" {XPPMATH 20 ",**$)I
\"xG6\"\"\"$\"\"\"F(*&F'F()F%\"\"#F(!\"\"F%F(\"\"&F(" }}}}{SECT 0 
{PARA 4 "" 0 "" {TEXT 206 8 "E 7.9. P" }{TEXT 206 12 "\303\251lda." }}
{PARA 0 "" 0 "" {TEXT 201 0 "" }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 64 "A:=x^8+x^6-3*x^4-3*x^3+8*x^2+2*x-5; B:=3*x^6+5*x^4-4*x^2-9*x+21;
" }}{PARA 11 "" 1 "" {XPPMATH 20 ",0*$)I\"xG6\"\"\")\"\"\"F(*$)F%\"\"'
F(F(*&\"\"$F()F%\"\"%F(!\"\"*&F-F()F%F-F(F0*&F'F()F%\"\"#F(F(*&F5F(F%F
(F(\"\"&F0" }}{PARA 11 "" 1 "" {XPPMATH 20 ",,*&\"\"$\"\"\")I\"xG6\"\"
\"'F%F%*&\"\"&F%)F'\"\"%F%F%*&F-F%)F'\"\"#F%!\"\"*&\"\"*F%F'F%F1\"#@F%
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 27 "S0:=SylvesterMatrix(A,B
,x);" }}{PARA 11 "" 1 "" {XPPMATH 20 "-I%mrowG6#/I+modulenameG6\"I,Typ
esettingGI(_syslibGF'6%-I#miGF$6%Q#S0F'/%'italicGQ%trueF'/%,mathvarian
tGQ'italicF'-I#moGF$60Q#:=F'/F3Q'normalF'/%&fenceGQ&falseF'/%*separato
rGF=/%)stretchyGF=/%*symmetricGF=/%(largeopGF=/%.movablelimitsGF=/%'ac
centGF=/%%formGQ&infixF'/%'lspaceGQ/thickmathspaceF'/%'rspaceGFO/%(min
sizeGQ\"1F'/%(maxsizeGQ)infinityF'-I(mactionGF$6$-I(mfencedGF$6%-I'mta
bleGF$6&-I$mtrGF$6#-I$mtdGF$6#-F#6$-F,6%Q*~14~x~14~F'F/F2-F,6%Q'Matrix
F'F/F2-F\\o6#-F_o6#-F#6$-F,6%Q,Data~Type:~F'F/F2-F,6%Q)anythingF'F/F2-
F\\o6#-F_o6#-F#6$-F,6%Q*Storage:~F'F/F2-F,6%Q,rectangularF'F/F2-F\\o6#
-F_o6#-F#6$-F,6%Q(Order:~F'F/F2-F,6%Q.Fortran_orderF'F/F2/%%openGQ\"[F
'/%&closeGQ\"]F'/%+actiontypeGQ-browsertableF'" }}}{EXCHG {PARA 0 "> "
 0 "" {MPLTEXT 1 0 16 "Determinant(S0);" }}{PARA 11 "" 1 "" {XPPMATH 
20 "\"'32E" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 41 "S1:=SubMatrix
(S0,[1..5,7..13],[1..12]):\n" }{MPLTEXT 1 0 201 "S1[1,12]:=x^4*A: S1[2
,12]:=x^3*A:  S1[3,12]:=x^2*A:  S1[4,12]:=x*A:  S1[5,12]:=A:  S1[6,12]
:=x^6*B:  S1[7,12]:=x^5*B: S1[8,12]:=x^4*B: S1[9,12]:=x^3*B: S1[10,12]
:=x^2*B: S1[11,12]:=x*B: S1[12,12]:=B:\n" }{MPLTEXT 1 0 20