Extending the mpn interface

[Bill Allombert]

On Fri, Feb 15, 2013 at 03:51:02PM +0100, Niels Möller wrote:
> nisse at lysator.liu.se (Niels Möller) writes:
> 
> > But I miss some features in the public interface to do this
> > conveniently; both for mpn <-> mpz interoperation, and there are also
> > some mpn functions which would be very useful but which are not part of
> > the public interface.
> 
> I and Torbjörn had a little offline meeting after lunch today. Some
> conclusions:
> 
> 3. We should be a bit more liberal in making mpn functions public.

Yes, please. What I would really like for PARI/GP:
mpn_powm, mpn_divexact, mpn_rootrem

mpn_halfgcd (this is implemented as part of subquadratic gcd)

a way to precondition the modular reduction (this is implemented as part
of mpz_powm).

Cheers,
Bill.