| commit | d2aa985d249425460039c92a912148df6e6682ae | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 6 Nov 2006 22:22:17 +0000 (6 23:22 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 9 Dec 2006 20:34:34 +0000 (9 21:34 +0100) | ||
| tree | ac58628a40066c75074fb364eb32d97c9bbacf50 | treesnapshot (tar.gz zip) |
| parent | 68a8769c59a6198496e4266795893b05131305d6 | commitdiff |
lexmin: handle equalities among parameters
When substituting the original parameters back in, we now also
use DomainPreimage instead of DomainImage by inverting the
transformation matrix.
Using DomainImage can be very slow when there are lots of floors
in the domain since it will try to reconstruct the inequalities
from the transformed generators.
When substituting the original parameters back in, we now also
use DomainPreimage instead of DomainImage by inverting the
transformation matrix.
Using DomainImage can be very slow when there are lots of floors
in the domain since it will try to reconstruct the inequalities
from the transformed generators.
| edomain.cc | diffblobblamehistory | |
| edomain.h | diffblobblamehistory | |
| lexmin.cc | diffblobblamehistory | |
| tests/lexmin/equality.pip | [new file with mode: 0644] | blob |