Home
last modified time | relevance | path

Searched refs:rank_one_flats (Results 1 – 1 of 1) sorted by relevance

/dports/math/polymake/polymake-4.5/bundled/atint/apps/tropical/src/
H A Dsurface_intersection.cc55 Matrix<Integer> positive_decomposition(const Matrix<Rational> &rank_one_flats, const Matrix<Rationa… in positive_decomposition() argument
57 Matrix<Integer> result(curve_rays.rows(), rank_one_flats.rows()); in positive_decomposition()
61 Vector<Rational> linRep = linearRepresentation(curve_rays.row(cr), rank_one_flats); in positive_decomposition()
96 Integer intersection_multiplicity_via_flats(Matrix<Rational>& rank_one_flats, in intersection_multiplicity_via_flats() argument
103 rank_one_flats = Matrix<Rational>(common::primitive(rank_one_flats)); in intersection_multiplicity_via_flats()
107 Matrix<Integer> curve_a_decompositions = positive_decomposition( rank_one_flats, curve_a_rays); in intersection_multiplicity_via_flats()
108 Matrix<Integer> curve_b_decompositions = positive_decomposition( rank_one_flats, curve_b_rays); in intersection_multiplicity_via_flats()
120 …for (auto pair = entire(all_subsets_of_k( sequence(0,rank_one_flats.rows()), 2)); !pair.at_end(); … in intersection_multiplicity_via_flats()
156 Set<Int> rank_one_flats = face_lattice.call_method("nodes_of_rank", 1); in find_rank_one_vectors() local
164 for (auto j = entire(rank_one_flats); !j.at_end(); ++j) { in find_rank_one_vectors()