| commit | 32c959b1bbbb54741106971abe0b7a1475e4053d | |
| author | Vincent Loechner <loechner@icps.u-strasbg.fr> | |
| Fri, 27 Jun 2008 13:51:50 +0000 (27 15:51 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 29 Jun 2008 08:48:22 +0000 (29 10:48 +0200) | ||
| tree | 94311eca6849374cf5d0ab7ade389f81b7862177 | treesnapshot (tar.gz zip) |
| parent | 5055330ee76966f296eb8abf08029ddf990519bf | commitdiff |
polyparam.c: find_m_faces: correctly compute vertices of unbounded polyhedra
Vertices were not computed if the polyhedron had too large smallest faces.
Added a test to check correctness : Test/pp/salvatore.*
No effect on Ehrhart/Barvinok, since this case cannot occur on (bounded)
polytopes.
[Bug reported by Salvatore Ruggieri -Dept. of Computer Science, Univ. of
Pisa, ITALY]
Vertices were not computed if the polyhedron had too large smallest faces.
Added a test to check correctness : Test/pp/salvatore.*
No effect on Ehrhart/Barvinok, since this case cannot occur on (bounded)
polytopes.
[Bug reported by Salvatore Ruggieri -Dept. of Computer Science, Univ. of
Pisa, ITALY]
| Test/pp/Makefile.am | diffblobblamehistory | |
| Test/pp/salvatore.in | [new file with mode: 0644] | blob |
| Test/pp/salvatore.out | [new file with mode: 0644] | blob |
| source/kernel/polyparam.c | diffblobblamehistory |