Changes between Version 6 and Version 20 of Ticket #24456


Ignore:
Timestamp:
01/03/18 15:14:49 (4 years ago)
Author:
vdelecroix
Comment:

I am fine making it a CategoryObject with category Fields().Infinite().

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24456

    • Property Status changed from needs_review to needs_work
    • Property Dependencies changed from to #24464, #24465
    • Property Commit changed from 78f677ed25ab323d9940a1b038213356aff70a45 to 62d2d219c661a375f86ed6fd7c4f90f782fdf11d
    • Property Summary changed from class for the field of real number to class for the field of real numbers
  • Ticket #24456 – Description

    v6 v20  
    11We create a (mostly abstract) class to model the set of real numbers.
    2 
    3 We also fix
    4 {{{
    5 sage: ZZ.completion(oo, 53)
    6 Real Field with 53 bits of precision
    7 }}}
    8 as `ZZ` is complete (for the usual absolute value)!
    92
    103follow-ups: