A small script that might be usefu to (re)factor a number from saved relations. Examples: ./factor_from_rels c59           ./factor_from_rels c72 0.1 10 30 100
A small script that might be usefu to (re)factor a number from saved relations.
Examples: ./factor_from_rels c59
          ./factor_from_rels c72 0.1 10 30 100

(For LIX people, if you find that script useful, you might want to adapt it
to automatically replace the Examples directory by yours.)



git-svn-id: 189946a10c5fc96e9dd03ba7cba917cd4c3d09f4@808 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