Skip to content

Commit

Permalink
Merge pull request #1441 from edgarcosta/reference
Browse files Browse the repository at this point in the history
Fix reference for _fmpz_poly_factor_mignotte
  • Loading branch information
fredrik-johansson authored Oct 9, 2023
2 parents 462d458 + 4dd6790 commit 0e5fa57
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions src/fmpz_poly_factor/factor_zassenhaus.c
Original file line number Diff line number Diff line change
Expand Up @@ -26,8 +26,8 @@
\begin{equation*}
\abs{b_j} \leq \binom{n-1}{j} \abs{f} + \binom{n-1}{j-1} \abs{a_m}
\end{equation*}
where $\abs{f}$ denotes the $2$-norm of $f$. This bound
is due to Mignotte, see e.g., Cohen p.\ 134.
where $\abs{f}$ denotes the $2$-norm of $f$.
This bound is due to Mignotte, see [Coh1996] page 133.
This function sets $B$ such that, for all $0 \leq j \leq \deg(g)$,
$\abs{b_j} \leq B$.
Expand All @@ -39,6 +39,8 @@
Note that the formula degenerates for $j = 0$ and $j = n$
and so in this case we use that the leading (resp.\ constant)
term of $g$ divides the leading (resp.\ constant) term of $f$.
[Coh1996] Cohen, Henri : A course in computational algebraic number theory, Springer, 1996
*/
void _fmpz_poly_factor_mignotte(fmpz_t B, const fmpz *f, slong m)
{
Expand Down

0 comments on commit 0e5fa57

Please sign in to comment.