Searched refs:sum_with_equalities (Results 1 – 1 of 1) sorted by relevance
/dports/math/barvinok/barvinok-0.41.5/ |
H A D | summate.c | 87 static evalue *sum_with_equalities(Polyhedron *P, evalue *E, in sum_with_equalities() function 142 return sum_with_equalities(P, E, nvar, sections, options, in sum_over_polytope_with_equalities() 158 return sum_with_equalities(P, E, nvar, NULL, options, &sum_base_wrap); in sum_base_with_equalities()
|