Module: ppl/ppl Branch: master Commit: b831a0b77c3ba4f7dbe716619a8b3f225f430079 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3ba...

Author: François Galea francois.galea@uvsq.fr Date: Fri Mar 19 22:21:49 2010 +0100

Fixed a typo in the documentation.

---

src/PIP_Problem.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index 51e4165..d151fcf 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -458,7 +458,7 @@ operator<<(std::ostream& s, const PIP_Problem& p); Performing substitution again provides us with the values of the original variables: \f[ \left{\begin{array}{l} - x=\left\lfloor\frac{2p+3}{5}\right\rfloor-1\ + x=-\left\lfloor\frac{2p+3}{5}\right\rfloor-1\ y=2\left\lfloor\frac{2p+3}{5}\right\rfloor-2 \end{array}\right. \f]