Searched refs:deg1_hilbert_basis (Results 1 – 4 of 4) sorted by relevance
415 deg1_hilbert_basis = true; in set_zero_cone()7380 deg1_hilbert_basis = (Deg1_Elements.size() == Hilbert_Basis.size()); in check_deg1_hilbert_basis()7383 deg1_hilbert_basis = true; in check_deg1_hilbert_basis()7386 deg1_hilbert_basis = false; in check_deg1_hilbert_basis()7734 deg1_hilbert_basis = false; in Full_Cone()7852 deg1_hilbert_basis = false; in Full_Cone()8081 deg1_hilbert_basis = false; in Full_Cone()8193 return deg1_hilbert_basis; in isDeg1HilbertBasis()
98 bool deg1_hilbert_basis; variable
648 bool deg1_hilbert_basis; variable
2717 return deg1_hilbert_basis; in isDeg1HilbertBasis()4848 deg1_hilbert_basis = FC.isDeg1HilbertBasis(); in extract_data()