Home
last modified time | relevance | path

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

/dports/math/latte-integrale/latte-version_1_7_6/code/latte/valuation/
H A DtestLibraryExamples.cpp623 const char * ehrhartPoly[4] = { "1", "35/3", "44", "208/3" }; in finding_ehrhart_polynomial() local
626 assert( ans.ehrhart_coefficients[i] == mpq_class(ehrhartPoly[i])); in finding_ehrhart_polynomial()
/dports/math/latte-integrale/latte-version_1_7_6/code/maple/
H A DConebyconeapproximations_08_11_2010.mpl1142 ehrhartPoly:=0;
1153 …ehrhartPoly:= ehrhartPoly + coef*findEhrhartPolynomial_linearForm(n,nn,simpleCones,ell,M,d,useReal…
1164 return ehrhartPoly;
1186 local ehrhartPoly;
1191 ehrhartPoly:=0;
1237 ehrhartPoly:=ehrhartPoly+term*nn^(M+d-j);
1240 return ehrhartPoly;
1267 local ehrhartPoly;
1299 ehrhartPoly:=0;
1393 ehrhartPoly:=ehrhartPoly+term*nn^(currentDegree);
[all …]
H A Dm-knapsack.mpl27 # ehrhartPoly:=complete_knapsack(L,t,T);
28 # coeff(ehrhartPoly, T^4); #get the leading term's coefficient
29 # eval(subs({T=10, t=10, MOD=latteMod}, ehrhartPoly)); #number of solutions to x_1 + 2x_2 + 3x+3 +…