| commit | 8a5ed7d9847c22f3d8fbccb147748a175c4b032c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 9 Aug 2006 16:47:47 +0000 (9 18:47 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 9 Aug 2006 16:49:31 +0000 (9 18:49 +0200) | ||
| tree | 24b88e8b18d2ce8c3e57018171677850898ad7ec | treesnapshot (tar.gz zip) |
| parent | f684f9083ee1b8d559927a968107ad86bb9cc345 | commitdiff |
lexmin.cc: remove_equalities; take preimage with returned matrix
The net effect of computing this preimage should be the same as
computing the image using the other matrix.
However, this change does affect the _order_ of the constraints
in the returned polyhedron, which in turn changes the _order_
of the vertices computed by Polyhedron2Param_SimplifiedDomain.
It appears the current implementation is very sensitive to this order.
On one example, the computation time increases by 20% and the output
increases by 50% due to this change of order.
The net effect of computing this preimage should be the same as
computing the image using the other matrix.
However, this change does affect the _order_ of the constraints
in the returned polyhedron, which in turn changes the _order_
of the vertices computed by Polyhedron2Param_SimplifiedDomain.
It appears the current implementation is very sensitive to this order.
On one example, the computation time increases by 20% and the output
increases by 50% due to this change of order.
| lexmin.cc | diffblobblamehistory |