[−][src]Constant antic::FMPZ_MOD_POLY_HGCD_CUTOFF

pub const FMPZ_MOD_POLY_HGCD_CUTOFF: u32 = 128;