Home
last modified time | relevance | path

Searched defs:integratePolynomialAsPLFTriangulation (Results 1 – 2 of 2) sorted by relevance

/dports/math/latte-integrale/latte-version_1_7_6/code/latte/valuation/
H A Dvaluation.h138 bool integratePolynomialAsPLFTriangulation; //decompost polynomial to PLF, use triangulation. variable
H A DPolytopeValuation.h48 integratePolynomialAsPLFTriangulation, //decompose polynomial as product of LF (PLF). enumerator