[−][src]Constant antic::FMPZ_POLY_INV_NEWTON_CUTOFF

pub const FMPZ_POLY_INV_NEWTON_CUTOFF: u32 = 32;