Searched refs:Positive_Depot (Results 1 – 1 of 1) sorted by relevance
343 CandidateList<Integer> Positive_Depot(true), Negative_Depot(true), in cut_with_halfspace_hilbert_basis() local345 Positive_Depot.verbose = Negative_Depot.verbose = Neutral_Depot.verbose = verbose; in cut_with_halfspace_hilbert_basis()619 splice_them_sort(Positive_Depot, New_Positive_thread); in cut_with_halfspace_hilbert_basis()623 if (Positive_Depot.empty() && Negative_Depot.empty()) in cut_with_halfspace_hilbert_basis()629 for (const auto& c : Positive_Depot.Candidates) { in cut_with_halfspace_hilbert_basis()670 Positive_Depot.reduce_by(New_Neutral_Irred); in cut_with_halfspace_hilbert_basis()682 select_HB(Positive_Depot, guaranteed_HB_deg, New_Positive_Irred, !do_reduction); in cut_with_halfspace_hilbert_basis()688 Positive_Depot.reduce_by(New_Positive_Irred); in cut_with_halfspace_hilbert_basis()