| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Frédéric Goualard a écrit: > that the mulRev1/mulRev2 and powRev1/powRev2 dichotomy is not present. There is only one mulRev, but there are divRev1 and divRev2. We also need powRev1 and powRev2 because the pow(x,y) function is not commutative. You would use divRev1 to narrow X in the relation X/Y = Z and divRev2 to narrow Y. At least that's MY understanding. Michel. ---Sent: 2014-05-16 14:51:53 UTC