[][src]Constant antic::FMPZ_POLY_SQRT_DIVCONQUER_CUTOFF

pub const FMPZ_POLY_SQRT_DIVCONQUER_CUTOFF: u32 = 16;