Cofactor canonicalisation of mpn_gcdext

[Niels Möller]

Torbjorn Granlund <tg at gmplib.org> writes:

> I think you forgot to put the code in your shell repo.

I pushed it there, but I didn't update the working directory on shell.
I've done that now.

> I have a hacked test program, but I am not sure it enforces the
> agreed-upon results for border cases (u,0), (0,u), (u,u), (0,0).

The test patch I posted a minute ago is intended to enforce that |s| = 1 or 2|s| <
|v|/g ad similarly for t. IIRC (but I haven't reviewed the discusson
carefully) that's the right conditions except possibly when |u| == |v|.
where it will allow both (1,0) and (0,1).

/Niels



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