Changes between Version 3 and Version 4 of Ticket #14889


Ignore:
Timestamp:
07/13/13 20:34:07 (6 years ago)
Author:
vbraun
Comment:

The power series ring tries to keep arbitrary precision if possible, and only switches to series expansion if necessary. So u^25 is kept as exact, even though it is zero to the default_prec=20.

For interactive use, I think this is what one would want. However, for non-interactive use an "always approximate" mode where u^25 is immediately zero would be nice. I have written lots of code where many lines end in +O(u^prec) to get the precision back down.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14889 – Description

    v3 v4  
    2020}}}
    2121
    22 I suspect the last ``True`` is due to ``1 / (1 - u)`` being a dense series, which leads to Sage keeping precision at ``O(u^20)`` rather than moving to a higher exponent.
     22I suspect the last `True` is due to `1 / (1 - u)` being a dense series, which leads to Sage keeping precision at `O(u^20)` rather than moving to a higher exponent.