#19400: move code of asymptotic expansion module to sage.asymptotic
-----------------------------------------+-------------------------
Reporter: dkrenn | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.10
Component: asymptotic expansions | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #19083 | Stopgaps:
-----------------------------------------+-------------------------
Comment (by jdemeyer):
Replying to [comment:3 dkrenn]:
> - For this asymptotic expansion project we had to create a separate
`asymptotic_expansion_index.rst` in `src/doc/en/reference/rings`, which
seems a bit unnatural.
Why unnatural? We have a separate index in the manual about finite rings
for example, but I don't think we should have `sage.finite_rings`.
> - Also the structure of the reference manual supports this choice: In
its main index there is a section on standard rings and fields
(`sage.rings`). The asymptotic expansions definitly do not belong there.
The best fit (and a good one as well) is the main calculus section of the
reference manual, where it now (since #19083) is.
So you should move to `sage.calculus.asymptotic` or
`sage.symbolic.asymptotic` then...
> - #18528 will live in `sage.manifolds` as well. There are already
projects directly in `sage.*`, e.g. quivers, quadratic forms, ...
Are those things rings? A manifold and a quadratic form certainly is not a
ring, I don't know about quivers.
Asymptotic expansions might not form a ring in the mathematical sense, but
it is sufficiently ring-like (just like the symbolic "ring") that it can
remain in `sage.rings`.
> - The asymptotic expansion project not only consist of the
`AsymptoticRing` (public), but there are term monoids and growth groups
(but both more private than the ring) as well.
How is this relevant?
I think that asymptotic expansions fit nicely next to `polynomials` for
example in `sage.rings`. I just don't want to end up with 100
subdirectories directly in `src/sage`.
Anyway, I don't want to bikeshed too much over this, I'm not going to
actively prevent anybody from moving this to `sage.asymptotic`. Just don't
expect me to review this ticket :-)
--
Ticket URL: <http://trac.sagemath.org/ticket/19400#comment:4>
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.
