Return the next prime number greater than self.

This fonction uses a probabilistic algorithm.

assert(11.to_bi.next_prime == 13.to_bi)

Property definitions

gmp $ BigInt :: next_prime
    # Return the next prime number greater than `self`.
    # This fonction uses a probabilistic algorithm.
    #
    #     assert(11.to_bi.next_prime == 13.to_bi)
    fun next_prime: BigInt do
        var res = new NativeMPZ
        val.nextprime res
        return new BigInt(res)
    end
lib/gmp/gmp.nit:244,5--252,7