Changes between Version 1 and Version 2 of Ticket #14889


Ignore:
Timestamp:
07/13/13 20:32:11 (6 years ago)
Author:
darij
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14889 – Description

    v1 v2  
    2020}}}
    2121
    22 I suspect the last ``True`` is due to ``(1 / (1 - u))^25`` being a dense series, which leads to Sage keeping precision at ``O(u^20)`` rather than moving to a higher exponent. But this seems not to be the whole story, since no such bull happens over the rationals:
    23 
    24 {{{
    25 sage: K.<u> = PowerSeriesRing(QQ)   
    26 sage: u = K.gen()
    27 sage: u ** 25 == 0
    28 False
    29 sage: (1 + u) ** 25 == 1
    30 False
    31 sage: (1 / (1 - u)) ** 25 == 1
    32 False
    33 }}}
     22I suspect the last ``True`` is due to ``(1 / (1 - u))^25`` being a dense series, which leads to Sage keeping precision at ``O(u^20)`` rather than moving to a higher exponent.