{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 "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 15 "with(Groebner):" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 18 "with(Ore_algebra):" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 22 "A:=poly_algebra(x,y):\n" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 27 "T:=termorder(A,plex(y,x)):\n" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 26 "S:=termorder(A,tdeg(y,x)):" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "G:=[y^2*x-y,y^2-x^2];" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6#>%\"GG7$,&*&)%\"yG\"\"#\"\"\"%\"xGF+F+F)!\"\",&*
$F(F+F+*$)F,F*F+F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "t:=gb
asis(G,T);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"tG7$,&*$)%\"xG\"\"#
\"\"\"!\"\"*$)F)\"\"'F+F+,&%\"yGF+*$)F)\"\"$F+F," }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 15 "s:=gbasis(G,S);" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6#>%\"sG7$,&*$)%\"yG\"\"#\"\"\"F+*$)%\"xGF*F+!\"\",&F)F/*$)F.\"\"$
F+F+" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "normalf(y^3*x,t,T);
" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#*$)%\"xG\"\"#\"\"\"" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "normalf(y^3*x,s,S);" }}{PARA 11 "" 
1 "" {XPPMATH 20 "6#*$)%\"xG\"\"#\"\"\"" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}}{MARK "6 0 0" 12 }{VIEWOPTS 1 1 0 1 1 1803 1 1 
1 1 }{PAGENUMBERS 0 1 2 33 1 1 }