Searched refs:hensel_time (Results 1 – 2 of 2) sorted by relevance
288 I->hensel_time = 0.005*te*(I->Adensity + I->Bdensity)*eblend + in mpoly_gcd_info_measure_hensel()
1407 double hensel_time, brown_time, zippel_time, zippel2_time; member