[−][src]Constant antic::NMOD_POLY_SMALL_GCD_CUTOFF

pub const NMOD_POLY_SMALL_GCD_CUTOFF: u32 = 200;