rewrote the algorithm of Prop. 1 to avoid floating-point computations (and auxiliary variables). The code need to be reviewed by someone else, and its efficiency compared: if slower than the previous code, just remove the  new one.
rewrote the algorithm of Prop. 1 to avoid floating-point computations
(and auxiliary variables). The code need to be reviewed by someone else,
and its efficiency compared: if slower than the previous code, just remove the 
new one.


git-svn-id: 189946a10c5fc96e9dd03ba7cba917cd4c3d09f4@733 de4796e2-0b1e-0410-91b4-86bc23549317

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs