[PPL-devel] ppl/doc definitions.dox
hill at spartacus.cs.unipr.it
Thu Oct 11 15:49:49 CEST 2001
Module name: ppl
Changes by: hill at cs.unipr.it 2001-10-11 15:49:48
doc : definitions.dox
In the definition of rays:
P is defined before P_0;
A and b are defined;
inserted "any point" before r;
The comment that a ray is the direction in which P is infinite,
moved from within the statement of the proposition to before
the proposition and reworded.
In the definition of lines, wording improved.
Comment relating opposite rays with lines made into a separate
paragraph. It is not part of the definition.
More information about the PPL-devel