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

Re: Draft: P1788.1 Standard for Interval Arithmetic (Simplified)



Of course,  1788.1 is still just a draft, and
I don't see why such an example couldn't be
inserted into it.

Baker

On 09/08/2015 02:03 PM, Walter Mascarenhas wrote:
John,

   Now that I am aware of the arguments
in the previous messages, I understand
very clearly what is the meaning of com and
dac in the standard, and I believe that there is
no need to change the way in which they are
written.

   However, I did get confused at first and
I believe other people are likely to be confused
too if they do not see the example. Once
one looks at the example things become
very clear and there is no doubt left
regarding the sense in which continuity
is used in com's and dac's definition.

   walter.


On Tue, Sep 8, 2015 at 3:32 PM, John Pryce <PryceJD1@xxxxxxxxxxxxx
<mailto:PryceJD1@xxxxxxxxxxxxx>> wrote:

    Walter

    On 8 Sep 2015, at 09:46, Walter Mascarenhas
    <walter.mascarenhas@xxxxxxxxx <mailto:walter.mascarenhas@xxxxxxxxx>>
    wrote:
    > I believe things would be clarified if the standard
    > stated explicitly the expected result for
    >
    >    ceil(  [0.5, 1.0]_com )
    >
    >  and
    >
    >    ceil( [0.5, 0.75]_com )
    >
    > All definitions have pros and cons and we have
    > passed the time to argue about "the best one",
    > but there should be no ambiguity on the standard
    > regarding the committee's choice.

    It seems to me the definition of com and dac in 11.2 of the standard
    is unambiguous, one saying "continuous at each point of" and the
    other "restriction to ... is continuous". Is that OK?

    Pity the example got lost though.

    John Pryce




--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------