[Cfp-interest 2935] Re: TS-4r augmented arithmetic terminology

[Damian McGuckin]

On Mon, 23 Oct 2023, Damian McGuckin wrote:

> I think head/tail is too widespread to change. I think that your words
> are are a very useful additin. Can the sentence say something like
> 
> |h| >> |t|
> 
> to highlight that 't' is a very close approximation to the exact

Sorry, my typo - should be 'h'.

> result and 't' is a approximate measure of the relative error between
> the exact result and 'h'.

On Mon, 23 Oct 2023, Jim Thomas wrote:

> I think the example using augadd makes this point.

I was catering for thos who forget to read, or do not quite understand the 
example

> We could add a reference to the example:
> 
>      The functions in this clause use these structures to return a ?head? value
> h and ?tail" value t to represent an extra-precise result value given by h + t
> . See EXAMPLE in this clause.

I like it. That does the job.

- Damian