Home
last modified time | relevance | path

Searched refs:int_max_dist (Results 1 – 3 of 3) sorted by relevance

/dports/math/fplll/fplll-5.4.1/fplll/
H A Dsvpcvp.cpp114 Z_NR<mpz_t> int_max_dist; in shortest_vector_ex() local
142 get_basis_min(int_max_dist, b, 0, d); in shortest_vector_ex()
143 max_dist.set_z(int_max_dist, GMP_RNDU); in shortest_vector_ex()
159 p->int_max_dist = int_max_dist; in shortest_vector_ex()
308 Z_NR<mpz_t> int_max_dist; in shortest_vector_ex() local
338 get_basis_min(int_max_dist, gso, 0, d); in shortest_vector_ex()
339 max_dist.set_z(int_max_dist, GMP_RNDU); in shortest_vector_ex()
354 p->int_max_dist = int_max_dist; in shortest_vector_ex()
/dports/math/fplll/fplll-5.4.1/fplll/enum/
H A Devaluator.cpp296 if (int_max_dist < 0 || new_sol_dist <= int_max_dist) in eval_sol()
300 int_max_dist = new_sol_dist; in eval_sol()
302 this->process_sol(int_dist2Float(int_max_dist), new_sol_coord, max_dist); in eval_sol()
H A Devaluator.h349 int_max_dist = -1;
365 Z_NR<mpz_t> int_max_dist; // Exact norm of the last vector variable