pub fn is_smooth(n: u64, bound: u64) -> bool
Whether n is bound-smooth (every prime factor ≤ bound) — the auxiliary isogeny degree of a Kani diamond must be smooth to be efficiently computable.
n
bound