{VERSION 4 0 "DEC ALPHA UNIX" "4.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 
0 0 1 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 1 }
{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Text Output" -1 2 1 
{CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 0 0 0 0 0 1 3 0 3 0 }1 0 0 
-1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Warning" 2 7 1 {CSTYLE "" -1 -1 "
" 0 1 0 0 255 1 0 0 0 0 0 0 1 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }
{PSTYLE "Maple Output" 0 11 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 
0 0 0 0 0 0 }3 3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 11 12 1 
{CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 }1 0 0 -1 -1 -1 0 
0 0 0 0 0 -1 0 }}
{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}{PARA 7 "" 1 "" 
{TEXT -1 50 "Warning, the name changecoords has been redefined\n" }}
{PARA 7 "" 1 "" {TEXT -1 69 "Warning, `ODE` is implicitly declared loc
al to procedure `readshare`\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 13 "?poly_algebra" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "with
(Ore_algebra):" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 32 "A := poly
_algebra(x,y,z,lambda);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"AG%,Ore
_algebraG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 37 "T := termorder
(A,tdeg(x,y,z,lambda));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"TG%+ter
m_orderG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "F := [3*x^2+2*y
*z-2*x*lambda," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "      2*x*z-2*y*l
ambda," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 27 "      2*x*y-2*z-2*z*lambd
a," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "      x^2+y^2+z^2-1];" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"FG7&,(*$)%\"xG\"\"#\"\"\"\"\"$*(F*
F+%\"yGF+%\"zGF+F+*(F*F+F)F+%'lambdaGF+!\"\",&*&F)F+F/F+F**(F*F+F.F+F1
F+F2,(*&F)F+F.F+F**&F*F+F/F+F2*(F*F+F/F+F1F+F2,*F'F+*$)F.F*F+F+*$)F/F*
F+F+F+F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "G := gbasis(F,T
);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%\"GG7-,&*&%\"xG\"\"\"%\"zGF)F)
*&%\"yGF)%'lambdaGF)!\"\",,*&F,F)F*F)!\"#*(\"\"#F)F(F)F-F)F)*&\"\"$F))
F,F3F)F)*&F5F))F*F3F)F)F5F.,(*&F(F)F,F)F)F*F.*&F*F)F-F)F.,(*$)F(F3F)F5
*(F3F)F,F)F*F)F)*(F3F)F(F)F-F)F.,,F0!\"'*&\"#6F)F8F)F.*&\"\"'F)F(F)F.*
&\"#BF)F-F)F.*&\"#7F))F-F5F)F),,*&F*F))F-F3F)F.*(\"\"&F)F,F)FNF)F)*(FP
F)F,F)F-F)F)F;F)*&F3F)F*F)F),0*$FNF)!#7*(\"\"*F)F,F)F*F)F.*(\"#=F)F(F)
F-F)F)*(FJF)F(F)FNF)F)*&\"\"%F)F8F)F.*&F5F)F(F)F.*&\"#;F)F-F)F.,0*&F8F
)F-F)\"#C*(\"#:F)F,F)F*F)F)*&\"#9F)F8F)F)*(FYF)F(F)F-F)F.*&FJF)FNF)F)*
&F5F)F(F)F.*&F3F)F-F)F),0*(F,F)F*F)F-F)F\\o*(\"#FF)F,F)F*F)F)*&F3F)F8F
)F.*(FYF)F(F)F-F)F.*&FJF)FNF)F)*&F^oF)F(F)F.*&\"#5F)F-F)F),**$)F*F5F)F
^p*(\"#<F)F*F)FNF)F)*(FHF)F*F)F-F)F)*&FfnF)F*F)F.,,*&F,F)F8F)F^p*(\"#8
F)F*F)FNF)F)*(F^pF)F,F)F-F)F)*(FcpF)F*F)F-F)F)*&FfnF)F*F)F)" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 38 "Tl := termorder(A,plex(x,y,z
,lambda));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#TlG%+term_orderG" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "Gl := gbasis(G,Tl);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#GlG7),.*$)%'lambdaG\"\"#\"\"\"!$D#*
&\"$;\"F+)F)\"\"%F+!\"\"*&\"#'*F+)F)\"\"'F+F+*&\"$7#F+)F)\"\"&F+F+*&\"
$$\\F+)F)\"\"$F+F1*&\"#OF+F)F+F+,**&%\"zGF+F)F+\"#D*(\"#CF+FBF+F<F+F+*
(\"#`F+FBF+F(F+F+*&F0F+FBF+F1,.*$)FBF*F+\"%06*&\"$g*F+F8F+F+*&\"%G>F+F
/F+F+*&\"%w?F+F<F+F1*&\"%QVF+F(F+F1*&\"$*=F+F)F+F1,,*&FBF+F(F+F1*(F9F+
%\"yGF+F(F+F+*(F9F+FZF+F)F+F+FAF+*&F*F+FBF+F+,0*(FZF+FBF+F)F+\"%5A*(Fi
nF+FZF+FBF+F+*&\"$k)F+F8F+F1*&\"%'z#F+F/F+F1*&\"#7F+F<F+F+*&\"%\"H'F+F
(F+F+*&\"%ZVF+F)F+F+,0*$)FZF*F+\"%X***&\"&WL\"F+F8F+F1*&\"&cD#F+F/F+F1
*&\"&K_#F+F<F+F+*&\"&r^&F+F(F+F+*&\"&#y5F+F)F+F+FhoF1,0%\"xG\"%:L*(Fep
F+FZF+FBF+F+*&\"%!G&F+F8F+F1*&\"&/1\"F+F/F+F1*&\"%)y%F+F<F+F+*&\"&fQ#F
+F(F+F+*&\"&ZP\"F+F)F+F+" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 42 
"for i to nops(Gl) do [i,indets(Gl[i])] od;" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#7$\"\"\"<#%'lambdaG" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#
7$\"\"#<$%\"zG%'lambdaG" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7$\"\"$<$%
\"zG%'lambdaG" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7$\"\"%<%%\"yG%\"zG%'
lambdaG" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7$\"\"&<%%\"yG%\"zG%'lambda
G" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7$\"\"'<$%\"yG%'lambdaG" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6#7$\"\"(<&%\"xG%\"yG%\"zG%'lambdaG" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "factor(Gl[1]);" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6#*.%'lambdaG\"\"\",&F$\"\")F%!\"\"F%,&F$\"\"#\"\"
$F%F%,&F$F*F+F(F%,&F$F+\"\"%F%F%,&F$F%F%F%F%" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 14 "factor(Gl[2]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "
6#**%\"zG\"\"\",&%'lambdaG\"\"$\"\"%F%F%,&F'\"\")F%!\"\"F%,&F'F%F%F%F%
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "factor(Gl[3]);" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#,.*$)%\"zG\"\"#\"\"\"\"%06*&\"$g*F()%'
lambdaG\"\"&F(F(*&\"%G>F()F-\"\"%F(F(*&\"%w?F()F-\"\"$F(!\"\"*&\"%QVF(
)F-F'F(F7*&\"$*=F(F-F(F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 
"factor(Gl[6]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#,0*$)%\"yG\"\"#\"\"
\"\"%X***&\"&WL\"F()%'lambdaG\"\"&F(!\"\"*&\"&cD#F()F-\"\"%F(F/*&\"&K_
#F()F-\"\"$F(F(*&\"&r^&F()F-F'F(F(*&\"&#y5F(F-F(F(F)F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "map(factor,Gl);" }}{PARA 12 "" 1 "
" {XPPMATH 20 "6#7)*.%'lambdaG\"\"\",&F%\"\")F&!\"\"F&,&F%\"\"#\"\"$F&
F&,&F%F+F,F)F&,&F%F,\"\"%F&F&,&F%F&F&F&F&**%\"zGF&F.F&F'F&F0F&,.*$)F2F
+F&\"%06*&\"$g*F&)F%\"\"&F&F&*&\"%G>F&)F%F/F&F&*&\"%w?F&)F%F,F&F)*&\"%
QVF&)F%F+F&F)*&\"$*=F&F%F&F)*&F0F&,(*&%\"yGF&F%F&F:*&F2F&F%F&F)*&F+F&F
2F&F&F&*&F0F&,,*$F=F&!$k)*&\"%K>F&F@F&F)*&\"%W>F&FCF&F&*&\"%ZVF&F%F&F&
*(\"%5AF&FIF&F2F&F&F&,0*$)FIF+F&\"%X***&\"&WL\"F&F9F&F)*&\"&cD#F&F=F&F
)*&\"&K_#F&F@F&F&*&\"&r^&F&FCF&F&*&\"&#y5F&F%F&F&FenF),0%\"xG\"%:L*(Fb
oF&FIF&F2F&F&*&\"%!G&F&F9F&F)*&\"&/1\"F&F=F&F)*&\"%)y%F&F@F&F&*&\"&fQ#
F&FCF&F&*&\"&ZP\"F&F%F&F&" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 
"" }}}}{MARK "15 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }
{PAGENUMBERS 0 1 2 33 1 1 }