Searched refs:lagrange_time (Results 1 – 1 of 1) sorted by relevance
7339 double lagrange_time=std::pow(double(as),2)*(as*10+160); in mrref() local7342 lagrange_time *= (summaxdeg[j]+1); in mrref()7354 CERR << "lagrange " << lagrange_time << " bareiss " << bareiss_time << '\n'; in mrref()7355 if (lagrange_time<bareiss_time){ in mrref()