[PPL-devel] ppl/doc definitions.dox
Matthew Mundell
mattm at comp.leeds.ac.uk
Sat Jan 14 22:56:16 CET 2006
Matthew Mundell <mundell at cs.unipr.it> writes:
> CVSROOT: /cvs/ppl
> Module name: ppl
> Changes by: mundell at cs.unipr.it 2006-01-14 22:48:28
>
> Modified files:
> doc : definitions.dox
>
> Log message:
> Revert last change.
Sorry, I noticed the "and a vector" afterwards. Later in the document
"there exist at least one row" is used, which might be an error.
\subsection Adjacent_Rays Adjacent Rays
Let \f$A\f$ be representing matrix of constraints of a cone \f$C\f$
and \f$Q\f$ the set of rays that generate \f$C\f$. Then two rays
\f$\vect{r}_1\f$ and \f$\vect{r}_2\f$ are <EM>adjacent rays</EM> if
-# there exist at least one row of \f$A\f$ (i.e., a constraint) that
is saturated by both \f$\vect{r}_1\f$ and \f$\vect{r}_2\f$
>
> Patches:
> http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.185&r2=1.186
>
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
More information about the PPL-devel
mailing list