Motion M005.01: discussion period begins, until October 17

[Nathalie Revol <Nathalie.Revol@xxxxxxxxxxx>]

Thank you Walter, I consider you second this motion.

Motion M005.01 has been moved by Dmitry Nadezhin and seconded by Walter Mascarenhas.

The text of the motion is attached.

The discussion period starts now, until October 17.

Best regards

Nathalie

PS for Walter: my understanding of a second is simply that you consider the motion worth consideration.

It does not entail that you support it or disapprove. You just put it intor discussion.

Attachment: level2.pdf
Description: Adobe PDF document

On 26 Sep 2016, at 22:42, Walter Mascarenhas <walter.mascarenhas@xxxxxxxxx> wrote:

I support Dmitry's proposal. Does this make me a second?

        walter.

On Mon, Sep 26, 2016 at 5:36 PM, Nathalie Revol <Nathalie.Revol@xxxxxxxxxxx> wrote:

Thank you to George Corliss for correcting me: let us consider this as Motion M005.01 (instead of an amendment).

It is moved by Dmitry Nadezhin. Do we have a second?

Best regards
        Nathalie

> On 26 Sep 2016, at 19:46, Dmitry Nadezhin <dmitry.nadezhin@xxxxxxxxxx> wrote:
>
> Dear colleagues,
>
> The motion M004.02 passed.
> Syntax of interval literals in this motion is restricted against syntax in interval literals in 1788-2015.
> Later discussion showed that such a restriction makes difficult
> to follow the principle formulated in the section 1.1 of P1788.1:
> "A program built on top of an implementation of IEEE P1788.1 should compile and run,
> and give identical output within round off, using an implementation of IEEE Std 1788-2015, or any superset of the former."
>
> Here is a program that illustrates this:
> -----
> char *s = "[ 0x0.0p0 , 1.0 ]";
> bareInterval x = textToBareInterval (s);
> if (isEmpty(x))
>  printf("1788.1\n");
> else
>  printf("1788\n");
> -----
>
> 1788.1 (as of M004.02) returns the Empty but this is containment violation in 1788 .
>
> A possible solution of this contradiction is to preserve in 1788.1 syntax of 1788 interval literals.
> Some literals are difficult for implementation, but 1788.1 would relax accuracy mode of textToInterval(s)
> constructor on difficult strings instead of forbidding them.
> Relaxation of accuracy mode on difficult strings doesn't contradict 1788. See the last paragraph
> of the section 9.8 of 1788 .
>
> Modified level2.pdf is attached.
> It describes full syntax of interval literals in a style simpler than in 1788.
> It also formulates relaxed accuracy of textToInterval(s) on difficult input strings.
> Additions are in blue color, removal is in red color.
>
> Please consider this as an amendment to M004.02 .
>
> Best Regards,
>  -Dima

> <level2.pdf>

------------------------------------------------------------------------------------------------------------

  Nathalie Revol                                                  INRIA Grenoble - Rhone Alpes
  LIP - projet AriC                                                tel: (33) 4 72 72 84 36
  Ecole Normale Superieure de Lyon            fax: (33) 4 72 72 80 80
  69364 Lyon Cedex 07, France                     Nathalie.Revol@xxxxxxxxxxx
                               http://perso.ens-lyon.fr/nathalie.revol/

------------------------------------------------------------------------------------------------------------

------------------------------------------------------------------------------------------------------------

  Nathalie Revol                                                  INRIA Grenoble - Rhone Alpes

  LIP - projet AriC                                                tel: (33) 4 72 72 84 36

  Ecole Normale Superieure de Lyon            fax: (33) 4 72 72 80 80

  69364 Lyon Cedex 07, France                     Nathalie.Revol@xxxxxxxxxxx

                               http://perso.ens-lyon.fr/nathalie.revol/

------------------------------------------------------------------------------------------------------------