Searched refs:resinf (Results 1 – 3 of 3) sorted by relevance
20 bool resinf = isInf(-log(0.00));23 test(resinf == true);
56 real resinf = rint(log(0.0));59 test(resinf == log(0.0));
4355 gen ainf=linfnorm(a,context0),binf=linfnorm(btran,context0),resinf=n*ainf*binf; in mmult_int() local4358 double nsteps=nbits(resinf); in mmult_int()4365 if (resinf.type==_INT_){ in mmult_int()