Searched refs:min_deg_new (Results 1 – 1 of 1) sorted by relevance
647 size_t min_deg_new = gen0_mindeg + gen1_mindeg; in cut_with_halfspace_hilbert_basis() local649 assert(min_deg_new > 0); in cut_with_halfspace_hilbert_basis()651 size_t all_known_deg = min_deg_new - 1; in cut_with_halfspace_hilbert_basis()