CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2001-10-11 16:41:01

Modified files: doc : definitions.dox

Log message: The paragraph "The Minkowski's theorem" renamed to "Minkowski's theorem. The condition "rank(A) = n" changed to "where A is a matrix of rank n". The note following the definition is reworded so that the conditions are not bracketed. "Linear equalities and inequalities" has been changed to "constraints". "positive multiples of each inequality and ray" has been changed to "positive multiples of each constraint and ray". The word "the" inserted where necessary. The paragraph "The Weil's theorem" renamed to "Weil's theorem.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro...