version 1.5, 2001/02/07 07:17:46 |
version 1.6, 2001/02/27 08:07:24 |
|
|
%$OpenXM: OpenXM/doc/compalg/factor.tex,v 1.4 2000/10/03 01:23:58 noro Exp $ |
%$OpenXM: OpenXM/doc/compalg/factor.tex,v 1.5 2001/02/07 07:17:46 noro Exp $ |
\chapter{$BB?9`<0$N0x?tJ,2r(B} |
\chapter{$BB?9`<0$N0x?tJ,2r(B} |
|
|
\section{$BM-8BBN(B} |
\section{$BM-8BBN(B} |
Line 195 $$\GCD(\prod_k g_k,\sum_i n_i g'_i \prod_{k\neq i}g_k) |
|
Line 195 $$\GCD(\prod_k g_k,\sum_i n_i g'_i \prod_{k\neq i}g_k) |
|
\begin{al}($BL5J?J}J,2r(B) |
\begin{al}($BL5J?J}J,2r(B) |
\label{sqfrmod} |
\label{sqfrmod} |
\begin{tabbing} |
\begin{tabbing} |
Input : $f(x) \in K[x]$ ($K$ $B$OI8?t(B $p>0$ $B$NBN(B)\\ |
Input : $f(x) \in K[x]$ ($K$ $B$OI8?t(B $p>0$ $B$NM-8BBN(B)\\ |
Output : $f$ $B$NL5J?J}J,2r(B $f= g_1^{n_1}g_2^{n_2}\cdots$\\ |
Output : $f$ $B$NL5J?J}J,2r(B $f= g_1^{n_1}g_2^{n_2}\cdots$\\ |
$F \leftarrow 1$\\ |
$F \leftarrow 1$\\ |
if \= $f'\neq 0$ \{\\ |
if \= $f'\neq 0$ \{\\ |