Re: Motion 37, Kaucher Arithmetic

[Ulrich Kulisch <ulrich.kulisch@xxxxxxx>]

Baker,

I do not quite understand this question.

On Sept. 21, 2012 we got a mail from John Pryce. Part of Draft 05.1 of the standard was attached to this mail. On Page 1 of John's mail I read:

What IS in it.
(a) Chapter/section structure with Ch 1 for introductory material Ch 2 for the set-based standard, Ch 3 for the Kaucher/modal standard, .......

So I conclude that it is already decided or at least desirable that Kaucher/modal arithmetic will be part of the standard. Motion 37 is a first step into this direction. It specifies how the basic arithmetic operations of Kaucher/modal arithmetic should or shall be defined.

Best wishes
Ulrich



Am 26.09.2012 10:44, schrieb Ralph Baker Kearfott:

Ulrich,

To be formally clear, is the actual motion to
include the operations as defined in the section
"The Basic Operations of Kaucher Arithmetic" as

(a) A required component of the standard?

(b) An recommended component which, if implemented,
     must follow the stated definitions?

(c) Something else?

Please clarify.

Baker

On 09/26/2012 02:49 AM, Ulrich Kulisch wrote:

Dear P1788 members,

the attachment contains a motion on Kaucher arithmetic.

With best regards
Ulrich

-- 
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische Mathematik
D-76128 Karlsruhe, Germany
Prof. Ulrich Kulisch

Telefon: +49 721 608-42680
Fax: +49 721 608-46679
E-Mail: ulrich.kulisch@xxxxxxx
www.kit.edu
www.math.kit.edu/ianm2/~kulisch/

KIT - Universität des Landes Baden-Württemberg 
und nationales Großforschungszentrum in der 
Helmholtz-Gesellschaft