doc: explicitly state that the divisor of an ?div_? operation is positive
commit6f1309183345f31163cc6b8302ff29233055f5b5
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 18 May 2018 18:27:52 +0000 (18 20:27 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 18 May 2018 18:27:52 +0000 (18 20:27 +0200)
treecf856c681889ede134076507955ba8a93af4f61d
parentbb2aed07c27251335979764573818cd569560a75
doc: explicitly state that the divisor of an ?div_? operation is positive

The isl AST generator will always produce division of this form.
For those created by the user, it's the user's responsibility.

Requested-by: Uday Reddy B <udayreddy@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod