June 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/src Matrix.defs.hh Matrix.inlines.hh ...
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/09 17:47:18 Modified files: src : Matrix.defs.hh Matrix.inlines.hh Polyhedron.inlines.hh Row.inlines.hh SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.defs.hh Status.defs.hh src/Integer : Integer.defs.hh Log message: Namespace Rule #1: Avoid using directives entirely, especially in header files.

1 0

Polyhedra/src Polyhedron.cc minimize.cc
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/09 17:30:38 Modified files: src : Polyhedron.cc minimize.cc Log message: Typo fixed. Tight loop optimized.

1 0

w3ppl/Download Download.raw cvs.raw
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot Module name: w3ppl Changes by: roberto(a)spartacus.cs.unipr.it 01/06/09 09:20:25 Modified files: Download : Download.raw cvs.raw Log message: CVS page completed. Download page progresses but is still vastly incomplete.

1 0

w3ppl/Download Download.raw cvs.raw
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot Module name: w3ppl Changes by: roberto(a)spartacus.cs.unipr.it 01/06/09 08:23:19 Modified files: Download : Download.raw Added files: Download : cvs.raw Log message: Some progress with the Download page. Instructions on how to use CVS put on a separate page.

1 0

Polyhedra/doc definitions.dox user_definitions.dox
by Angela Stazzone 08 Jun '01

08 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/08 18:10:23 Modified files: doc : definitions.dox user_definitions.dox Log message: Reordered things. definition.dox still to be rechecked.

1 0

w3ppl/ bout/About.raw ownload/Download.raw
by Roberto Bagnara 08 Jun '01

08 Jun '01

CVSROOT: /usr/local/cvsroot Module name: w3ppl Changes by: roberto(a)spartacus.cs.unipr.it 01/06/08 18:05:27 Modified files: About : About.raw Download : Download.raw Log message: Small change in About. Download page started (do not bother to try the links yet).

1 0

experts at Leeds
by P M Hill 08 Jun '01

08 Jun '01

Hi, I have just realised that two authors of work on polyhedra are professors/lecturers in this department: Martin Dyer and Les Proll have authored amongst other things, "An algorithm for determining all extremal points of a convex polytope". (Mathematical programming 1977) I will see if they have a copy of the chernikova paper. ciao, Pat --

1 0

w3ppl/About About.raw
by Patricia Hill 08 Jun '01

08 Jun '01

CVSROOT: /usr/local/cvsroot Module name: w3ppl Changes by: hill(a)spartacus.cs.unipr.it 01/06/08 13:50:50 Modified files: About : About.raw Log message: Some rewording - if you don't like any of the changes - just say so... ;)

1 0

w3ppl/About About.raw
by Roberto Bagnara 08 Jun '01

08 Jun '01

CVSROOT: /usr/local/cvsroot Module name: w3ppl Changes by: roberto(a)spartacus.cs.unipr.it 01/06/08 11:45:07 Modified files: About : About.raw Log message: About page drafted. Pat, can you please make it look like English?

3 3

Polyhedra/src Matrix.cc
by Angela Stazzone 08 Jun '01

08 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/08 13:04:52 Modified files: src : Matrix.cc Log message: Commented back_substitute() and gauss().

1 0