Searched refs:Hilbert_Basis (Results 1 – 10 of 10) sorted by relevance
402 for(auto H = FC.Hilbert_Basis.begin(); H != FC.Hilbert_Basis.end();){ in make_unimodular()404 H = FC.Hilbert_Basis.erase(H); in make_unimodular()409 for(auto H = FC.Hilbert_Basis.begin(); H != FC.Hilbert_Basis.end();++H){ in make_unimodular()
1194 const Matrix<Integer>& Hilbert_Basis = Result->getHilbertBasisMatrix(); in write_files() local1195 nr = Hilbert_Basis.nr_of_rows(); in write_files()1197 if (Hilbert_Basis[i][dim - 1] == 1) { in write_files()1489 const Matrix<Integer>& Hilbert_Basis = Result->getHilbertBasisMatrix(); in write_files() local1492 nr = Hilbert_Basis.nr_of_rows(); in write_files()1494 Hilbert_Basis.pretty_print(out); in write_files()1498 nr = Hilbert_Basis.nr_of_rows() - Result->getNrDeg1Elements(); in write_files()1502 HighDeg[i] = Hilbert_Basis[i + Result->getNrDeg1Elements()]; in write_files()1510 complete_Hilbert_Basis.append(Hilbert_Basis); in write_files()1515 write_matrix_gen(Hilbert_Basis); in write_files()[all …]
840 Intermediate_HB.extract(Hilbert_Basis); in hilbert_basis_dual()846 verboseOutput() << Hilbert_Basis.size() << endl; in hilbert_basis_dual()941 for (auto it = Hilbert_Basis.begin(); it != Hilbert_Basis.end();) { in to_sublattice()943 it = Hilbert_Basis.erase(it); in to_sublattice()944 Hilbert_Basis.insert(it, tmp); in to_sublattice()
770 if (C_ptr->do_module_gens_intcl || !is_reducible(candi, Hilbert_Basis)) { in evaluate_element()798 auto jj = Hilbert_Basis.begin(); in reduce_against_global()799 for (; jj != Hilbert_Basis.end(); ++jj) { in reduce_against_global()920 Hilbert_Basis.clear(); // this is not a local variable !! in conclude_evaluation()1374 …Hilbert_Basis.splice(Hilbert_Basis.begin(), Coll.Candidates); // but direct reduction against glo… in local_reduction()1376 Hilbert_Basis.clear(); in local_reduction()1385 count_and_reduce(Hilbert_Basis, Coll.Candidates); in local_reduction()1386 Hilbert_Basis.merge(Coll.Candidates, compare_last<Integer>); in local_reduction()
61 list<vector<Integer> > Hilbert_Basis; // the final result variable
173 Hilbert_Basis.clear(); in compute_automorphisms()174 Hilbert_Basis.splice(Hilbert_Basis.begin(), Copy.Hilbert_Basis); in compute_automorphisms()5060 Hilbert_Basis.unique(); in primal_algorithm_set_computed()6556 for (const auto& H : Hilbert_Basis) in find_level0_dim_from_HB()6627 module_rank = Hilbert_Basis.size(); in find_module_rank_from_HB()6639 for (const auto& h : Hilbert_Basis) { in find_module_rank_from_HB()7124 for (const auto& h : Hilbert_Basis) { in select_deg1_elements()7863 Hilbert_Basis.swap(C.Hilbert_Basis); in Full_Cone()7867 Deg1_Elements.swap(C.Hilbert_Basis); in Full_Cone()7940 if (hb == Hilbert_Basis.end()) in check_grading_after_dual_mode()[all …]
95 list<vector<Integer> > Hilbert_Basis; variable
512 offload_fc_ptr->OldCandidates.extract(offload_fc_ptr->Hilbert_Basis); in collect_candidates()517 size = offload_fc_ptr->Hilbert_Basis.size() * (offload_fc_ptr->dim + 1); in collect_candidates()523 { fill_plain(data, size, offload_fc_ptr->Hilbert_Basis); } in collect_candidates()
209 list<vector<Integer>> Hilbert_Basis; variable
4776 typename list<vector<IntegerFC> >::const_iterator FCHB(FC.Hilbert_Basis.begin()); in extract_data()4778 for (; FCHB != FC.Hilbert_Basis.end(); ++FCHB) { in extract_data()4796 typename list<vector<IntegerFC> >::const_iterator FCHB(FC.Hilbert_Basis.begin()); in extract_data()4798 for (; FCHB != FC.Hilbert_Basis.end(); ++FCHB) { in extract_data()