[Cfp-interest 2230] Re: quantum

[Vincent Lefevre]

On 2021-10-08 15:33:44 +0200, Standards wrote:
> FWIW: a consistent, rigorous set of definitions on floating-point parameters
> (including a definition of ulp) is given in the LIA1 (Language-Independent
> Arithmetic part 1, ISO 10967-1) standard (mentioned in Annex H of the C
> standard). ulp is subsequently used in the specification of the error bounds
> in many mathematical operations and functions (LIA-2) and complex operations
> and functions (LIA-3).
> 
> - Willem Wakker

Yes, and ulp is defined over the real numbers.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)