use RealField(PRECISION) with global variable PRECISION (default 53) instead of RDF[] or RealField(). This enables one to play with different precisions.
use RealField(PRECISION) with global variable PRECISION (default 53)
instead of RDF[] or RealField(). This enables one to play with different
precisions.

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