Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Division in Draft Standard Text, V02.1

I agree with Jürgen's suggestion that there should be an easy way to
obtain the two disjoint intervals resulting from complete division by
an interval containing zero.  Here is a possibility:

    Divp(xx, yy)  =def  Div(xx, (yy Intersect [0, +oo]))
    Divn(xx, yy)  =def  Div(xx, (yy Intersect [-oo, 0]))

A compiler may recognise when both are used near each other for the
same arguments, and perform a single division, just as compilers tend
to recognize joint use of div (/) and rem (%) integer operations.

Michel.
---Sent: 2010-03-16 18:34:05 UTC