{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 19 "f[1] := x*z - y^2
 ;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"fG6#\"\"\",&*&%\"xGF'%\"zGF
'F'*$)%\"yG\"\"#F'!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "
f[2] := x^3 - z^2 ;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"fG6#\"\"#,
&*$)%\"xG\"\"$\"\"\"F-*$)%\"zGF'F-!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 39 "G := gbasis( [ f[1] , f[2] ] , grlex );" }}{PARA 11 "
" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 35 "f :=
 -4*x^2*y^2*z^2 + y^6 + 3*z^5 ;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%
\"fG,(*()%\"xG\"\"#\"\"\")%\"yGF)F*)%\"zGF)F*!\"%*$)F,\"\"'F*F**&\"\"$
F*)F.\"\"&F*F*" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "reduce(f,
G,grlex);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "f := x*y - 5*z
^2 + x; " }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"fG,(*&%\"xG\"\"\"%\"yG
F(F(*&\"\"&F()%\"zG\"\"#F(!\"\"F'F(" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 18 "reduce(f,G,grlex);" }}}}{MARK "12" 0 }{VIEWOPTS 1 0 
0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }