Re: P1788.1/M001.01: voting period begins
I appreciate the inclusion of the operation cancelMinus.
What I do not like is that the definition of "interval" in 4.2.
which is dependent on the end-point presentation:
"Thus, it comprises the empty set (denoted \empty or
Empty) together with all the nonempty intervals,
denoted [\underline x, \overline x] and defined by ... "
This makes the mid-rad form immediately a
second class presentation.
S Markov
On 30 Nov 2015 at 22:30, Nedialkov, Ned wrote:
From: "Nedialkov, Ned" <nedialk@xxxxxxxxxxx>
To: Nathalie Revol <Nathalie.Revol@xxxxxxxxxxx>
Copies to: Stds-1788 <stds-1788@xxxxxxxx>
Subject: Re: P1788.1/M001.01: voting period begins
Date sent: Mon, 30 Nov 2015 22:30:53 +0000
>
>
> Dear Colleagues,
>
> To follow up, I have attached an updated version with the 4 functions from the
> last motion included
> .
> The text that is different from the original M001.01 is highlighted.
>
> Best regards,
> Ned
>
> On Nov 30, 2015, at 9:57 AM, Nathalie Revol <Nathalie.Revol@xxxxxxxxxxx> wrote:
>
>
> Dear Colleagues,
>
> as Motion M001.01 has been moved by Ned Nedialkov, seconded by Vladik
> Kreinovich (thanks to them both), discussed through Motion M002.01, we can now
> start to vote on Motion M001.01, until Monday December 21.
>
> Before we start voting, I would like you to read carefully the scope and
> purpose of the IEEE P1788.1 working group. I just sent them.
>
> Please find below the original text of Motion M001.01.
>
> Best regards
> Nathalie
>
>
> Begin forwarded message:
>
> From: "Nedialkov, Nedialko" <nedialk@xxxxxxxxxxx>
> Subject: P1788.1/M001.01
> Date: 22 Sep 2015 19:24:25 CEST
> To: IEEEP1788a <stds-1788@xxxxxxxx>
>
>
> Dear Colleagues,
>
> First, thank you for the trust and support.
> I will be sending parts of the simplified standard for discussions and voting.
>
> The first motion is:
>
> I move that Clause 4 "Level 1 description"
> is accepted
>
> The document is attached as a PDF file.
>
> Best regards,
> Ned Nedialkov
>
> --------------------------------------------------------------------------------
> ----------------------------
>
> 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/
>
> --------------------------------------------------------------------------------
> ----------------------------
>
>
>
>
>
>
>
>
>
> <Clause4.pdf>
>
Prof. Svetoslav Markov, DSci, PhD,
Dept. "Math Modelling & Num Analysis", phone: +359-2-979-2876
Inst. of Mathematics and Informatics, fax: +359-2-971-3649
Bulgarian Academy of Sciences, e-mail: smarkov@xxxxxxxxxx
"Acad. G. Bonchev" st., block 8,
BG-1113 Sofia, BULGARIA mobile (gsm): 08888 24567
URL: http://www.math.bas.bg/~bio/
URL: http://www.biomath.bg/S_Markov.php
www.biomath.bg/2016/
http://www.biomathforum.org/biomath/