bdiv vs redc
nisse at lysator.liu.se
Tue Jul 17 20:26:53 CEST 2012
Torbjorn Granlund <tg at gmplib.org> writes:
> An mpn_remove_1 makes sense.
> We should also extract the Hensel nth root and nth square root from
> mpn/generic/perfpow.c, and put them in their own files. (Some typing
> cleanup might be asked for.)
How do you define hensel square root with remainder? Given a and n, if
there exists an x such that x^2 = a (mod B^n), that seems like the
reasonable definition of the square root. But what if no such x exists;
where should we put the "remainder" in the equation?
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.
More information about the gmp-devel