bdiv vs redc

Niels Möller nisse at
Tue Jul 17 20:26:53 CEST 2012

Torbjorn Granlund <tg at> 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 mailing list