Re: [Stds-754] motion for Aug: Additional Conformance Predicates

[r754@xxxxxxxxxxxxxx]

        This is item 25.  - Dan

> From: Ronald Smith <rmsmith1@xxxxxxxxxx>
> Date: Thu, 3 Aug 2006 22:16:04 -0400
> Subject: [Stds-754]  motion for Aug:  Additional Conformance Predicates
>
> Dan, I'd like to make the following motion at the August meeting.
>
> Regards, Ron Smith
>
> (The page numbers and text used in this motion are from
> DRAFT Standard for Floating-Point Arithmetic P754 Draft 1.1.2,
> dated July 28, 2006)
> --------------------------------------------------
> Motion: Additional Conformance Predicates
>
> Page 33, section 7.8.1, "Conformance predicates"
>
> Add the following:
>
> boolean isFormat(StandardLevel, FormatType)
>
> isFormat (S,T) is true iff FormatType T is supported for StandardLevel
> S; where StandardLevel is any of the ANSI-IEEE Floating-Point Standards
> (754, 854, 754R, etc.) and FormatType is any of the formats defined in
> that standard.
>
> Rationale
>
> It is not sufficient for a user (or program) just to know whether the
> programming environment conforms to a particular standard.  The user may
> need to know which formats are supported.  The standards make it
> optional which formats are supported and the programming
> environment may include operations and functions for formats that are
> not fully supported.
>
> _______________________________________________
> Stds-754 mailing list
> Stds-754@xxxxxxxxxxxx
> http://mailman.oakapple.net/mailman/listinfo/stds-754