Function is_smooth 

pub fn is_smooth(n: u64, bound: u64) -> bool

Check if n is a smooth number: all prime factors <= bound.

Examples

use mathverse_core::integer::is_smooth;

assert!(is_smooth(12, 3));
assert!(!is_smooth(12, 2));