Division in Draft Standard Text, V02.1

["Prof.Dr. Jürgen Wolff von Gudenberg" <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

John, P1788

We have some suggestions to sharpen the definition of division by zero. 
These may be considered in the light of defining a simple hardware 
standard, and as a reaction to the comments on motion 11.

the current wording of the (draft) standard contains several suggestions 
for division by B with b1<0<b2
the result of A/B is defined as [-oo,+oo] and sets trits: defined =-1, 
continuous=-1

the user who wants to receive the 2 parts of the set result has to call
A/[b1,0]  and A/[0,b2] separately.
A language implementation could easily define a function doing this.
(see C++ draft for interval class)

discussion open

Juergen and Marco

John Pryce schrieb:
> P1788
>
> At last I have revised the draft Standard Text in the light of comments received. I urge EVERYONE to read this Version 02, sub-version 1, and give me comments, even if these are only that you (a) like it or (b) hate it.
>
> I think we are at a stage where parts, at least, of this document can be voted on to become official text. I shall discuss with the Officers in the next days on the best procedure to put this in hand.
>
> The Latex of this version is Revision 22 on the P1788 subversion server.
>
> Best wishes
>
> John Pryce