Searched refs:LLL_METHOD_STR (Results 1 – 4 of 4) sorted by relevance
86 cerr << "' for method " << LLL_METHOD_STR[method]; in test_hlll()104 cerr << "Output of HLLL reduction is not HLLL reduced with method " << LLL_METHOD_STR[method] in test_hlll()
82 cerr << "' for method " << LLL_METHOD_STR[method]; in test_lll()98 cerr << "Output of LLL reduction is not LLL reduced with method " << LLL_METHOD_STR[method] in test_lll()
108 cerr << "====== Wrapper: calling " << LLL_METHOD_STR[method] << "<" << num_type_str<Z>() << "," in call_lll()143 cerr << "====== Wrapper: end of " << LLL_METHOD_STR[method] << " method ======\n" << endl; in call_lll()640 << LLL_METHOD_STR[method]); in lll_reduction_z()662 cerr << "Starting LLL method '" << LLL_METHOD_STR[method] << "'" << endl in lll_reduction_z()912 << LLL_METHOD_STR[method]); in hlll_reduction_z()934 cerr << "Starting HLLL method '" << LLL_METHOD_STR[method] << "'" << endl in hlll_reduction_z()
194 const char *const LLL_METHOD_STR[6] = {"wrapper", "proved", "heuristic", "fast"}; variable