[Cfp-interest 1619] Re: TS3 annex review

[Jim Thomas]

My understanding …

A is a subset of B iff every element of A is an element of B. The C standard has several instances of “subset” with this meaning.

A is a strict subset of B iff A is a subset of B and A is not equivalent to B.

“Strict subset” and “proper subset” mean the same thing. The C standard uses “strict subset”. 754 used “proper subset” (one time). An internet search indicates that both terms are widely used and mean the same thing.

In the TS3 there are instances of “is a subset of (or equivalent to)”. The parenthetical part isn’t really needed (which is why it’s in parentheses). We’re trying to be extra clear that we don’t mean just strict subset.

- Jim Thomas


> On Jun 3, 2020, at 11:37 AM, Fred J. Tydeman <tydeman at tybor.com> wrote:
> 
> On Mon, 25 May 2020 17:15:24 -0700 Jim Thomas wrote:
>> 
>> Look for all sorts of errors, technical and editorial. Send comments to me and cc the review team. I'm proposing you complete your review and send comments by Monday, June 8.
>> 
> 
> I think it is more understandable to change
> 
> "strict subset of"
> 
> to
> 
> "strict subset of (or equivalent to)"
> 
> in the FLT_EVAL_METHOD and DEC_EVAL_METHOD sections for the many
> places that is used.
> 
> 
> 
> ---
> Fred J. Tydeman        Tydeman Consulting
> tydeman at tybor.com      Testing, numerics, programming
> +1 (702) 608-6093      Vice-chair of PL22.11 (ANSI "C")
> Sample C99+FPCE tests: http://www.tybor.com
> Savers sleep well, investors eat well, spenders work forever.