| commit | bbbbdc8fa563f3de09f6712002c1da0a5d5de0a2 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 10 Feb 2006 20:13:28 +0000 (10 21:13 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 10 Feb 2006 20:13:28 +0000 (10 21:13 +0100) | ||
| tree | c14ca34eb61d8be6c8ee50d702642d8e8626ae29 | treesnapshot (tar.gz zip) |
| parent | 62295d39e3660b0d3ee8a0fcb022a84f0431a7e5 | commitdiff |
barvinok_series: remove some more equalities from the enumerated polyhedron.
remove_equalities_p does not remove equalities if they impose
some affine combination of the parameters to be a multiple of some
integer bigger than 1.
We use compress_parms to replace the current set of parameters
by a different set of parameters that have no such constraint.
After computing the generating function based on the new set
of parameters, we then substitute the original set of parameters
back in this generating function.
remove_equalities_p does not remove equalities if they impose
some affine combination of the parameters to be a multiple of some
integer bigger than 1.
We use compress_parms to replace the current set of parameters
by a different set of parameters that have no such constraint.
After computing the generating function based on the new set
of parameters, we then substitute the original set of parameters
back in this generating function.
| barvinok.cc | diffblobblamehistory |