=================================================================== RCS file: /home/cvs/OpenXM/doc/Papers/Attic/dag-noro-proc.tex,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- OpenXM/doc/Papers/Attic/dag-noro-proc.tex 2001/11/30 02:02:09 1.7 +++ OpenXM/doc/Papers/Attic/dag-noro-proc.tex 2001/11/30 02:08:46 1.8 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/doc/Papers/dag-noro-proc.tex,v 1.6 2001/11/28 09:05:57 noro Exp $ +% $OpenXM: OpenXM/doc/Papers/dag-noro-proc.tex,v 1.7 2001/11/30 02:02:09 noro Exp $ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % This is a sample input file for your contribution to a multi- % author book to be published by Springer Verlag. @@ -268,7 +268,7 @@ case we can apply a simple modular method to compute t polynomial. \begin{tabbing} Input : a Groebner basis $G$ of $I$, a variable $x_i$\\ -Output : the minimal polynomial of $x$ in $R/I$\\ +Output : the minimal polynomial of $x_i$ in $R/I$\\ do \= \\ \> $p \leftarrow$ a new prime such that $p \not{|} HC(g)$ for all $g \in G$\\ \> $m_p \leftarrow$ the minimal polynomial of $x_i$ in $GF(p)[x_1,\ldots,x_n]/Id(\phi_p(G))$\\