Changes between Initial Version and Version 1 of Ticket #24456, comment 27


Ignore:
Timestamp:
01/04/18 15:44:53 (4 years ago)
Author:
egourgoulhon
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24456, comment 27

    initial v1  
    99True
    1010}}}
    11 which is a bit awkward, since all subsequent calculus on `M` has nothing to do with `RR`.
     11which is a bit awkward, since all subsequent calculus on `M` has nothing to do with `RR`. Actually `RR` is used as a proxy for the field of real numbers, so it would be very nice to replace it by something closer to the actual field of real numbers, as the new `RealField` proposed here (as far as I understand).