Changes between Initial Version and Version 1 of Ticket #21161, comment 2


Ignore:
Timestamp:
08/03/16 23:18:32 (5 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21161, comment 2

    initial v1  
    33Real Number Field in sqrt2 as the root of x^2 - 2 in [1.41, 1.42]
    44}}}
    5 Ideally (as above), the `X` in `near X` should have the form of an interval `[1.41,1.42]` that specify uniquely the root.
     5Ideally (as above), the `X` in `near X` should have the form of an interval `[1.41,1.42]` that specifies uniquely the root.