bdiv vs redc

[Niels Möller]

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?

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.