|
algebramix_doc 0.3
|
#include <crt_int.hpp>
Definition at line 234 of file crt_int.hpp.
Definition at line 238 of file crt_int.hpp.
References M, mmx::N(), and mmx::value().
{
// construct probable prime moduli of s bits exactly.
typedef modulus<C,V> M;
const nat b= V::template maximum_size_helper<C>::value;
ASSERT (s <= b, "bitsize overflow");
if (s < 2 && n > 0) return false;
integer a (N(v) == 0 ? (integer (1) << (s-1)) : integer (* v[N(v)-1]));
integer p= probable_next_prime (a);
if (bit_size (p) > b) return false;
v << M(as <C> (p));
return true; }