November 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 14:34:33 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Names of terms made more descriptive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src Matrix.cc Matrix.inlines.hh Polyhedron ...
by Enea Zaffanella 01 Nov '01

01 Nov '01

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 13:53:54 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now temporary polyhedra are deleted when they are no longer needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

Doxygen bug report: \if does not work (with LaTeX math?)
by Roberto Bagnara 01 Nov '01

01 Nov '01

The attached files exemplify a bug in Doxygen 1.2.11 whereby the use of \if ... \endif causes the production of wrong LaTeX output. To reproduce: $ doxygen Doxyfile $ make ps then see what happens on page 1. All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it PROJECT_NAME = BugReport PROJECT_NUMBER = PPL.2 OUTPUT_DIRECTORY = . OUTPUT_LANGUAGE = English INPUT = definitions.dox GENERATE_LATEX = YES LATEX_OUTPUT = . COMPACT_LATEX = YES // Copyright (C) 2001 Roberto Bagnara <bagnara(a)cs.unipr.it> // // This document describes the Parma Polyhedra Library (PPL). // // Permission is granted to copy, distribute and/or modify this document // under the terms of the GNU Free Documentation License, Version 1.1 or // any later version published by the Free Software Foundation; with no // Invariant Sections, with no Front-Cover Texts, and with no Back-Cover // Texts. // // The PPL is free software; you can redistribute it and/or modify it // under the terms of the GNU General Public License as published by the // Free Software Foundation; either version 2 // of the License, or (at your option) any later version. // // The PPL is distributed in the hope that it will be useful, but WITHOUT // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License // for more details. // // For the most up-to-date information see the Parma Polyhedra Library // site: http://www.cs.unipr.it/ppl/ /*! \mainpage Convex Polyhedra and the PPL \section introduction An Introduction to Convex Polyhedra The following definitions and results are taken from: - G. L. Nemhauser and L. A. Wolsey - Integer and Combinatorial Optimization - Wiley Interscience Series in Discrete Mathematics and Optimization, 1988. - D. K. Wilde - A library for doing polyhedral operations - IRISA Publication interne n. 785, December 1993. - K. Fukuda - Polyhedral Computation FAQ - Swiss Federal Institute of Technology, Lausanne and Zurich, Switzerland, October 2000. Be careful not to confuse the dimension \f$k\f$ of a polyhedron \f$P \subseteq R^n\f$ with the dimension \f$n\f$ of the enclosing vector space. (The following blurb is due to a bug in Doxygen.) \if Implementation_Info The following definitions and results are taken, in addition to the references mentioned before, from: - G. B Dantzig - Linear programming and extensions - Princeton University Press, New Jersey 1963. \section homogeneous Homogeneous Systems To simplify both the constraints and generators representations of a polyhedron \f$P \in R^n\f$, it is useful to map each point \f$\mathbf{x} \in R^n\f$ to a point \f$\mathbf{x}' = (\xi \mathbf{x}, \xi)^T \in R^{n + 1}\f$ where \f$\xi \geq 0\f$. \endif */

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 13:04:28 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Old code for ppl_renew_polyhedron that does not use ppl_delete_polyhedron has been restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

[Doxygen-users] Doxygen bug report: list of related documentation pages
by Roberto Bagnara 01 Nov '01

01 Nov '01

The attached files exemplify a bug in Doxygen 1.2.11 whereby, in the LaTeX list of related documentation pages, bullets are typeset so as to overwrite the index entries. The bug can be seen at work both with or without the COMPACT_LATEX option. To reproduce: $ doxygen Doxyfile $ make ps This report is about the first of a series of bugs we have discovered while working on the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/). The other reports will be mailed shortly. All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it _______________________________________________ Doxygen-users mailing list Doxygen-users(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/doxygen-users PROJECT_NAME = Bug Report PROJECT_NUMBER = PPL.1 OUTPUT_DIRECTORY = . OUTPUT_LANGUAGE = English INPUT = gpl.dox GENERATE_LATEX = YES LATEX_OUTPUT = . COMPACT_LATEX = YES

1 0

Doxygen bug report: list of related documentation pages
by Roberto Bagnara 01 Nov '01

01 Nov '01

The attached files exemplify a bug in Doxygen 1.2.11 whereby, in the LaTeX list of related documentation pages, bullets are typeset so as to overwrite the index entries. The bug can be seen at work both with or without the COMPACT_LATEX option. To reproduce: $ doxygen Doxyfile $ make ps This report is about the first of a series of bugs we have discovered while working on the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/). The other reports will be mailed shortly. All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 11:49:40 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now all but the head variables are projected away. Other general improvements and corrections done. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src Matrix.defs.hh Polyhedron.cc Row.defs. ...
by Enea Zaffanella 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-11-01 10:42:35 Modified files: src : Matrix.defs.hh Polyhedron.cc Row.defs.hh Row.inlines.hh Log message: Using the \relates doxygen command for Row and Matrix. Enclosing inline functions in the namespace delimiters. Avoiding useless namespace qualifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl NEWS
by Roberto Bagnara 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-01 07:48:02 Modified files: . : NEWS Log message: Drafted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.2&…

1 0