{VERSION 5 0 "IBM INTEL LINUX" "5.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 "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 }}
{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "restart;" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 34 "with(Ore_algebra): with(Groebner):
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "A:=poly_algebra(x,y,z);
" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"AG%,Ore_algebraG" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "M:=[[1,1,1],[1,0,0],[0,1,0]];" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"MG7%7%\"\"\"F'F'7%F'\"\"!F)7%F)F'F
)" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 40 "grlex:=termorder(A,'ma
trix'(M,[x,y,z]));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%&grlexG%+term_
orderG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "f := x^2+y;" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"fG,&*$)%\"xG\"\"#\"\"\"F*%\"yGF*" 
}}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "g := x^4 + 2*x^2*y + y^2 \+
+ 3;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"gG,**$)%\"xG\"\"%\"\"\"F**
(\"\"#F*)F(F,F*%\"yGF*F**$)F.F,F*F*\"\"$F*" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 11 "L := [f,g];" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"
LG7$,&*$)%\"xG\"\"#\"\"\"F+%\"yGF+,**$)F)\"\"%F+F+*(F*F+F(F+F,F+F+*$)F
,F*F+F+\"\"$F+" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "s := spol
y(f,g,grlex);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"sG&-&%+term_order
G6#%'S-polyG6&7',&*$)%\"xG\"\"#\"\"\"F2%\"yGF2F1F2F.\"\"!7',**$)F0\"\"
%F2F2*(F1F2F/F2F3F2F2*$)F3F1F2F2\"\"$F2F9F2F7F4F7F(6#F2" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "s;" }}{PARA 11 "" 1 "" {XPPMATH 20 "
6#,(*&)%\"xG\"\"#\"\"\"%\"yGF(!\"\"*$)F)F'F(F*\"\"$F*" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "r := reduce(s,L,grlex);" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6#>%\"rG!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}}{MARK "3 0 0" 29 }{VIEWOPTS 1 0 0 1 1 1803 1 1 
1 1 }{PAGENUMBERS 0 1 2 33 1 1 }