Searched refs:new_cgs (Results 1 – 1 of 1) sorted by relevance
210 Congruence_System new_cgs; in limited_congruence_extrapolation_assign() local217 new_cgs.insert(cg); in limited_congruence_extrapolation_assign()221 x.add_recycled_congruences(new_cgs); in limited_congruence_extrapolation_assign()419 Congruence_System new_cgs; in limited_generator_extrapolation_assign() local426 new_cgs.insert(cg); in limited_generator_extrapolation_assign()430 x.add_recycled_congruences(new_cgs); in limited_generator_extrapolation_assign()521 Congruence_System new_cgs; in limited_extrapolation_assign() local528 new_cgs.insert(cg); in limited_extrapolation_assign()532 x.add_recycled_congruences(new_cgs); in limited_extrapolation_assign()