{VERSION 3 0 "DEC ALPHA UNIX" "3.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 
0 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 }
{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 -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 }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 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }}
{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 48 "P[1]:=-2*(x^2+y^2-z/
2):\nP[2]:=(y-1)^2+(z+4)^2-1:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 36 "Groebner[leadmon](P[1],plex(z,x,y));" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6$\"\"\"%\"zG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
36 "Groebner[leadmon](P[2],plex(z,x,y));" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6$\"\"\"*$)%\"zG\"\"#\"\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 41 "collect(z*P[1]-P[2],[z,x,y],distributed);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#,.*&)%\"xG\"\"#\"\"\"%\"zG\"\"\"!\"#*&F)F()%\"yGF'F(F+*
$F-F(!\"\"F.F'!#;F*F)!\")" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
47 "S[1,2]:=Groebner[spoly](P[1],P[2],plex(z,x,y));" }}{PARA 11 "" 1 "
" {XPPMATH 20 "6#>&%\"SG6$\"\"\"\"\"#,.*&)%\"xGF(\"\"\"%\"zGF'!\"#*&F.
F-)%\"yGF(F-F/*$F1F-!\"\"F2F(!#;F'F.!\")" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 38 "Groebner[leadmon](S[1,2],plex(z,x,y));" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6$!\"#*&)%\"xG\"\"#\"\"\"%\"zG\"\"\"" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 53 "P[3]:=collect(S[1,2]+2*x^2*P[1],[z,
x,y],distributed);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"PG6#\"\"$,0
%\"zG!\")*&F)\"\"\")%\"yG\"\"#\"\"\"!\"#*$)%\"xG\"\"%F0!\"%*&F-F0)F4F/
F0F6!#;F,*$F-F0!\"\"F.F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 51 
"P[3]:=collect(P[3]+2*y^2*P[1],[z,x,y],distributed);" }}{PARA 11 "" 1 
"" {XPPMATH 20 "6#>&%\"PG6#\"\"$,0%\"zG!\")*$)%\"xG\"\"%\"\"\"!\"%*&)%
\"yG\"\"#F/)F-F4F/F*!#;\"\"\"*$F2F/!\"\"F3F4*$)F3F.F/F0" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 47 "P[3]:=collect(P[3]+8*P[1],[z,x,y],d
istributed);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"PG6#\"\"$,0*$)%\"
xG\"\"%\"\"\"!\"%*&)%\"yG\"\"#F-)F+F2F-!\")!#;\"\"\"*$F0F-!#<F1F2*$)F1
F,F-F.*$F3F-F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "P[3]:=-P[
3];" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"PG6#\"\"$,0*$)%\"yG\"\"#\"
\"\"\"#<F+!\"#\"#;\"\"\"*$)%\"xG\"\"%F-F5*&F*F-)F4F,F-\"\")*$)F+F5F-F5
*$F7F-F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 49 "Groebner[reduce
](S[1,2],[P[1],P[2]],plex(z,x,y));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#
,0*$)%\"xG\"\"%\"\"\"!\"%*&)%\"yG\"\"#F()F&F-F(!\")!#;\"\"\"*$F+F(!#<F
,F-*$)F,F'F(F)*$F.F(F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 36 "G
roebner[leadmon](P[1],plex(z,x,y));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6
$\"\"\"%\"zG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 36 "Groebner[le
admon](P[3],plex(z,x,y));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6$\"\"%*$)%
\"xGF#\"\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 45 "collect(x^4
*P[1]-z*P[3],[z,x,y],distributed);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#
,4%\"zG!#;*&F$\"\"\"%\"yGF'\"\"#*&)%\"xGF)\"\"\"F$F-F%*&F$F-)F(F)F-!#<
*(F$F-F/F-F+F-!\")*&)F,\"\"%F-F$F-!\"$*&F$F-)F(F5F-!\"%*$)F,\"\"'F-!\"
#*&F4F-F/F-F=" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 47 "S[1,3]:=Gr
oebner[spoly](P[1],P[3],plex(z,x,y));" }}{PARA 11 "" 1 "" {XPPMATH 20 
"6#>&%\"SG6$\"\"\"\"\"$,2*$)%\"xG\"\"'\"\"\"!\")*&)F,\"\"%F.)%\"yG\"\"
#F.F/*&%\"zGF'F3F.!#<*&F7F.F4F'F5F7!#;*(F7F.F3F.)F,F5F.F/*&F7F.)F4F2F.
!\"%*&F<F.F7F.F:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 49 "Groebne
r[reduce](S[1,3],[P[1],P[3]],plex(z,x,y));" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 47 "S[2
,3]:=Groebner[spoly](P[2],P[3],plex(z,x,y));" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>&%\"SG6$\"\"#\"\"$,6*&)%\"xG\"\"%\"\"\")%\"yGF'F.F-*&F
+F.F0\"\"\"!\")*$F+F.\"#k*&F+F.%\"zGF2\"#K*&)F7F'F.F/F.!#<*&F:F.F0F.F'
*$F:F.!#;*(F:F.F/F.)F,F'F.F3*&F:F.)F0F-F.!\"%*&F@F.F:F.F>" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 49 "Groebner[reduce](S[2,3],[P[2],P[3]]
,plex(z,x,y));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 55 "Groebner[inter_reduce]([seq(P[i],i=
1..3)],plex(z,x,y));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7$,0*$)%\"yG\"
\"#\"\"\"\"#<F'!\"#\"#;\"\"\"*$)%\"xG\"\"%F)F1*&F&F))F0F(F)\"\")*$)F'F
1F)F1*$F3F)F,,(F7F+F%F+%\"zGF-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 0 "" }}}}{MARK "19 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }