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