Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion31



Dear Ulrich

Apologies for the slow response.

On 27 Dec 2011, at 17:28, Ulrich Kulisch wrote:
> for a few remarks concerning motion 31 please see the attachment.

I have followed most of your suggestions, but not your revised definition of interval hull, since I think in the approach taken by the text, the lattice structure of intervals is of less importance. Indeed, in finite precision the members of an implicit type needn't form a lattice under \subseteq: mid-rad is an example.

John

Attachment: Motion31.pdf
Description: Adobe PDF document