Cofactor canonicalisation of mpn_gcdext

[Niels Möller]

nisse at lysator.liu.se (Niels Möller) writes:

> To get the old behaviour back, there are a couple of not too difficult
> things that have to be done:
>
> 1. Change interface and implementation of gcdext_1, currently defined
> [...]
> 2. There's one call to gcdext_1, in mpn/gcdext_lehmer.c. [...]
>    Change this code adapt to the new gcdext_1 interface with signed
>    cofactors. 

I'm attaching a patch addressing these first two points. For those with
access to shell, it's also in the repository at ~nisse/hack/gmp-gcdext.

Passes make check, but I haven't investigated what effect it really has
on the cofactors. Next step would be to change the gcdext test code to
require more strict canonicalization.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcdext.patch
Type: text/x-patch
Size: 9642 bytes
Desc: not available
URL: <http://gmplib.org/list-archives/gmp-devel/attachments/20091202/b7cdde4d/attachment.bin>
-------------- next part --------------

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