Opened 6 years ago
Last modified 4 years ago
#17601 new enhancement
Meta ticket: Asymptotic Expansions in SageMath — at Version 157
Reported by:  behackl  Owned by:  

Priority:  major  Milestone:  sage7.4 
Component:  asymptotic expansions  Keywords:  asymptotics, gsoc15 
Cc:  dkrenn, cheuberg, ncohen, vdelecroix, malb, mmezzarobba, rws, kalvotom  Merged in:  
Authors:  Benjamin Hackl, Daniel Krenn, Clemens Heuberger  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  public/asy/trunk (Commits)  Commit:  ce77e5096b816f58dbb032aeeadb64a87a0afee5 
Dependencies:  #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000, #20020, #20040, #20043, #20044, #20045  Stopgaps: 
Description (last modified by )
We intend to implement asymptotic expansions in SageMath. We would like to do computations with simple expansions such as
n^{2} + n^{3/2} + O(n^{1/2}),
but also with expansions such as
2^{n} * n + O(n*log(n))
or even multivariate expansions such as
3*k/n + O(k^{2} / n^{2}) with k <= n^{(1/2)}.
Of course, O(n)  O(n) = O(n) must hold and we want to perform various arithmetic operations with these asymptotic expansions. Eventually, specified Oconstants shall also be supported.
See the documentation files for a more examples and a detailed description. A working prototype is include in SageMath 6.10 and a version
containing all features can be found in branch public/asy/trunk
.
Roadmap:
 Implementing a minimal working example
 #17600 (AsymptoticGrowthElement): elements which handle the asymptotic growth. Such an element holds, e.g. n^{2} or k/n or n*log(n). This can compare, multiply etc., but has no coefficient; the order of magnitude is managed here. Concretely for this ticket: MonomialGrowthElement, implementation for powers.
 #18930: Factory for userfriendly generation of growth groups
 #17715 (AsymptoticTerm): a summand for asymptotic expansions. They contain the growth and additional information on the type of the summand. For starters, there will be bigOh terms (e.g.
O(n)
and exact terms (e.g.3*n^2
).  #17693 (MutablePoset): data structure for storing asymptotic terms within an asymptotic expansions.
 #17716 (AsymptoticRing and AsymptoticExpansion): sum of asymptotic terms.
 Extending the functionality of growth groups
 Extending the functionality of the AsymptoticRing and AsymptoticExpansion
 #19048:
AsymptoticRing.an_element()
 #19068: Implement Division for asymptotic expansions.
 #19073: categorial constructions, pushout and coercions (extended) for asymptotic ring and growth groups
 #19083: AsymptoticRing:
exp
,log
, cleanup, some improvements, documentation. contains #19094: Implement higherorder operations like
exp
andlog
for asymptotic expansions
 contains #19094: Implement higherorder operations like
 #19400: move documentation to sage.asymptotic
 #19048:
 Additional dependencies
 We have a working prototype (made of the tickets above).
 Arithmetic, categories and coercion (bugs and improvements)
 #19399: let category of growth group be determined by input
 #19316: compute asymptotic expansion to some rational directly
 #19411: hidden but caught infinite loop in action of cartesian products of growth groups
 #19412: log of an asymptotic expansion ignores coefficient ring
 #19420: make log of growth elements to the base of some powers of elements possible
 #19423: AsymptoticExpansion: combine shared code of invert, log, exp
 #19577: performance improvement of mutable poset used for univariate asymptotic expansions
 #20000: sqrt of AsymptoticExpansion
 #20043: multiplication with zero fails
 #20044: calculate asymptotic expansions to some asymptotic expansions exponents directly
 Conversion (bugs and improvements)
 #19421: let asymptotic terms accept multivariate polynomials
 #19426: AsymptoticRing: convert Orders of symbolic ring
 #19425: Order in symbolic ring: error calling operator
 #19429: extend conversion from SR to growth groups: allow inverses
 #19431: convert asymptotic expansion to the symbolic ring
 #19921: handle zero coefficients when converting asymptotic rings
 #19945: Asymptotic Ring: cannot construct (1/2)^{n }
 #19946: Asymptotic Ring: cannot construct 2^{n} when coefficient ring is SR
 #19947: conversion SR to asymptotic ring
 Other bugs and minor improvements
 #19300: Run benchmarks on
MutablePoset.remove
to decide between two algorithms.  #19424: enable TestSuite for AsymptoticRing
 #19504: better implementation of
AsymptoticExpansion.__hash__
 #19576: parentheses around coefficients of asymptotic expansions
 #19580: use
locals()
in growth group factory  #19981: implementation of
is_exact
for asymptotic expansions  #19987: LaTeXrepresentation of asymptotic expansions
 #19999: infinite recursion creating certain asymptotic expansion
 #20045: move wrongly imported series_precision in AsymptoticRing
 #19300: Run benchmarks on
 Generators for asymptotic expansions
 Singularity analysis
 More features
 Further plans
 for growth groups
 implement dependencies like k <= n^{1/2} for different growth group variables.
 growth groups with asymptotic at a noninfinity point
 MultivariatePuiseuxSeriesRing
 other
 Deal with comparison for asymptotic expansions.
 Check and improve the performance of computations in the AsymptoticRing.
 Implementation of more types of asymptotic terms (littleoh terms, omegaterms, variations of bigOh terms ...)
 for growth groups
 Other related tickets:
 #10519: analytic combinatorics: new code for computing asymptotics for multivariate generating functions
 #19989: asymptotics for multivariate generating functions: zero division error on last coordinate
 #18222: provide <=, <, >=, > for poset elements by the category (depends on #10130)
 #19088: multiline doctests fail when using angle notation (preparser)
 #19269: add category Posets to ZZ and QQ
 #10519: analytic combinatorics: new code for computing asymptotics for multivariate generating functions
Change History (157)
comment:1 Changed 6 years ago by
 Dependencies set to 17600
comment:2 Changed 6 years ago by
 Dependencies changed from 17600 to #17600
comment:3 followup: ↓ 4 Changed 6 years ago by
comment:4 in reply to: ↑ 3 Changed 6 years ago by
comment:5 Changed 6 years ago by
 Cc ncohen added
comment:6 Changed 6 years ago by
 Dependencies changed from #17600 to #17600, #17693
 Description modified (diff)
comment:7 Changed 6 years ago by
 Cc vdelecroix added
comment:8 Changed 6 years ago by
 Dependencies changed from #17600, #17693 to #17600, #17693, #17715, #17716
 Description modified (diff)
comment:9 Changed 6 years ago by
 Cc malb added
comment:10 Changed 6 years ago by
 Cc mmezzarobba added
