Searched refs:PREC_DD (Results 1 – 3 of 3) sorted by relevance
206 if (precision > PREC_DD) in proved_loop()248 else if (good_prec <= PREC_DD) in last_lll()262 else if (good_prec <= PREC_DD) in last_lll()334 last_prec = PREC_DD; in lll()450 else if (good_prec <= PREC_DD) in last_hlll()518 last_prec = PREC_DD; in hlll()
140 const int PREC_DD = 106; variable
22 template <> inline unsigned int FP_NR<dd_real>::get_prec() { return PREC_DD; }