tnt-lib 0.1.4

A Rust implementation of many certificates about Integers
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use super::PrimesLessThan;
use crate::number_theory::primality::{naive::Naive, PrimalityTest};
use crate::number_theory::util;
pub struct NaivePlt {
}

impl PrimesLessThan for NaivePlt {
    type Int = usize;
    fn get_primes(n : Self::Int) -> Vec<Self::Int>{
        let mut primes = Vec::with_capacity(n/(util::log2_floor(n) as usize));
        let mut p = 3;
        primes.push(2);
        while p<n{
            if Naive::is_prime(p as u32) {
                primes.push(p);
            }
            p +=2;
        }
        primes
    }
}