id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
19316 compute asymptotic expansion to some rational directly dkrenn "Currently we have
{{{
sage: A. = AsymptoticRing(growth_group='y^ZZ', coefficient_ring=QQ)
sage: (y^2 + O(y))^(1/2) # not tested
y + O(1)
}}}
It is not tested, since the current implementation rewrites it to `exp(log(...))` which is not possible in `A`. There is a workaround:
{{{
sage: B. = AsymptoticRing(growth_group='z^QQ * log(z)^QQ', coefficient_ring=QQ)
sage: (z^2 + O(z))^(1/2)
z + O(1)
}}}
The aim of this ticket is to make such things possible directly." defect closed major sage-7.1 asymptotic expansions fixed behackl cheuberg Daniel Krenn, Clemens Heuberger Daniel Krenn, Clemens Heuberger N/A 37917b287453015084690b3b5dcbd6240f799ca4 37917b287453015084690b3b5dcbd6240f799ca4 #19083, #19423, #19576, #20000