Home
last modified time | relevance | path

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

/dports/math/polymake/polymake-4.5/bundled/atint/apps/tropical/src/
H A Dcoarsen.cc179 Vector<Set<Int>> newcones; in coarsen() local
213 newcones |= ray_set; in coarsen()
243 for (Int nc = 0; nc < newcones.dim(); ++nc) { in coarsen()
244 newcones[nc] = Set<Int>{ ray_index_conversion.map(newcones[nc]) }; in coarsen()
250 result.take("MAXIMAL_POLYTOPES") << newcones; in coarsen()
/dports/math/latte-integrale/latte-version_1_7_6/code/maple/
H A Dm-knapsack.mpl248 more_decomposition_in_cones:=proc(cones) local i,Newuni,Newnonuni,newcones:
252 newcones:=good_cone_dec(cones[1][i][1],cones[1][i][3]);
253 Newnonuni:=[op(Newnonuni),op(newcones[1])];
254 Newuni:=[op(Newuni),op(newcones[2])];
398 polar_more_decomposition_in_cones:=proc(cones) local i,Newuni,Newnonuni,newcones:
402 newcones:=polar_good_cone_dec(cones[1][i][1],cones[1][i][2]);
404 Newnonuni:=[op(Newnonuni),op(newcones[1])];
405 Newuni:=[op(Newuni),op(newcones[2])];
H A DConebyconeapproximations_08_11_2010.mpl265 more_decomposition_in_cones:=proc(cones) local i,Newuni,Newnonuni,newcones:
269 newcones:=good_cone_dec(cones[1][i][1],cones[1][i][3]);
270 Newnonuni:=[op(Newnonuni),op(newcones[1])];
271 Newuni:=[op(Newuni),op(newcones[2])];
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/testingSLandTopEhrhart/TopEhrhart/
H A DTopEhrhart_lib.mpl251 more_decomposition_in_cones:=proc(cones) local i,Newuni,Newnonuni,newcones:
255 newcones:=good_cone_dec(cones[1][i][1],cones[1][i][3]);
256 Newnonuni:=[op(Newnonuni),op(newcones[1])];
257 Newuni:=[op(Newuni),op(newcones[2])];
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/top-ehrhart/
H A DTopEhrhart_lib.mpl251 more_decomposition_in_cones:=proc(cones) local i,Newuni,Newnonuni,newcones:
255 newcones:=good_cone_dec(cones[1][i][1],cones[1][i][3]);
256 Newnonuni:=[op(Newnonuni),op(newcones[1])];
257 Newuni:=[op(Newuni),op(newcones[2])];
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/testingSLandTopEhrhart/SL/
H A DSL_lib.mpl257 more_decomposition_in_cones:=proc(cones) local i,Newuni,Newnonuni,newcones:
261 newcones:=good_cone_dec(cones[1][i][1],cones[1][i][3]);
262 Newnonuni:=[op(Newnonuni),op(newcones[1])];
263 Newuni:=[op(Newuni),op(newcones[2])];