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,Daniel Krenn,,"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,,Benjamin Hackl Clemens Heuberger,,"Daniel Krenn, Clemens Heuberger","Daniel Krenn, Clemens Heuberger",N/A,,37917b287453015084690b3b5dcbd6240f799ca4,37917b287453015084690b3b5dcbd6240f799ca4,"#19083, #19423, #19576, #20000",