{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 15 "with(Groebner):" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "f[1] := v*x - u^2 ;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"fG6#\"\"\",&*&%\"vGF'%\"xGF'F'*$)%\"uG\"\"#F'!\"\" " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "f[2] := u*y - v^2 ;" }} {PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"fG6#\"\"#,&*&%\"uG\"\"\"%\"yGF+F+ *$)%\"vGF'F+!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "f[3] : = z - u ;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"fG6#\"\"$,&%\"zG\"\" \"%\"uG!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "F := conver t(f,list);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"FG7%,&*&%\"vG\"\"\"% \"xGF)F)*$)%\"uG\"\"#F)!\"\",&*&F-F)%\"yGF)F)*$)F(F.F)F/,&%\"zGF)F-F/ " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 31 "G := gbasis(F,plex(u,v, x,y,z));" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "G[1];" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#,&*$)%\"zG\"\"$\"\"\"!\"\"*&)%\"xG\"\"#F(%\" yGF(F(" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "f[4] := 1-u*v*w; " }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"fG6#\"\"%,&\"\"\"F)*(%\"uGF)% \"vGF)%\"wGF)!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "F := \+ convert(f,list);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"FG7&,&*&%\"vG \"\"\"%\"xGF)F)*$)%\"uG\"\"#F)!\"\",&*&F-F)%\"yGF)F)*$)F(F.F)F/,&%\"zG F)F-F/,&F)F)*(F-F)F(F)%\"wGF)F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 33 "G := gbasis(F,plex(w,u,v,x,y,z));" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 6 "G[1] ;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 " " }}}}{MARK "10 0 0" 33 }{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 } {PAGENUMBERS 0 1 2 33 1 1 }