#19083: AsymptoticRing: exp & log, cleanup, some improvements, documentation
-------------------------------------+-------------------------------------
Reporter: dkrenn | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: asymptotic | Resolution:
expansions | Merged in:
Keywords: | Reviewers: Daniel Krenn, Clemens
Authors: Benjamin Hackl, | Heuberger
Daniel Krenn | Work issues:
Report Upstream: N/A | Commit:
Branch: | a848139a35e95bfd67d9964fa7412743942de4a4
u/dkrenn/asy/prototype | Stopgaps:
Dependencies: #19073 |
-------------------------------------+-------------------------------------
Comment (by dkrenn):
Replying to [comment:66 cheuberg]:
> 36. `AsymptoticExpansion.rpow`:
> - The algorithm given in the documentation seems to be quite
obvious
> - I do not like "the rest", "the remaining part": those are
actually the asymptotic main parts.
> - Why is the algorithm described in that much detail here and
nowhere (`log`, `exp`, `pow`) else?
Block deleted.
> 40. `AsymptoticRing._element_constructor_`:
> - I do not understand the sentence "If set, then it is assured
that the terms belong to this asymptotic ring (by converting them if
needed)." Who does the converting?
Meanwhile the convert parameter in AsymptoticExpansion has a better
description.
> 41. `AsymptoticRing._create_exact_summand_`: Why is this needed and not
handeled by `.create_summand`?
Deleted and remaining code adapted.
> 42. `AsymptoticRing.create_summand`:
> - doctest case of interesting `data` (i.e. with coefficient and
growth element).
Added.
> - The following is surprising:
> {{{
> sage: AR.<z> = AsymptoticRing('z^QQ', QQ)
> sage: AR.create_summand('exact', growth='z^2')
> z^2
> }}}
> I'd rather expect an error or zero than using an implicit
coefficient of `1`
Changed; now there is an error.
--
Ticket URL: <http://trac.sagemath.org/ticket/19083#comment:92>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
