[PPL-devel] [GIT] ppl/ppl(master): Fixed a typo in the documentation.
François Galea
francois.galea at uvsq.fr
Fri Mar 19 22:22:13 CET 2010
Module: ppl/ppl
Branch: master
Commit: b831a0b77c3ba4f7dbe716619a8b3f225f430079
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831a0b77c3ba4f7dbe716619a8b3f225f430079
Author: François Galea <francois.galea at 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]
More information about the PPL-devel
mailing list