comment:11 Changed 6 years ago by
Are "asymptotic expressions" equivalent to "transseries" (http://arxiv.org/abs/0801.4877, http://www.texmacs.org/joris/ln/lnabs.html)? Or are they more general, less general, or partially overlapping in scope?
comment:12 Changed 6 years ago by
 Cc rws added
 Milestone changed from sage6.5 to sage6.6
comment:13 followup: ↓ 14 Changed 6 years ago by
Hi,
Whatever you propose, I would say that the most important thing to do is to consider the integration into Sage. In other words:
 how it will be used from Sage
 how it does interact with the Symbolic ring, polynomials, fraction fields, power series and any objects where asymptotic makes sens
I do not see any of this in the ticket description. And it is definitely important to think of it before starting the implementation.
I only see a list of classes, parents and elements whose goal is basically to mimic the symbolic ring by adding some big Oh. I do not see the point of creating so much classes to handle asymptotic terms. Please, motivate and explain your choices.
Vincent
comment:14 in reply to: ↑ 13 ; followup: ↓ 83 Changed 6 years ago by
Replying to vdelecroix:
I only see a list of classes, parents and elements whose goal is basically to mimic the symbolic ring by adding some big Oh.
I rather think of it as a version of the PowerSeriesRing
with additional features (noninteger exponents, several (not completely independent) variables).
comment:15 Changed 6 years ago by
 Cc kalvotom added
comment:16 Changed 6 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716 to #17600, #17693, #17715, #17716, #18182, #18222, #18223
 Description modified (diff)
comment:17 Changed 6 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587
 Description modified (diff)
comment:18 Changed 5 years ago by
 Description modified (diff)
 Keywords gsoc15 added
comment:19 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930
 Description modified (diff)
comment:20 Changed 5 years ago by
 Description modified (diff)
comment:21 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028
 Description modified (diff)
comment:22 Changed 5 years ago by
 Description modified (diff)
comment:23 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048
 Description modified (diff)
comment:24 Changed 5 years ago by
 Description modified (diff)
comment:25 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068
 Description modified (diff)
comment:26 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073
 Description modified (diff)
comment:27 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079
 Description modified (diff)
comment:28 Changed 5 years ago by
 Description modified (diff)
comment:29 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083
 Description modified (diff)
comment:30 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094
 Description modified (diff)
comment:31 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110
 Description modified (diff)
comment:32 Changed 5 years ago by
 Summary changed from MetaTicket: Asymptotic Expressions in Sage to MetaTicket: Asymptotic Expansions in SageMath
comment:33 Changed 5 years ago by
 Description modified (diff)
comment:34 Changed 5 years ago by
 Description modified (diff)
comment:35 Changed 5 years ago by
 Branch set to u/dkrenn/asy/prototype
 Commit set to 70abf65739587016ed71a953585ff56af33e325b
 Description modified (diff)
Last 10 new commits:
47894c8  Merge branch 't/19094/asy/ringexplog' into t/19083/asy/prototype

8894fce  Merge branch 't/17716/asy/asymptoticExpression' into t/19068/asy/inversion

106eacd  Merge branch 't/19068/asy/inversion' into t/19083/asy/prototype

1108cfc  Merge branch 't/17716/asy/asymptoticExpression' into t/19048/asy/an_element

3c2fa0c  Merge branch 't/19048/asy/an_element' into t/19083/asy/prototype

1812a5e  rename docindexfile

0720b14  fix doctests: update since TestSuite now checks for cardinality

14f9a9a  Merge branch 't/19094/asy/ringexplog' into t/19083/asy/prototype

9aba4b6  make entry in reference/index

70abf65  include misc

comment:36 Changed 5 years ago by
 Description modified (diff)
comment:37 Changed 5 years ago by
 Component changed from symbolics to asymptotic expansions
comment:38 Changed 5 years ago by
 Commit changed from 70abf65739587016ed71a953585ff56af33e325b to 2e4a415d7859d3968f612932b36c98318e1823d2
Branch pushed to git repo; I updated commit sha1. New commits:
2e4a415  rename title

comment:39 Changed 5 years ago by
 Commit changed from 2e4a415d7859d3968f612932b36c98318e1823d2 to b0e228b4870e49cfdc9594c5f85173bb889f6722
Branch pushed to git repo; I updated commit sha1. New commits:
cd17673  Merge tag '6.9.beta6' into t/18182/18182on6.8

3eefe25  correct typo in AUTHORS

5fe52e4  fix doctests since name of cartesian product functor has changed

60b9375  revert changes in base_ring of category_object and adapt doctests

8d6de43  Merge remotetracking branch 'trac/u/dkrenn/18182/pushout' into t/19073/asy/groupscoercion

d50cc55  Merge branch 't/19073/asy/groupscoercion' into t/19094/asy/ringexplog

44fbccc  Merge remotetracking branch 'origin/u/dkrenn/asy/ringexplog' into t/19094/asy/ringexplog

09032ee  Merge branch 't/19094/asy/ringexplog' into t/19083/asy/prototype

b0e228b  Merge remotetracking branch 'origin/u/dkrenn/asy/prototype' into t/19083/asy/prototype

comment:40 Changed 5 years ago by
 Commit changed from b0e228b4870e49cfdc9594c5f85173bb889f6722 to 1109ce002874d776617102f2ccc295b410e4a3b6
comment:41 Changed 5 years ago by
 Milestone changed from sage6.6 to sage6.9
comment:42 Changed 5 years ago by
 Description modified (diff)
 Summary changed from MetaTicket: Asymptotic Expansions in SageMath to Metaticket: Asymptotic Expansions in SageMath
comment:43 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269
comment:44 Changed 5 years ago by
 Description modified (diff)
comment:45 Changed 5 years ago by
 Description modified (diff)
comment:46 Changed 5 years ago by
 Description modified (diff)
comment:47 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300
 Description modified (diff)
comment:48 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300, #19305, #19306
 Description modified (diff)
 Summary changed from Metaticket: Asymptotic Expansions in SageMath to Meta ticket: Asymptotic Expansions in SageMath
comment:49 Changed 5 years ago by
 Description modified (diff)
comment:50 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300, #19305, #19306 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316
 Description modified (diff)
comment:51 Changed 5 years ago by
 Commit changed from 1109ce002874d776617102f2ccc295b410e4a3b6 to 3ca2e9179d3bf8ad5a72df9b9b7a69cf25a0adb0
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
6d3e4f4  Trac #18587: nicer output of one link target

66759bb  Revert "remove unreachable ValueError (comment 2)"

0642564  doctest added

7f209ea  improved error message (equal or disjoint var.)

c49740a  Merge branch 'u/behackl/asy/growthgroupcartesian' of trac.sagemath.org:sage into t/19094/asy/ringexplog

4fe08b7  rewrite a doctest to make it work (and mark original test as 'not tested')

4acd110  Merge branch 'u/dkrenn/asy/ringexplog' of trac.sagemath.org:sage into t/19083/asy/prototype

45d0c03  postmerge: fix imports

f62f7cf  postmerge: fix doctests

3ca2e91  fix broken links

comment:52 Changed 5 years ago by
 Commit changed from 3ca2e9179d3bf8ad5a72df9b9b7a69cf25a0adb0 to 7f4272375d6de89bbe7fe5457c11d9165d4622ff
comment:53 Changed 5 years ago by
 Commit changed from 7f4272375d6de89bbe7fe5457c11d9165d4622ff to ff90d7351b6d8c96c7ee077dcc6d0fd7e7cf98df
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
65ce848  Merge branch 'asy/growthgroupcartesian' into asy/growthGroupexponential and resolve merge conflicts

bd93e37  fix doctests

7ec7e7d  fix indentation of one block

e56459a  : > ::

0d469cd  Merge branch 'u/behackl/asy/growthGroupexponential' of trac.sagemath.org:sage into t/19073/asy/groupscoercion

e86db32  Merge branch 'u/dkrenn/asy/asymptoticExpression' of trac.sagemath.org:sage into t/19073/asy/groupscoercion

36e16a3  fix doctests after merge

dd82094  fix duplicated docstringparts

ae300ad  Merge branch 't/19073/asy/groupscoercion' into t/19094/asy/ringexplog

ff90d73  Merge branch 't/19094/asy/ringexplog' into t/19083/asy/prototype

comment:54 Changed 5 years ago by
 Commit changed from ff90d7351b6d8c96c7ee077dcc6d0fd7e7cf98df to c4cd7ed152db8651e0af80951dfe45ed598e4399
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
e8460b9  improve docstring

9e41be5  doctest with infinite iterator inputs

97cb59c  add seealso blocks

17229c6  extend AUTHROS

e33703b  Merge branch 'u/dkrenn/product_cantor_pairing' of trac.sagemath.org:sage into t/19048/asy/an_element

a529d4c  Merge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ringexplog

ba99790  use new product_cantor_pairing and delete old product_diagonal

4a9d3d2  Merge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ringexplog

8204cfa  remove old product_diagonal (superseded by #19319)

c4cd7ed  Merge branch 't/19094/asy/ringexplog' into t/19083/asy/prototype

comment:55 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319
 Description modified (diff)
Last 10 new commits:
e8460b9  improve docstring

9e41be5  doctest with infinite iterator inputs

97cb59c  add seealso blocks

17229c6  extend AUTHROS

e33703b  Merge branch 'u/dkrenn/product_cantor_pairing' of trac.sagemath.org:sage into t/19048/asy/an_element

a529d4c  Merge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ringexplog

ba99790  use new product_cantor_pairing and delete old product_diagonal

4a9d3d2  Merge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ringexplog

8204cfa  remove old product_diagonal (superseded by #19319)

c4cd7ed  Merge branch 't/19094/asy/ringexplog' into t/19083/asy/prototype

comment:56 Changed 5 years ago by
 Commit changed from c4cd7ed152db8651e0af80951dfe45ed598e4399 to 14941885df88ebdb20555268f193367e741fddb3
Branch pushed to git repo; I updated commit sha1. New commits:
88f0013  adapt Trac #19073, comment 20, 1: add missing INPUT/OUTPUT block of combine_exceptions

6659cee  adapt Trac #19073, comment 20, 4: missing INPUT/OUTPUT block of merge_overlapping and extend description

2008f6b  adapt Trac #19073, comment 20, 4: cache keys

1494188  adapt Trac #19073, comment 20, 7: remove Poset category from AsymptoticRing

comment:57 Changed 5 years ago by
 Commit changed from 14941885df88ebdb20555268f193367e741fddb3 to 60b93ab17ef80750fbd053c2219d9bd84fe22bc9
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
4a52a84  Trac 19319: fix doctests

3c5af3b  Trac #19319: fix typo

c20bfe5  Trac #19319: a.next() > next(a) (Python3 compliance)

1fee722  Trac #19319: added a few blanks

96c0366  Trac 19319: return tuples + repeat argument

ceb1db5  Trac #19048: Merge #19319

3fd53d6  Trac #19048: rename product_cantor_pairing to cantor_product (see #19319)

617c593  Trac #19048: Fix doctests (order in cantor_product changed)

9213baa  Merge branch 'u/cheuberg/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ringexplog

60b93ab  Merge branch 'u/dkrenn/asy/ringexplog' of trac.sagemath.org:sage into t/19083/asy/prototype

comment:58 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319
 Description modified (diff)
comment:59 Changed 5 years ago by
 Commit changed from 60b93ab17ef80750fbd053c2219d9bd84fe22bc9 to 2cba56bd14842af761cd4eb7eb1fb56a50424724
comment:60 Changed 5 years ago by
 Commit changed from 2cba56bd14842af761cd4eb7eb1fb56a50424724 to a39204c67440a804066b1877937cccdca7593e92
Branch pushed to git repo; I updated commit sha1. New commits:
2a80346  Trac #19073: simplify signatures of helper functions in merge_overlapping

1583ffc  Trac #19073: Reword and add doctest for _pushout_

8a32f1f  correct PEP8spacings in doctest

05862f4  Merge branch 't/19073/asy/groupscoercion' into t/19094/asy/ringexplog

b160261  forgotten changes of last merge

d0c0f15  Merge branch 't/19094/asy/ringexplog' into t/19083/asy/prototype

a39204c  changes part 2 (of 2) after comments of cheuberg

comment:61 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399
 Description modified (diff)
comment:62 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400
 Description modified (diff)
comment:63 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412
 Description modified (diff)
comment:64 Changed 5 years ago by
 Commit changed from a39204c67440a804066b1877937cccdca7593e92 to e8ad893715b0dfc8a3907a05382b0c1cba57b818
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
0ca6efd  Trac #19094/#19083 comment 60, 11: correct wrong log and give log in errors a base

71802da  Trac #19094/#19083 comment 60, 8: rename to _create_element_in_extension_

e2285e7  Trac #19094/#19083 comment 60, 8: rewrite description of _create_element_in_extension_

4cb775f  Trac #19094/#19083 comment 60, 12: add doctest in _rpow_element to test parameter base

51f796c  Trac #19094/#19083 comment 60, 12: document _rpow_element 2^x

2f110db  Trac #19094/#19083 comment 60, 13: simplify ExponentialGrowthElement._repr_

4c49d02  Trac #19094/#19083 comment 60, 14: rewrite keyword arguments documentation of GrowthGroupFactory

d2cc73a  add forgotten "EXAMPLES::" line

498dbad  Trac #19094/#19083 comment 60, 15: add a doctest to GenericProduct._create_element_via_parent_

e8ad893  Trac #19094/#19083 comment 60, 16: delte misplaced statement in docstring

comment:65 Changed 5 years ago by
 Description modified (diff)
comment:66 Changed 5 years ago by
 Commit changed from e8ad893715b0dfc8a3907a05382b0c1cba57b818 to b66497d7e1dfe12d486b0c50bef65547f28ed44f
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
c5dadf7  Trac #19083: More interesting doctest by including a coefficient

e2a0c6e  Trac #19083: minor language issues

ac9d4bc  Trac #19083: ReSt errors

b6ac6c1  Trac #19083: abbreviate link

b85176a  Trac #19083: break long lines

6b45b79  Trac #19083: mark one doctest as indirect

0481cda  Trac #19083: simplify doctest

5867787  Trac #19083: o(1) instead of O(1) for use of taylor series

2c60570  Trac #19083: additional doctest and explanation

b66497d  Merge remotetracking branch 'origin/u/cheuberg/asy/prototype' into t/19083/asy/prototype

comment:67 Changed 5 years ago by
 Commit changed from b66497d7e1dfe12d486b0c50bef65547f28ed44f to 3fdb4dcee28c67dd076a6552580c8ab15811924a
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
cacd890  Trac #19094/#19083 comment 64, 28: test error in OTermMonoid._create_element_

5219671  Trac #19094/#19083 comment 64, 29: fix broken link

d4a447f  Trac #19094/#19083 comment 64, 29: TermWithCoefficient._calculate_pow_: test ArithemticError

086b62d  Trac #19094/#19083 comment 64, 30: TermMonoidFactory: note block to refer to instance TermMonoid

7647952  write docstrings for the factory instances

7e4e823  Trac #19094/#19083 comment 64, 30: more doctests in TermMonoidFactory

8f57fa1  Trac #19083: Insert external link

6c00163  Trac #19083: minor language issues

51f699d  Trac #19083: fix dead link by explicitly naming GenericGrowthElement

3fdb4dc  Merge branch 'u/cheuberg/asy/prototype' of trac.sagemath.org:sage into t/19083/asy/prototype

comment:68 Changed 5 years ago by
 Commit changed from 3fdb4dcee28c67dd076a6552580c8ab15811924a to d582c1345a788d5b8eba1b5d6e0734378f4559c4
Branch pushed to git repo; I updated commit sha1. New commits:
728ccf9  Trac #19094/#19083 comment 66, 30: document parameter convert

a7f7faf  Trac #19094/#19083 comment 66, 31: test parameter convert

7a27e68  Trac #19094/#19083 comment 66, 31: Doctest error

ad645aa  Trac #19094/#19083 comment 66, 32: change simplification check to "not exact term"

d582c13  Trac #19094/#19083 comment 66, 29: rename coefficient to new_coefficent (_calculate_pow_)

comment:69 Changed 5 years ago by
 Commit changed from d582c1345a788d5b8eba1b5d6e0734378f4559c4 to 44b52d61e4c1e3229ee8f3ae7c2c375a67bbc247
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
7ca2b7f  Trac #19094/#19083 comment 66, 33: test errors in __invert__

12e8e52  Trac #19094/#19083 comment 66, 34: not tested in __pow__: refer to #19316

0845655  Trac #19094/#19083 comment 66, 34: __pow__ add error tests

3fe96bf  sort maximal elements in error string

5ca69ea  Trac #19094/#19083 comment 66, 35: doctest errors of log

cb55faa  Trac #19094/#19083 comment 66, 35: improve speed of log

d925157  Trac #19094/#19083 comment 66, 36: rpow: decrease indention of ALGORITHM block

57eb7cc  Trac #19083: Mention "GrowthGroup" in docstring of "GrowthGroupFactory"

0042756  Trac #19083: added doctest (comment 64.23)

44b52d6  Merge branch 'u/cheuberg/asy/prototype' of trac.sagemath.org:sage into t/19083/asy/prototype

comment:70 Changed 5 years ago by
 Commit changed from 44b52d61e4c1e3229ee8f3ae7c2c375a67bbc247 to 80068372f79a2e804be5c864b51bac9a1c75498a
Branch pushed to git repo; I updated commit sha1. New commits:
2522bd0  Trac #19094/#19083 comment 66, 36: add error test

8cbacdf  Trac #19094/#19083 comment 66, 37: refer to #19424 in not tested doctest

ec10395  Trac #19094/#19083 comment 66, 39: extend description of old_parent (in

36a48e4  Trac #19094/#19083 comment 66, 39: _create_element_in_extension_ rewrite doctests and rename parameter to old_term_parent

38a597b  Trac #19094/#19083 comment 66, 40: remove outdated NOTE block

b927671  Trac #19094/#19083 comment 66, 40: complete doctests of AsymptoticRing._element_constructor_

7624627  Trac #19094/#19083 comment 66, 40: refer to trac tickets at OTerm from SR todo

1ceba10  Trac #19094/#19083 comment 66, 40: test conversion from multivariate polynomial ring

8006837  Trac #19094/#19083 comment 66, 40: simplify test for empty data

comment:71 Changed 5 years ago by
 Commit changed from 80068372f79a2e804be5c864b51bac9a1c75498a to a848139a35e95bfd67d9964fa7412743942de4a4
Branch pushed to git repo; I updated commit sha1. New commits:
4e5af11  Trac #19094/#19083 comment 66, 36: delete ALGORITHM block

cb083d4  Trac #19094/#19083 comment 66, 41: delete _create_exact_summands_ since not needed

cf228bb  Trac #19094/#19083 comment 66, 42: make creating of exact summand with growth but without coefficient impossible

a848139  Trac #19094/#19083 comment 66, 42: create_summands: add doctests for interesting `data`

comment:72 Changed 5 years ago by
 Description modified (diff)
comment:73 Changed 5 years ago by
 Description modified (diff)
comment:74 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426
comment:75 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429
 Description modified (diff)
comment:76 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431
 Description modified (diff)
comment:77 Changed 5 years ago by
 Description modified (diff)
comment:78 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436
comment:79 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437
 Description modified (diff)
comment:80 Changed 5 years ago by
 Description modified (diff)
comment:81 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504
 Description modified (diff)
 Milestone changed from sage6.9 to sage6.10
comment:82 Changed 5 years ago by
 Description modified (diff)
comment:83 in reply to: ↑ 14 ; followup: ↓ 101 Changed 5 years ago by
Replying to cheuberg:
I rather think of it as a version of the
PowerSeriesRing
with additional features (noninteger exponents, several (not completely independent) variables).
Yes, and you could get a lot of leverage out of making that link more prominent. In fact, the appropriate concept would be "Puiseux series", which are Laurent series (with negative exponents allowed) in fractional powers of your variables.
For asymptotic expansions you have x+O(x^{(1/2)}) = O(x^{(1/2)}), which is consistent with Puiseux series in t=1/x.
The usual implementation for Puiseux series is as
[d,N,a[N],a[N+1],a[N+2],...,finite number of terms]
meaning
sum_{i=N..} a_i* x^{(i/d) }
For arithmetic you just first bring series in common denominator "d" and then do power series arithmetic.
For multivariate series, the appropriate behaviour is caught by "local term orders". SingularLib might offer some useful things already.
Note that a series in n and log(n) can be treated as a bivariate series, with an appropriate term order on the variables signifying "n" and "log(n)", for asymptotic series probably again modelling these with X=1/n and Y= 1/log(n).
So I think this ticket can be realized by implementing "multivariate puiseux series", which would be useful in a lot of settings. It would be better if (the underlying ring) would also be called "multivariate puiseux series ring" because that would improve discoverability.
Searching the literature for these terms will probably also make it easier to find relevant algorithms.
comment:84 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510
 Description modified (diff)
comment:85 Changed 5 years ago by
 Description modified (diff)
comment:86 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521
comment:87 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528
 Description modified (diff)
comment:88 Changed 5 years ago by
 Description modified (diff)
comment:89 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19532
 Description modified (diff)
comment:90 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19532 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532
 Description modified (diff)
comment:91 Changed 5 years ago by
 Description modified (diff)
comment:92 Changed 5 years ago by
 Branch changed from u/dkrenn/asy/prototype to public/asy/trunk
 Commit changed from a848139a35e95bfd67d9964fa7412743942de4a4 to b859e5d29e5cbcd84bb7be98496e8d6d558e1783
Last 10 new commits:
e93ce46  simplify coefficients automatically and use the faster algorithm per default

f468de6  docu

4a27e66  result over QQ if skipparameter given

e59c71f  toc entry (at top of file)

39936e5  Merge branch 'u/dkrenn/asy/generatorsbinomial' of trac.sagemath.org:sage into asy/trunk

e06f8ae  Merge branch 'u/jdemeyer/symbolic/subvar' of trac.sagemath.org:sage into asy/singularityanalysis

f2573a9  calculate coefficients of singularity analysis (pole type)

b2e375f  generator SingularityAnalysis (pole type)

3214c83  explicitly specify a default defaultprecision

b859e5d  Merge branch 'u/dkrenn/asy/singularityanalysis' of trac.sagemath.org:sage into asy/trunk

comment:93 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540
 Description modified (diff)
comment:94 Changed 5 years ago by
 Commit changed from b859e5d29e5cbcd84bb7be98496e8d6d558e1783 to 9e17c568a4cabe53417188ba43f8b0eae4ec4514
Branch pushed to git repo; I updated commit sha1. New commits:
15865eb  Merge branches 'coerce/inverseaction' and 'asy/map_coefficients' into t/19306/asy/generators

94f003a  factorial

5cbabc1  seealso and links

8858983  correct :meth: > :func:

0ec9795  Merge branch 'u/dkrenn/asy/factorial' of trac.sagemath.org:sage into asy/trunk

ea3dd35  small bugfix

9e17c56  Merge branch 'u/dkrenn/asy/generatorsbinomial' of trac.sagemath.org:sage into asy/trunk

comment:95 Changed 5 years ago by
 Commit changed from 9e17c568a4cabe53417188ba43f8b0eae4ec4514 to b2ac9aad4fdb59f351c4b0c3e4ad416db62c6d72
comment:96 Changed 5 years ago by
 Commit changed from b2ac9aad4fdb59f351c4b0c3e4ad416db62c6d72 to bf0a3fe65bb917df15ab1c59e3868a7dc3a7f97d
comment:97 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577
 Description modified (diff)
comment:98 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580
 Description modified (diff)
comment:99 Changed 5 years ago by
 Commit changed from bf0a3fe65bb917df15ab1c59e3868a7dc3a7f97d to 2af8888cad7403af8b396a406713d23dab6a0150
Branch pushed to git repo; I updated commit sha1. New commits:
8989602  function locals_of_caller

2a57f15  use locals in repr_short_to_parent

39af603  allow locals in GrowthGroupFactory

d4bbc88  locals during construction of an asymptotic ring

81e5453  locals in change_parameter

c264579  Merge branch 'asy/map_coefficients' into asy/locals

5f884c5  complete merge

2af8888  Merge branch 'asy/locals' into asy/trunk

comment:100 Changed 5 years ago by
 Description modified (diff)
comment:101 in reply to: ↑ 83 ; followup: ↓ 103 Changed 5 years ago by
Replying to nbruin:
Replying to cheuberg:
I rather think of it as a version of the
PowerSeriesRing
with additional features (noninteger exponents, several (not completely independent) variables).Yes, and you could get a lot of leverage out of making that link more prominent.
We've planned to do so, once asymptotic expansions at 0
are implemented (currently everything is only at oo
).
In fact, the appropriate concept would be "Puiseux series", which are Laurent series (with negative exponents allowed) in fractional powers of your variables.
For asymptotic expansions you have x+O(x^{(1/2)}) = O(x^{(1/2)}), which is consistent with Puiseux series in t=1/x.
The usual implementation for Puiseux series is as
[d,N,a[N],a[N+1],a[N+2],...,finite number of terms]
meaning
sum_{i=N..} a_i* x^{(i/d) }
We are aware of Puiseux series.
The restrictions imposed by Puiseux series are that they cannot handle nonrational exponents like sqrt(2)
or symbolic constants. However, we'd like to be able to handle these.
Moreover, we can work with terms like exp(x+O(1))=O(exp(x))
.
For multivariate series, the appropriate behaviour is caught by "local term orders". SingularLib might offer some useful things already.
Note that a series in n and log(n) can be treated as a bivariate series, with an appropriate term order on the variables signifying "n" and "log(n)", for asymptotic series probably again modelling these with X=1/n and Y= 1/log(n).
In addition to the relation between n
and log(n)
, our asymptotic expansions will be able to handle dependencies between the variables as well, e.g. x <= sqrt(y)
.
So I think this ticket can be realized by implementing "multivariate puiseux series", which would be useful in a lot of settings. It would be better if (the underlying ring) would also be called "multivariate puiseux series ring" because that would improve discoverability.
As mentioned above, once we have expansions at 0
, we have a MultivariatePuiseuxSeriesRing as a special case; renaming it now is not expedient.
comment:102 Changed 5 years ago by
 Description modified (diff)
comment:103 in reply to: ↑ 101 Changed 5 years ago by
Replying to dkrenn:
Replying to nbruin:
In fact, the appropriate concept would be "Puiseux series", which are Laurent series (with negative exponents allowed) in fractional powers of your variables. [...] So I think this ticket can be realized by implementing "multivariate puiseux series", which would be useful in a lot of settings. It would be better if (the underlying ring) would also be called "multivariate puiseux series ring" because that would improve discoverability.
As mentioned above, once we have expansions at
0
, we have a MultivariatePuiseuxSeriesRing as a special case; renaming it now is not expedient.
We've added MultivariatePuiseuxSeriesRing to our roadmap above.
comment:104 Changed 5 years ago by
 Description modified (diff)
comment:105 Changed 5 years ago by
 Commit changed from 2af8888cad7403af8b396a406713d23dab6a0150 to d4359563e8159993e8f32edb127c4285d3c3b944
Branch pushed to git repo; I updated commit sha1. New commits:
153a23f  Merge tag '7.0.rc1' into asy/trunk

cc256c8  Trac #19306: remove old code

31e4dc4  Trac #19306: other variables than n

a3fad56  Trac #19306: fix error terms for low precision

a4c3f9d  Trac #19306: Fix low precision for Stirling

46ef12f  Merge branch 'u/cheuberg/asy/generators' of git://trac.sagemath.org/sage into asy/trunk

4c58608  Trac #19898: Generator for expansion of harmonic number

adae74b  Trac #19898: Merge #19510 to resolve conflicts

d435956  Merge branch 'u/cheuberg/asy/harmonicnumber' of git://trac.sagemath.org/sage into asy/trunk

comment:106 Changed 5 years ago by
 Description modified (diff)
 Milestone changed from sage6.10 to sage7.0
New commits:
153a23f  Merge tag '7.0.rc1' into asy/trunk

cc256c8  Trac #19306: remove old code

31e4dc4  Trac #19306: other variables than n

a3fad56  Trac #19306: fix error terms for low precision

a4c3f9d  Trac #19306: Fix low precision for Stirling

46ef12f  Merge branch 'u/cheuberg/asy/generators' of git://trac.sagemath.org/sage into asy/trunk

4c58608  Trac #19898: Generator for expansion of harmonic number

adae74b  Trac #19898: Merge #19510 to resolve conflicts

d435956  Merge branch 'u/cheuberg/asy/harmonicnumber' of git://trac.sagemath.org/sage into asy/trunk

comment:107 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898
comment:108 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921
 Description modified (diff)
 Milestone changed from sage7.0 to sage7.1
comment:109 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931
 Description modified (diff)
comment:110 Changed 5 years ago by
 Commit changed from d4359563e8159993e8f32edb127c4285d3c3b944 to 81935c9007f423e4a3bf28c515fddabb3ca05ebf
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
4d80eb3  Trac #19306: sage.rings.arith > sage.arith.all (after #19879)

ef9cb08  Trac #19898: Merge #19306 (due to #19879)

e193ac1  Trac #19898: sage.rings.arith > sage.arith.all (after #19879)

b565ca4  Merge branch 't/19898/asy/harmonicnumber' into t/17601/public/asy/trunk

a27bd0b  Trac #19532: Merge #19306 (due to #19879)

25cd5b3  Trac #19532: sage.rings.arith > sage.arith.all (after #19879)

64c8a2d  Merge branch 't/19532/asy/singularityanalysis' into t/17601/public/asy/trunk

ab1cd26  Trac #19532: Merge #19576 to fix doctest

9796508  Trac #19532: fix doctest

81935c9  Merge branch 't/19532/asy/singularityanalysis' into t/17601/public/asy/trunk

comment:111 Changed 5 years ago by
 Commit changed from 81935c9007f423e4a3bf28c515fddabb3ca05ebf to 3e23a35abd3a24f3022b1b80cbd78233865ea1a3
Branch pushed to git repo; I updated commit sha1. New commits:
f114f9e  Trac #19532: Add to table of contents

ede5173  Trac #19532: Minor documentation fixes

267718d  Trac #19532: Additional tests

0860173  Trac #19532: List log log factors, document missing implementations

a3a6dfd  Trac #19532: Add references

3e23a35  Merge branch 't/19532/asy/singularityanalysis' into t/17601/public/asy/trunk

comment:112 Changed 5 years ago by
 Commit changed from 3e23a35abd3a24f3022b1b80cbd78233865ea1a3 to e107b79b7acc8440e33780d0cf268b5dce2b20d7
comment:113 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944
 Description modified (diff)
comment:114 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946
 Description modified (diff)
comment:115 Changed 5 years ago by
 Commit changed from e107b79b7acc8440e33780d0cf268b5dce2b20d7 to 8be20818c044bd39656dd5ab52f23221f756c272
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
0c600cf  add code for singularity analysis

b8a52c6  add example

e3588b6  fix: .summand > .summands

f6a233d  add precision keyword

f38cdfc  Trac #19532: fix more issues with location of singularities

042849a  Trac #19944: merge #19532

a7aec7c  Trac #19944: use generating function (as function) instead of singular expansion

5d87b05  Trac #19944: use precision for singular expansion

a832ebd  Trac #19944: return singular expansions on request

8be2081  Merge branch 't/19944/asy/singularityanalysismethod' into t/17601/public/asy/trunk

comment:116 Changed 5 years ago by
 Description modified (diff)
comment:117 Changed 5 years ago by
 Commit changed from 8be20818c044bd39656dd5ab52f23221f756c272 to b300687efb4b50c1fb9edf67476ac2e2cd9568e8
Branch pushed to git repo; I updated commit sha1. New commits:
ff99c7f  Trac #19259: change to has_valid_variable

581f315  Trac #19259: check validity of variables

c9b2428  improve language

05dc834  misc. changes, indentation, line breaks

8cc884a  fix merge of functors

aeae8f3  Merge tag '7.0' into symbolics/symbolicsubring

c4a0e22  merge accepting and rejecting functors in all cases

d376b10  revert changes to merge of functors

b300687  Merge branch 't/19259/symbolics/symbolicsubring' into t/17601/public/asy/trunk

comment:118 Changed 5 years ago by
 Commit changed from b300687efb4b50c1fb9edf67476ac2e2cd9568e8 to 737665fa00c28e6bd84e315206ba14b879cb5655
Branch pushed to git repo; I updated commit sha1. New commits:
3e30659  Trac #19510: modify constant factor: factor sqrt(k1) is removed, too.

5d9152c  Trac #19510: state constant factors/summands in Stirling and binomial

27e9e69  Trac #19898: state constant summand in documentation

8249d48  Merge branches 't/19510/asy/generatorsbinomial' and 't/19898/asy/harmonicnumber' into t/17601/public/asy/trunk

737665f  Merge tag '7.1.beta0' into t/17601/public/asy/trunk

comment:119 Changed 5 years ago by
 Commit changed from 737665fa00c28e6bd84e315206ba14b879cb5655 to db925ad9bfbb2c2358ab249378263d05bf3e3736
comment:120 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957
 Description modified (diff)
comment:121 Changed 5 years ago by
 Commit changed from db925ad9bfbb2c2358ab249378263d05bf3e3736 to e5135bc0b98bb8959b50c72ed686b649c91128a8
comment:122 Changed 5 years ago by
 Commit changed from e5135bc0b98bb8959b50c72ed686b649c91128a8 to d8dbdf5b1295c026d0aeda4c7753536aaff795f6
Branch pushed to git repo; I updated commit sha1. New commits:
83125aa  let compare_with_values return a list of tuples

85bf9a0  add rescaledparameter

d110580  allow symbolic arguments for values

b09ae92  improve doctests with shorter workaround

5b20379  add plot_comparison method

2041027  Trac #19957: reviewer commit

d8dbdf5  Merge branch 't/19957/asy/comparewithvalues' into t/17601/public/asy/trunk

comment:123 Changed 5 years ago by
 Commit changed from d8dbdf5b1295c026d0aeda4c7753536aaff795f6 to 13221a966ad8fb55423dec4e6083ab896dbf533e
Branch pushed to git repo; I updated commit sha1. New commits:
9f9a23f  Trac #19961: document rpow

1fc00c7  Trac #19946: fix _pushout_ for cartesian product of growth groups

1b62954  Trac #19946: add doctests to document behavior

24c153c  Trac #19946: reviewer commit: ReSt error

7918417  Trac #19946: additional doctest

13221a9  Merge branches 't/19961/t/19961' and 't/19946/t/19946' into t/17601/public/asy/trunk

comment:124 Changed 5 years ago by
 Commit changed from 13221a966ad8fb55423dec4e6083ab896dbf533e to d9028d1ff303415297df7faa69386459cf509605
comment:125 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965
 Description modified (diff)
comment:126 Changed 5 years ago by
 Description modified (diff)
comment:127 Changed 5 years ago by
 Commit changed from d9028d1ff303415297df7faa69386459cf509605 to e26107398606f1bd887d3c16d52df1f23d8f174d
Branch pushed to git repo; I updated commit sha1. New commits:
1471336  Trac #19946: rewrite and improve explaination of 1b62954

101e4de  Merge branch 'u/dkrenn/t/19961' of trac.sagemath.org:sage into t/19946

7179c78  Trac #19946: link from general doc to detailed explaination

1259201  Trac #19946: fix typo

e261073  Merge branch 't/19946/t/19946' into t/17601/public/asy/trunk

comment:128 Changed 5 years ago by
 Commit changed from e26107398606f1bd887d3c16d52df1f23d8f174d to 9654d068e0706f278a2caf2de0e0d8259f253135
Branch pushed to git repo; I updated commit sha1. New commits:
53a35cf  Merge branch 'u/cheuberg/asy/singularityanalysisgenerator' of git://trac.sagemath.org/sage into asy/singularityanalysismethod

9f650b0  handle OZeroException in singularity_analysis

7276172  delete terms from copy instead of building new poset

742ce5b  Merge branch 'asy/exact_part' into asy/singularityanalysismethod

a2e430e  add doctest for NotImplementedOZero

9654d06  Merge branch 'asy/singularityanalysismethod' into asy/trunk

comment:129 Changed 5 years ago by
 Commit changed from 9654d068e0706f278a2caf2de0e0d8259f253135 to d6d4f455054ecd1feaf7116e451a84472f625432
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
0632fd3  Trac 19957 review: minor changes in doc

4a8ea9a  Trac #19957: move see also blocks to position given in developer guide

9ea47b9  Trac #19957: fix dead link

3d51289  Trac #19957: Merge #19946 to avoid workaround

b606fdf  Trac #19957: remove workaround for #19946

4346994  Trac #19957: rename e to expansion in doctests

5d6e9b2  Trac #19957: Introduce parameter relative tolerance

94be722  Merge branch 't/19957/asy/comparewithvalues' into t/17601/public/asy/trunk

867d6d3  Merge branch 'u/behackl/symbolics/symbolicsubring' of git://trac.sagemath.org/sage into coercion/inverseaction

d6d4f45  Merge branch 'u/behackl/coercion/inverseaction' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:130 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969
 Description modified (diff)
comment:131 Changed 5 years ago by
 Commit changed from d6d4f455054ecd1feaf7116e451a84472f625432 to fef67529bae3883b25e8a7c0f9387d0230108c28
Branch pushed to git repo; I updated commit sha1. New commits:
2db9105  Trac #19510: separate calculation of negative powers in log_Stirling

37caf25  Merge branch 'u/cheuberg/t/19946' of trac.sagemath.org:sage into t/19510/asy/generatorsbinomial

10cd04b  Trac #19510: major rewrite of binomial kn over n

a71b84a  Merge remotetracking branch 'trac/u/dkrenn/asy/generatorsbinomial' into t/19532/asy/singularityanalysisgenerator

209329d  Merge branch 'u/dkrenn/asy/generatorsbinomial' of trac.sagemath.org:sage into t/19898/asy/harmonicnumber

4ad4524  Merge branch 'u/dkrenn/asy/harmonicnumber' of trac.sagemath.org:sage into t/19532/asy/singularityanalysisgenerator

fef6752  Merge branch 't/19532/asy/singularityanalysisgenerator' into t/17601/public/asy/trunk

comment:132 Changed 5 years ago by
 Commit changed from fef67529bae3883b25e8a7c0f9387d0230108c28 to 95280e4b0b21d2526223028f50ead30a335dd13b
Branch pushed to git repo; I updated commit sha1. New commits:
00eae5d  Merge branch 't/19957/asy/comparewithvalues' into t/19510/asy/generatorsbinomial

78bdd0f  Trac #19510: additional doctests using compare_with_values

95280e4  Merge branch 't/19510/asy/generatorsbinomial' into t/17601/public/asy/trunk

comment:133 Changed 5 years ago by
 Commit changed from 95280e4b0b21d2526223028f50ead30a335dd13b to 6351542e32ba8befee9ba8f7a655571ac3072824
comment:134 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981
 Description modified (diff)
comment:135 Changed 5 years ago by
 Commit changed from 6351542e32ba8befee9ba8f7a655571ac3072824 to 95d891ab81f5384a117cfcb32b1531714701056a
Branch pushed to git repo; I updated commit sha1. New commits:
5dc6f58  Trac #19532: Merge #19898

2b95429  Trac #19532: additional doctest using compare_with_values

78c27eb  Merge branch 't/19532/asy/singularityanalysisgenerator' into t/17601/public/asy/trunk

95d891a  Merge tag '7.1.beta1' into t/17601/public/asy/trunk

comment:136 Changed 5 years ago by
 Description modified (diff)
comment:137 Changed 5 years ago by
 Description modified (diff)
comment:138 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987
 Description modified (diff)
comment:139 Changed 5 years ago by
 Description modified (diff)
comment:140 Changed 5 years ago by
 Description modified (diff)
comment:141 Changed 5 years ago by
 Commit changed from 95d891ab81f5384a117cfcb32b1531714701056a to 300adb4faa6067b24e4d7c458fe89109a33d25b4
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
a3b66af  Trac #19316: extend existing __pow__ to use new method

1028b95  Trac #19316: rewrite error message

37c6115  Merge Trac #19850 into asy/pow_rational

d122786  Trac #19316: restructure doctests of pow (add section EXAMPLES)

ef717b0  Trac #19316: allow symbolic constants

6844299  Trac #19316: fix ReST doc

58d1f28  Merge branch 'asy/exploginv_taylor' into asy/pow_rational

f87be85  Merge commit '8f7195f7f8875ea81bd8b9026a138e269f719a4d' of git://trac.sagemath.org/sage into asy/pow_rational

10b2a64  Trac #19316: fix doctest

300adb4  Merge branch 'u/dkrenn/asy/pow_rational' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:142 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000
 Description modified (diff)
comment:143 Changed 5 years ago by
 Commit changed from 300adb4faa6067b24e4d7c458fe89109a33d25b4 to 9caa1b0971025dbfb963c8b818b0c34876eaf24b
Branch pushed to git repo; I updated commit sha1. New commits:
09a3db2  implement is_exact

26639e2  improve performance of is_exact

9042dab  implement is_exact for terms

f5bdb8f  replace isinstance(..., ExactTerm) with is_exact

f65bc42  remove INPUT in docstring

da853f8  implement expansion.is_exact() by using term.is_exact()

9caa1b0  Merge branch 'u/behackl/asy/is_exact' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:144 Changed 5 years ago by
 Commit changed from 9caa1b0971025dbfb963c8b818b0c34876eaf24b to a73c6152232df799bec3981682b08b75a3e5339b
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
2f3f9a6  Merge branch 'public/asy/trunk' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

63f18f2  implement generator for beta not pos. integer

cab11f4  add generalized lambdacoefficients

20d095e  implement loggenerator for beta integer > 0

a17ee52  add name to file authors

2957212  let ring work with given precision

c83baa8  add doctests

f39f484  Trac #19993: Arb: parse symbolic expressions

c1dd748  Merge branch 'arb/parsesymbolic' into t/19969/asy/SAgeneratorlog

a73c615  Merge branch 't/19969/asy/SAgeneratorlog' into t/17601/public/asy/trunk

comment:145 Changed 5 years ago by
 Commit changed from a73c6152232df799bec3981682b08b75a3e5339b to bdcf7270a74a130b03524e16df59e5842afa6d06
Branch pushed to git repo; I updated commit sha1. New commits:
ffc1bf5  write .sqrt() for asymptotic expansions

1441b31  additional doctest (comparing with power series result)

310780a  Trac #20000: remove redundant pair of parentheses

b38d602  Trac #19316: Merge #20000 due to merge conflict

bdcf727  Merge branch 't/19316/asy/pow_rational' into t/17601/public/asy/trunk

comment:146 Changed 5 years ago by
 Commit changed from bdcf7270a74a130b03524e16df59e5842afa6d06 to b863981dada72a5a534c11255e124adc46ab13c0
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
b506dff  add doctests

09959af  improve doc of change in cartesian_produc.py

7881bb3  fix behavior of nonreal bases too

c9d30ab  Merge branch 't/19999/expgrowthinfloop' into t/17601/public/asy/trunk

3ac3044  Trac #19423: rename _taylor_ to _power_series_

4c5edd6  Trac #19423: new method _main_term_relative_error_

c3aeae8  Trac #19423: refactor log to use _main_term_relative_error_

2a76cd7  Trac #19423: refactor __invert__ to use _main_term_relative_error_

1a526b7  Trac #19423: Merge #19946 to fix merge conflict

b863981  Merge branch 't/19423/asy/exploginv_taylor' into t/17601/public/asy/trunk

comment:147 Changed 5 years ago by
 Commit changed from b863981dada72a5a534c11255e124adc46ab13c0 to 94eff37a3f4761e4b5d29a39c0240d79bcfed900
Branch pushed to git repo; I updated commit sha1. New commits:
9a58142  Trac #19423: document parameter precision

c56a095  Trac #19423: doctests for precision

eb10a2a  Trac #19316: merge latest version of #19423

a7d28ba  Trac #19316: use _main_term_relative_error_

7705e4a  Merge branch 't/19316/asy/pow_rational' into t/17601/public/asy/trunk

6d44199  Trac #19316: fix 0^0

04b68b0  Merge branch 't/19316/asy/pow_rational' into t/17601/public/asy/trunk

94eff37  Merge tag '7.1.beta2' into t/17601/public/asy/trunk

comment:148 Changed 5 years ago by
 Commit changed from 94eff37a3f4761e4b5d29a39c0240d79bcfed900 to 64ef9becb8ea85934d3d0b905a2cba996ce586b5
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
9a6bb5d  Trac #20020: additional doctests

9488698  Trac 19969: remove parameter 'skip_constant_factor'

8938c97  Trac #19969: unique code for all three cases

e769bde  Trac #19969: smaller coefficient rings if possible

feec36a  Trac #19969: prefer coefficients as multiples of 1/Gamma(alpha)

7ad8f16  Trac #19969: remove obsolete comment

e769804  Trac #20020: merge latest version of #19969

af46608  Trac #20020: remove skip_constant_factor

2b67cf0  Trac #20020: increase precision of doctests

64ef9be  Merge branch 'asy/singularitygeneratorlognonnormalized' into t/17601/public/asy/trunk

comment:149 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000, #20020
 Description modified (diff)
comment:150 Changed 5 years ago by
 Commit changed from 64ef9becb8ea85934d3d0b905a2cba996ce586b5 to 1e09e5d056f7c0b91fe9dcc5a1571e7196ba5ec8
Branch pushed to git repo; I updated commit sha1. New commits:
1b44d48  Trac #19423: change ZeroDivisionError message

ecbeb26  Trac #19423: rephrase OUTPUTblock of _main_term_relative_error_

f21ea78  Trac #19423: new parameter to return inverse of main term in _main_term_relative_error_

7974666  Trac #19423: use new parameter of previous commit

b091009  Trac #19423: minor code rewrite to improve readability

96f1ea6  Trac #19423: correct parent in __invert__

a61913c  Merge branch 'u/dkrenn/asy/exploginv_taylor' of trac.sagemath.org:sage into t/19316/asy/pow_rational

44e314c  Trac #19316: remove two commented code lines

1e09e5d  Merge branch 'u/dkrenn/asy/pow_rational' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:151 Changed 5 years ago by
 Commit changed from 1e09e5d056f7c0b91fe9dcc5a1571e7196ba5ec8 to 0340e9c92c3cae0a9c3c2e7e0eea1f0c1a61c8ca
comment:152 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000, #20020 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000, #20020, #20040
 Description modified (diff)
comment:153 Changed 5 years ago by
 Commit changed from 0340e9c92c3cae0a9c3c2e7e0eea1f0c1a61c8ca to eada086b82f05a995f484c5fe00256c76194ba26
Branch pushed to git repo; I updated commit sha1. New commits:
eada086  Merge tag '7.1.beta3' into t/17601/public/asy/trunk

comment:154 Changed 5 years ago by
 Commit changed from eada086b82f05a995f484c5fe00256c76194ba26 to db9b68264d9b04f589490de336b63f406312f690
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
99d7292  Merge branch 't/20043/asy/onetimeszero' into t/19969/asy/SAgeneratorlog

dd7dabf  Trac #19969: fix doctest

88f278d  Merge branch 't/19969/asy/SAgeneratorlog' into HEAD

46d91b3  Trac #19944: fix doctests and code

0624f6a  Merge branch 'u/dkrenn/asy/singularityanalysismethod' of trac.sagemath.org:sage into t/20040/asy/singularityanalysismethodlog

a9ec510  Trac #20040: extend NotImplementedOZero to allow passing var directly

b6ffdaa  Trac #20040: fix doctests

81d38f3  Merge branch 'u/dkrenn/asy/singularityanalysismethodlog' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

1ed6067  Merge branch 'u/dkrenn/asy/SAgeneratorlog' of trac.sagemath.org:sage into t/20020/asy/singularitygeneratorlognonnormalized

db9b682  Merge branch 'u/dkrenn/asy/singularitygeneratorlognonnormalized' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:155 Changed 5 years ago by
 Commit changed from db9b68264d9b04f589490de336b63f406312f690 to bea5402e2a1ff5d9250cefe826dcaaab74538dce
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
f00d794  Trac #19987: _latex_ for Oterms

cb9a1f9  Trac #19987: _latex_ for exact terms

04c262e  Trac #19987: _latex_ for asymptotic expansions

84ef837  Trac #19987: remove TABcharacter

8f793fe  Trac #19987: recognise \frac in repr_op

69af257  Trac #19987: _latex_ for exponential growths

69c112d  Trac #19987: _latex_ of cartesian product

0859fa0  Trac #19987: fix _latex_ in Oterms

6cd6069  Trac #19987: fix doctests (change in LaTeXoutput)

bea5402  Merge branch 'u/dkrenn/asy/latex' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:156 Changed 5 years ago by
 Commit changed from bea5402e2a1ff5d9250cefe826dcaaab74538dce to ce77e5096b816f58dbb032aeeadb64a87a0afee5
Branch pushed to git repo; I updated commit sha1. New commits:
98591d6  Trac #20044: NoConvergenceError

69c090c  Trac #20044: extend __pow_number__ and test for convergence

7ed3541  Trac #20044: add shortcuts for exponents 0 and 1 in __pow__

3f7a661  Trac #20044: use new extension in __pow__

c6ca928  Merge branch 'u/dkrenn/asy/onetimeszero' of git://trac.sagemath.org/sage into t/20044/asy/powvar

e5bad77  Merge branch 'u/dkrenn/asy/powvar' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

40fcb98  Trac #19987: separate two numbers next to each other

97a8021  Merge branch 'u/dkrenn/asy/latex' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

8edb48e  Trac #20045: move import

ce77e50  Merge branch 'u/dkrenn/t/20045' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:157 Changed 5 years ago by
 Dependencies changed from #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000, #20020, #20040 to #17600, #17693, #17715, #17716, #18182, #18222, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19083, #19088, #19094, #19110, #19259, #19269, #19300, #19305, #19306, #19316, #19319, #19399, #19400, #19411, #19412, #19420, #19421, #19423, #19424, #19425, #19426, #19429, #19431, #19436, #19437, #19504, #19510, #19521, #19528, #19532, #19540, #19576, #19577, #19580, #19898, #19921, #19931, #19944, #19945, #19946, #19957, #19961, #19965, #19969, #19981, #19987, #19999, #20000, #20020, #20040, #20043, #20044, #20045
 Description modified (diff)
#10519 might be of interest.