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; }