Home
last modified time | relevance | path

Searched refs:LLL_METHOD_STR (Results 1 – 4 of 4) sorted by relevance

/dports/math/fplll/fplll-5.4.1/tests/
H A Dtest_hlll.cpp86 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()
H A Dtest_lll.cpp82 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()
/dports/math/fplll/fplll-5.4.1/fplll/
H A Dwrapper.cpp108 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()
H A Ddefs.h194 const char *const LLL_METHOD_STR[6] = {"wrapper", "proved", "heuristic", "fast"}; variable