{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 15 "with(Groebner):" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 22 "f[1] := x^4 - y*z^2*w;" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#>&%\"fG6#\"\"\",&*$)%\"xG\"\"%F'F'*(%\"yGF')%\"zG\"\"#F
'%\"wGF'!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "f[2] := x*
y^2 - z^3;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>&%\"fG6#\"\"#,&*&%\"xG
\"\"\")%\"yGF'F+F+*$)%\"zG\"\"$F+!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 22 "f[3] := x^3*z - y^3*w;" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6#>&%\"fG6#\"\"$,&*&)%\"xGF'\"\"\"%\"zGF,F,*&)%\"yGF'F,%\"wGF,!\"
\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "F := convert(f,list);
" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"FG7%,&*$)%\"xG\"\"%\"\"\"F+*(%
\"yGF+)%\"zG\"\"#F+%\"wGF+!\"\",&*&F)F+)F-F0F+F+*$)F/\"\"$F+F2,&*&)F)F
8F+F/F+F+*&)F-F8F+F1F+F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 
"G := gbasis(F,tdeg(x,y,z,w));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"
GG7(,&*&%\"xG\"\"\")%\"yG\"\"#F)F)*$)%\"zG\"\"$F)!\"\",&*&)F(F0F)F/F)F
)*&)F+F0F)%\"wGF)F1,&*$)F(\"\"%F)F)*(F+F))F/F,F)F7F)F1,&*&)F+\"\"&F)F7
F)F1*&)F(F,F))F/F;F)F),&*&F(F))F/\"\"(F)F)*&)F+FHF)F7F)F1,&*$)F/\"#5F)
F)*&)F+\"\"*F)F7F)F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "H :
= gbasis(F,plex(x,y,z,w));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"HG7(
,&*$)%\"zG\"#5\"\"\"!\"\"*&)%\"yG\"\"*F+%\"wGF+F+,&*&%\"xGF+)F)\"\"(F+
F+*&)F/F6F+F1F+F,,&*&F4F+)F/\"\"#F+F+*$)F)\"\"$F+F,,&*&)F/\"\"&F+F1F+F
,*&)F4F<F+)F)\"\"%F+F+,&*&)F4F?F+F)F+F+*&)F/F?F+F1F+F,,&*$)F4FGF+F+*(F
/F+)F)F<F+F1F+F," }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 34 "leadmon
(z^10-y^9*w,tdeg(x,y,z,w));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6$\"\"\"*
$)%\"zG\"#5F#" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 34 "leadmon(z^
10-y^9*w,plex(x,y,z,w));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6$!\"\"*&)%
\"yG\"\"*\"\"\"%\"wGF(" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 111 "Die Be
hauptung stimmt also garnicht, da die reduzierten Groebnerbasen sich u
m konstante Faktoren unterscheiden;" }}{PARA 0 "" 0 "" {TEXT -1 47 "es
 muessen verschiedene Terme normiert werden !" }}}}{MARK "11" 0 }
{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }