[−][src]Constant antic::FMPZ_MOD_POLY_GCD_CUTOFF

pub const FMPZ_MOD_POLY_GCD_CUTOFF: u32 = 256;