Opened 5 years ago

Last modified 3 years ago

#17601 new enhancement

Meta ticket: Asymptotic Expansions in SageMath — at Version 137

Reported by: behackl Owned by:
Priority: major Milestone: sage-7.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: 95d891ab81f5384a117cfcb32b1531714701056a
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 Stopgaps:

Description (last modified by dkrenn)

We intend to implement asymptotic expansions in SageMath. We would like to do computations with simple expansions such as

n2 + n3/2 + O(n1/2),

but also with expansions such as

2n * n + O(n*log(n))

or even multivariate expansions such as

3*k/n + O(k2 / n2) 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 O-constants 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. n2 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 user-friendly 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 big-Oh 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
    • #18587: cartesian products for growth groups (allowing the construction of more complicated univariate as well as multivariate asymptotic expansions)
      • #18223: cartesian products with orders
      • #18586: passing on parameters and extra_category for cartesian products
    • #19028: More growth group implementations: exponential growth groups.
  • Extending the functionality of the AsymptoticRing and AsymptoticExpansion
    • #19048: AsymptoticRing.an_element()
      • #19047: QQ.some_elements()
      • #19319: iterator over pairs on diagonals a la Cantor pairing
    • #19068: Implement Division for asymptotic expansions.
    • #19073: categorial constructions, pushout and coercions (extended) for asymptotic ring and growth groups
      • #18182: pushout construction and finding common parents for/including cartesian products
      • #19079: ConstructionFunctor: remove __str__
    • #19083: AsymptoticRing: exp, log, cleanup, some improvements, documentation.
      • contains #19094: Implement higher-order operations like exp and log for asymptotic expansions
    • #19400: move documentation to sage.asymptotic
  • 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
  • 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
      • #19436: fixup of #19431
      • #19437: SR.symbol: correct parent in inherting classes of SymbolicRing
    • #19921: handle zero coefficients when converting asymptotic rings
    • #19945: Asymptotic Ring: cannot construct (1/2)n
    • #19946: Asymptotic Ring: cannot construct 2n when coefficient ring is SR
      • #19961: mention rpow of asymptotic ring in module doc/examples more prominently
      • #19965: parent of exponent getting too large in exponentiation in asymptotic ring
    • #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: minor improvements (is_exact, _latex_, ...)
  • Generators for asymptotic expansions
    • #19306: common generators for asymptotic expansions
      • #19259: subrings of the symbolic ring
    • #19510: generator for binomial(kn, n)
      • #19521: wrong inverse action when using ConstructionFunctor.coercion_reversed
    • #19898: generator for expansion of harmonic number
  • Singularity analysis
    • #19944: singularity analysis
    • #19532: generators related to singularity analysis
    • #19969: enhancement of SA-generators: log-type singularities
  • More features
    • #19305: substitution of asymptotic expansions
    • #19528: map_coefficients for asymptotic expansions
    • #19931: exact_part for asymptotic expansions
    • #19540: factorial
    • #19957: list plot comparing values
  • Further plans
    • for growth groups
      • implement dependencies like |k| <= n1/2 for different growth group variables.
      • growth groups with asymptotic at a non-infinity 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 (little-oh terms, omega-terms, variations of big-Oh terms ...)
  • Additional dependencies
    • #19017: Easy access to the O-constructor in big_oh.py.
    • #19110: QQ(0)-1 raises SIGFPE (which is caught)
  • Other related Tickets:
    • #18222: provide <=, <, >=, > for poset elements by the category (depends on #10130)
    • #19088: multi-line doctests fail when using angle notation (preparser)
    • #19269: add category Posets to ZZ and QQ

Change History (137)

comment:1 Changed 5 years ago by behackl

  • Dependencies set to 17600

comment:2 Changed 5 years ago by behackl

  • Dependencies changed from 17600 to #17600

comment:3 follow-up: Changed 5 years ago by tscrim

#10519 might be of interest.

comment:4 in reply to: ↑ 3 Changed 5 years ago by dkrenn

Replying to tscrim:

#10519 might be of interest.

Thanks---I'm involved in both tickets ;)

At the moment both are independent, but when the asymptotic expressions are created, one can use them in the calculations (or at least as a possible output format) in #10519.

comment:5 Changed 5 years ago by ncohen

  • Cc ncohen added

comment:6 Changed 5 years ago by dkrenn

  • Dependencies changed from #17600 to #17600, #17693
  • Description modified (diff)

comment:7 Changed 5 years ago by vdelecroix

  • Cc vdelecroix added

comment:8 Changed 5 years ago by behackl

  • Dependencies changed from #17600, #17693 to #17600, #17693, #17715, #17716
  • Description modified (diff)

comment:9 Changed 5 years ago by malb

  • Cc malb added

comment:10 Changed 5 years ago by mmezzarobba

  • Cc mmezzarobba added

comment:11 Changed 5 years ago by fredrik.johansson

Are "asymptotic expressions" equivalent to "transseries" (​http://arxiv.org/abs/0801.4877, ​http://www.texmacs.org/joris/ln/ln-abs.html)? Or are they more general, less general, or partially overlapping in scope?

comment:12 Changed 5 years ago by rws

  • Cc rws added
  • Milestone changed from sage-6.5 to sage-6.6

comment:13 follow-up: Changed 5 years ago by vdelecroix

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 ; follow-up: Changed 5 years ago by cheuberg

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 (non-integer exponents, several (not completely independent) variables).

comment:15 Changed 5 years ago by kalvotom

  • Cc kalvotom added

comment:16 Changed 5 years ago by dkrenn

  • Dependencies changed from #17600, #17693, #17715, #17716 to #17600, #17693, #17715, #17716, #18182, #18222, #18223
  • Description modified (diff)

comment:17 Changed 5 years ago by dkrenn

  • 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 4 years ago by behackl

  • Description modified (diff)
  • Keywords gsoc15 added

comment:19 Changed 4 years ago by behackl

  • 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 4 years ago by behackl

  • Description modified (diff)

comment:21 Changed 4 years ago by behackl

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:23 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:25 Changed 4 years ago by behackl

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:29 Changed 4 years ago by dkrenn

  • 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 4 years ago by behackl

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Summary changed from Meta-Ticket: Asymptotic Expressions in Sage to Meta-Ticket: Asymptotic Expansions in SageMath

comment:33 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:34 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:35 Changed 4 years ago by dkrenn

  • Branch set to u/dkrenn/asy/prototype
  • Commit set to 70abf65739587016ed71a953585ff56af33e325b
  • Description modified (diff)

Last 10 new commits:

​47894c8Merge branch 't/19094/asy/ring-exp-log' into t/19083/asy/prototype
​8894fceMerge branch 't/17716/asy/asymptoticExpression' into t/19068/asy/inversion
​106eacdMerge branch 't/19068/asy/inversion' into t/19083/asy/prototype
​1108cfcMerge branch 't/17716/asy/asymptoticExpression' into t/19048/asy/an_element
​3c2fa0cMerge branch 't/19048/asy/an_element' into t/19083/asy/prototype
​1812a5erename doc-index-file
​0720b14fix doctests: update since TestSuite now checks for cardinality
​14f9a9aMerge branch 't/19094/asy/ring-exp-log' into t/19083/asy/prototype
​9aba4b6make entry in reference/index
​70abf65include misc

comment:36 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:37 Changed 4 years ago by dkrenn

  • Component changed from symbolics to asymptotic expansions

comment:38 Changed 4 years ago by git

  • Commit changed from 70abf65739587016ed71a953585ff56af33e325b to 2e4a415d7859d3968f612932b36c98318e1823d2

Branch pushed to git repo; I updated commit sha1. New commits:

​2e4a415rename title

comment:39 Changed 4 years ago by git

  • Commit changed from 2e4a415d7859d3968f612932b36c98318e1823d2 to b0e228b4870e49cfdc9594c5f85173bb889f6722

Branch pushed to git repo; I updated commit sha1. New commits:

​cd17673Merge tag '6.9.beta6' into t/18182/18182-on-6.8
​3eefe25correct typo in AUTHORS
​5fe52e4fix doctests since name of cartesian product functor has changed
​60b9375revert changes in base_ring of category_object and adapt doctests
​8d6de43Merge remote-tracking branch 'trac/u/dkrenn/18182/pushout' into t/19073/asy/groups-coercion
​d50cc55Merge branch 't/19073/asy/groups-coercion' into t/19094/asy/ring-exp-log
​44fbcccMerge remote-tracking branch 'origin/u/dkrenn/asy/ring-exp-log' into t/19094/asy/ring-exp-log
​09032eeMerge branch 't/19094/asy/ring-exp-log' into t/19083/asy/prototype
​b0e228bMerge remote-tracking branch 'origin/u/dkrenn/asy/prototype' into t/19083/asy/prototype

comment:40 Changed 4 years ago by git

  • Commit changed from b0e228b4870e49cfdc9594c5f85173bb889f6722 to 1109ce002874d776617102f2ccc295b410e4a3b6

Branch pushed to git repo; I updated commit sha1. New commits:

​c16587cfix bug (tower has only one entry which is None)
​1109ce0Merge branch 'u/dkrenn/18182/pushout' of trac.sagemath.org:sage into t/19083/asy/prototype

comment:41 Changed 4 years ago by cheuberg

  • Authors changed from Benjamin Hackl, Clemens Heuberger, Daniel Krenn to Benjamin Hackl, Daniel Krenn
  • Milestone changed from sage-6.6 to sage-6.9

comment:42 Changed 4 years ago by dkrenn

  • Description modified (diff)
  • Summary changed from Meta-Ticket: Asymptotic Expansions in SageMath to Metaticket: Asymptotic Expansions in SageMath

comment:43 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:45 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:46 Changed 4 years ago by slelievre

  • Description modified (diff)

comment:47 Changed 4 years ago by cheuberg

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:50 Changed 4 years ago by dkrenn

  • 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 4 years ago by git

  • Commit changed from 1109ce002874d776617102f2ccc295b410e4a3b6 to 3ca2e9179d3bf8ad5a72df9b9b7a69cf25a0adb0

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​6d3e4f4Trac #18587: nicer output of one link target
​66759bbRevert "remove unreachable ValueError (comment 2)"
​0642564doctest added
​7f209eaimproved error message (equal or disjoint var.)
​c49740aMerge branch 'u/behackl/asy/growth-group-cartesian' of trac.sagemath.org:sage into t/19094/asy/ring-exp-log
​4fe08b7rewrite a doctest to make it work (and mark original test as 'not tested')
​4acd110Merge branch 'u/dkrenn/asy/ring-exp-log' of trac.sagemath.org:sage into t/19083/asy/prototype
​45d0c03post-merge: fix imports
​f62f7cfpost-merge: fix doctests
​3ca2e91fix broken links

comment:52 Changed 4 years ago by git

  • Commit changed from 3ca2e9179d3bf8ad5a72df9b9b7a69cf25a0adb0 to 7f4272375d6de89bbe7fe5457c11d9165d4622ff

Branch pushed to git repo; I updated commit sha1. New commits:

​03f3621fix duplicated docstring-parts
​7f42723update AUTHORS (new style)

comment:53 Changed 4 years ago by git

  • Commit changed from 7f4272375d6de89bbe7fe5457c11d9165d4622ff to ff90d7351b6d8c96c7ee077dcc6d0fd7e7cf98df

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​65ce848Merge branch 'asy/growth-group-cartesian' into asy/growthGroup-exponential and resolve merge conflicts
​bd93e37fix doctests
​7ec7e7dfix indentation of one block
​e56459a: --> ::
​0d469cdMerge branch 'u/behackl/asy/growthGroup-exponential' of trac.sagemath.org:sage into t/19073/asy/groups-coercion
​e86db32Merge branch 'u/dkrenn/asy/asymptoticExpression' of trac.sagemath.org:sage into t/19073/asy/groups-coercion
​36e16a3fix doctests after merge
​dd82094fix duplicated docstring-parts
​ae300adMerge branch 't/19073/asy/groups-coercion' into t/19094/asy/ring-exp-log
​ff90d73Merge branch 't/19094/asy/ring-exp-log' into t/19083/asy/prototype

comment:54 Changed 4 years ago by git

  • Commit changed from ff90d7351b6d8c96c7ee077dcc6d0fd7e7cf98df to c4cd7ed152db8651e0af80951dfe45ed598e4399

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​e8460b9improve docstring
​9e41be5doctest with infinite iterator inputs
​97cb59cadd seealso blocks
​17229c6extend AUTHROS
​e33703bMerge branch 'u/dkrenn/product_cantor_pairing' of trac.sagemath.org:sage into t/19048/asy/an_element
​a529d4cMerge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ring-exp-log
​ba99790use new product_cantor_pairing and delete old product_diagonal
​4a9d3d2Merge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ring-exp-log
​8204cfaremove old product_diagonal (superseded by #19319)
​c4cd7edMerge branch 't/19094/asy/ring-exp-log' into t/19083/asy/prototype

comment:55 Changed 4 years ago by dkrenn

  • 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:

​e8460b9improve docstring
​9e41be5doctest with infinite iterator inputs
​97cb59cadd seealso blocks
​17229c6extend AUTHROS
​e33703bMerge branch 'u/dkrenn/product_cantor_pairing' of trac.sagemath.org:sage into t/19048/asy/an_element
​a529d4cMerge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ring-exp-log
​ba99790use new product_cantor_pairing and delete old product_diagonal
​4a9d3d2Merge branch 'u/dkrenn/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ring-exp-log
​8204cfaremove old product_diagonal (superseded by #19319)
​c4cd7edMerge branch 't/19094/asy/ring-exp-log' into t/19083/asy/prototype

comment:56 Changed 4 years ago by git

  • Commit changed from c4cd7ed152db8651e0af80951dfe45ed598e4399 to 14941885df88ebdb20555268f193367e741fddb3

Branch pushed to git repo; I updated commit sha1. New commits:

​88f0013adapt Trac #19073, comment 20, 1: add missing INPUT/OUTPUT block of combine_exceptions
​6659ceeadapt Trac #19073, comment 20, 4: missing INPUT/OUTPUT block of merge_overlapping and extend description
​2008f6badapt Trac #19073, comment 20, 4: cache keys
​1494188adapt Trac #19073, comment 20, 7: remove Poset category from AsymptoticRing

comment:57 Changed 4 years ago by git

  • Commit changed from 14941885df88ebdb20555268f193367e741fddb3 to 60b93ab17ef80750fbd053c2219d9bd84fe22bc9

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​4a52a84Trac 19319: fix doctests
​3c5af3bTrac #19319: fix typo
​c20bfe5Trac #19319: a.next() -> next(a) (Python3 compliance)
​1fee722Trac #19319: added a few blanks
​96c0366Trac 19319: return tuples + repeat argument
​ceb1db5Trac #19048: Merge #19319
​3fd53d6Trac #19048: rename product_cantor_pairing to cantor_product (see #19319)
​617c593Trac #19048: Fix doctests (order in cantor_product changed)
​9213baaMerge branch 'u/cheuberg/asy/an_element' of trac.sagemath.org:sage into t/19094/asy/ring-exp-log
​60b93abMerge branch 'u/dkrenn/asy/ring-exp-log' of trac.sagemath.org:sage into t/19083/asy/prototype

comment:58 Changed 4 years ago by dkrenn

  • 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 4 years ago by git

  • Commit changed from 60b93ab17ef80750fbd053c2219d9bd84fe22bc9 to 2cba56bd14842af761cd4eb7eb1fb56a50424724

Branch pushed to git repo; I updated commit sha1. New commits:

​a33daf9changes part 1 after comments of cheuberg
​2cba56brewrite informal description of growth elements and explain description strings

comment:60 Changed 4 years ago by git

  • Commit changed from 2cba56bd14842af761cd4eb7eb1fb56a50424724 to a39204c67440a804066b1877937cccdca7593e92

Branch pushed to git repo; I updated commit sha1. New commits:

​2a80346Trac #19073: simplify signatures of helper functions in merge_overlapping
​1583ffcTrac #19073: Reword and add doctest for _pushout_
​8a32f1fcorrect PEP8-spacings in doctest
​05862f4Merge branch 't/19073/asy/groups-coercion' into t/19094/asy/ring-exp-log
​b160261forgotten changes of last merge
​d0c0f15Merge branch 't/19094/asy/ring-exp-log' into t/19083/asy/prototype
​a39204cchanges part 2 (of 2) after comments of cheuberg

comment:61 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by git

  • Commit changed from a39204c67440a804066b1877937cccdca7593e92 to e8ad893715b0dfc8a3907a05382b0c1cba57b818

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​0ca6efdTrac #19094/#19083 comment 60, 11: correct wrong log and give log in errors a base
​71802daTrac #19094/#19083 comment 60, 8: rename to _create_element_in_extension_
​e2285e7Trac #19094/#19083 comment 60, 8: rewrite description of _create_element_in_extension_
​4cb775fTrac #19094/#19083 comment 60, 12: add doctest in _rpow_element to test parameter base
​51f796cTrac #19094/#19083 comment 60, 12: document _rpow_element 2^x
​2f110dbTrac #19094/#19083 comment 60, 13: simplify ExponentialGrowthElement._repr_
​4c49d02Trac #19094/#19083 comment 60, 14: rewrite keyword arguments documentation of GrowthGroupFactory
​d2cc73aadd forgotten "EXAMPLES::" line
​498dbadTrac #19094/#19083 comment 60, 15: add a doctest to GenericProduct._create_element_via_parent_
​e8ad893Trac #19094/#19083 comment 60, 16: delte misplaced statement in docstring

comment:65 Changed 4 years ago by cheuberg

  • Description modified (diff)

comment:66 Changed 4 years ago by git

  • Commit changed from e8ad893715b0dfc8a3907a05382b0c1cba57b818 to b66497d7e1dfe12d486b0c50bef65547f28ed44f

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​c5dadf7Trac #19083: More interesting doctest by including a coefficient
​e2a0c6eTrac #19083: minor language issues
​ac9d4bcTrac #19083: ReSt errors
​b6ac6c1Trac #19083: abbreviate link
​b85176aTrac #19083: break long lines
​6b45b79Trac #19083: mark one doctest as indirect
​0481cdaTrac #19083: simplify doctest
​5867787Trac #19083: o(1) instead of O(1) for use of taylor series
​2c60570Trac #19083: additional doctest and explanation
​b66497dMerge remote-tracking branch 'origin/u/cheuberg/asy/prototype' into t/19083/asy/prototype

comment:67 Changed 4 years ago by git

  • Commit changed from b66497d7e1dfe12d486b0c50bef65547f28ed44f to 3fdb4dcee28c67dd076a6552580c8ab15811924a

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​cacd890Trac #19094/#19083 comment 64, 28: test error in OTermMonoid._create_element_
​5219671Trac #19094/#19083 comment 64, 29: fix broken link
​d4a447fTrac #19094/#19083 comment 64, 29: TermWithCoefficient._calculate_pow_: test ArithemticError
​086b62dTrac #19094/#19083 comment 64, 30: TermMonoidFactory: note block to refer to instance TermMonoid
​7647952write docstrings for the factory instances
​7e4e823Trac #19094/#19083 comment 64, 30: more doctests in TermMonoidFactory
​8f57fa1Trac #19083: Insert external link
​6c00163Trac #19083: minor language issues
​51f699dTrac #19083: fix dead link by explicitly naming GenericGrowthElement
​3fdb4dcMerge branch 'u/cheuberg/asy/prototype' of trac.sagemath.org:sage into t/19083/asy/prototype

comment:68 Changed 4 years ago by git

  • Commit changed from 3fdb4dcee28c67dd076a6552580c8ab15811924a to d582c1345a788d5b8eba1b5d6e0734378f4559c4

Branch pushed to git repo; I updated commit sha1. New commits:

​728ccf9Trac #19094/#19083 comment 66, 30: document parameter convert
​a7f7fafTrac #19094/#19083 comment 66, 31: test parameter convert
​7a27e68Trac #19094/#19083 comment 66, 31: Doctest error
​ad645aaTrac #19094/#19083 comment 66, 32: change simplification check to "not exact term"
​d582c13Trac #19094/#19083 comment 66, 29: rename coefficient to new_coefficent (_calculate_pow_)

comment:69 Changed 4 years ago by git

  • Commit changed from d582c1345a788d5b8eba1b5d6e0734378f4559c4 to 44b52d61e4c1e3229ee8f3ae7c2c375a67bbc247

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​7ca2b7fTrac #19094/#19083 comment 66, 33: test errors in __invert__
​12e8e52Trac #19094/#19083 comment 66, 34: not tested in __pow__: refer to #19316
​0845655Trac #19094/#19083 comment 66, 34: __pow__ add error tests
​3fe96bfsort maximal elements in error string
​5ca69eaTrac #19094/#19083 comment 66, 35: doctest errors of log
​cb55faaTrac #19094/#19083 comment 66, 35: improve speed of log
​d925157Trac #19094/#19083 comment 66, 36: rpow: decrease indention of ALGORITHM block
​57eb7ccTrac #19083: Mention "GrowthGroup" in docstring of "GrowthGroupFactory"
​0042756Trac #19083: added doctest (comment 64.23)
​44b52d6Merge branch 'u/cheuberg/asy/prototype' of trac.sagemath.org:sage into t/19083/asy/prototype

comment:70 Changed 4 years ago by git

  • Commit changed from 44b52d61e4c1e3229ee8f3ae7c2c375a67bbc247 to 80068372f79a2e804be5c864b51bac9a1c75498a

Branch pushed to git repo; I updated commit sha1. New commits:

​2522bd0Trac #19094/#19083 comment 66, 36: add error test
​8cbacdfTrac #19094/#19083 comment 66, 37: refer to #19424 in not tested doctest
​ec10395Trac #19094/#19083 comment 66, 39: extend description of old_parent (in
​36a48e4Trac #19094/#19083 comment 66, 39: _create_element_in_extension_ rewrite doctests and rename parameter to old_term_parent
​38a597bTrac #19094/#19083 comment 66, 40: remove outdated NOTE block
​b927671Trac #19094/#19083 comment 66, 40: complete doctests of AsymptoticRing._element_constructor_
​7624627Trac #19094/#19083 comment 66, 40: refer to trac tickets at O-Term from SR todo
​1ceba10Trac #19094/#19083 comment 66, 40: test conversion from multivariate polynomial ring
​8006837Trac #19094/#19083 comment 66, 40: simplify test for empty data

comment:71 Changed 4 years ago by git

  • Commit changed from 80068372f79a2e804be5c864b51bac9a1c75498a to a848139a35e95bfd67d9964fa7412743942de4a4

Branch pushed to git repo; I updated commit sha1. New commits:

​4e5af11Trac #19094/#19083 comment 66, 36: delete ALGORITHM block
​cb083d4Trac #19094/#19083 comment 66, 41: delete _create_exact_summands_ since not needed
​cf228bbTrac #19094/#19083 comment 66, 42: make creating of exact summand with growth but without coefficient impossible
​a848139Trac #19094/#19083 comment 66, 42: create_summands: add doctests for interesting `data`

comment:72 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:73 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:74 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:78 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:81 Changed 4 years ago by cheuberg

  • 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 sage-6.9 to sage-6.10

comment:82 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:83 in reply to: ↑ 14 ; follow-up: Changed 4 years ago by nbruin

Replying to cheuberg:

I rather think of it as a version of the PowerSeriesRing with additional features (non-integer 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.

Last edited 4 years ago by vdelecroix (previous) (diff)

comment:84 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:86 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:89 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:92 Changed 4 years ago by dkrenn

  • Branch changed from u/dkrenn/asy/prototype to public/asy/trunk
  • Commit changed from a848139a35e95bfd67d9964fa7412743942de4a4 to b859e5d29e5cbcd84bb7be98496e8d6d558e1783

Last 10 new commits:

​e93ce46simplify coefficients automatically and use the faster algorithm per default
​f468de6docu
​4a27e66result over QQ if skip-parameter given
​e59c71ftoc entry (at top of file)
​39936e5Merge branch 'u/dkrenn/asy/generators-binomial' of trac.sagemath.org:sage into asy/trunk
​e06f8aeMerge branch 'u/jdemeyer/symbolic/sub-var' of trac.sagemath.org:sage into asy/singularity-analysis
​f2573a9calculate coefficients of singularity analysis (pole type)
​b2e375fgenerator SingularityAnalysis (pole type)
​3214c83explicitly specify a default default-precision
​b859e5dMerge branch 'u/dkrenn/asy/singularity-analysis' of trac.sagemath.org:sage into asy/trunk

comment:93 Changed 4 years ago by dkrenn

  • 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 4 years ago by git

  • Commit changed from b859e5d29e5cbcd84bb7be98496e8d6d558e1783 to 9e17c568a4cabe53417188ba43f8b0eae4ec4514

Branch pushed to git repo; I updated commit sha1. New commits:

​15865ebMerge branches 'coerce/inverse-action' and 'asy/map_coefficients' into t/19306/asy/generators
​94f003afactorial
​5cbabc1seealso and links
​8858983correct :meth: --> :func:
​0ec9795Merge branch 'u/dkrenn/asy/factorial' of trac.sagemath.org:sage into asy/trunk
​ea3dd35small bugfix
​9e17c56Merge branch 'u/dkrenn/asy/generators-binomial' of trac.sagemath.org:sage into asy/trunk

comment:95 Changed 4 years ago by git

  • Commit changed from 9e17c568a4cabe53417188ba43f8b0eae4ec4514 to b2ac9aad4fdb59f351c4b0c3e4ad416db62c6d72

Branch pushed to git repo; I updated commit sha1. New commits:

​8ec2dfdfix docstring
​b2ac9aaMerge branch 'u/dkrenn/asy/singularity-analysis' of trac.sagemath.org:sage into asy/trunk

comment:96 Changed 4 years ago by git

  • Commit changed from b2ac9aad4fdb59f351c4b0c3e4ad416db62c6d72 to bf0a3fe65bb917df15ab1c59e3868a7dc3a7f97d

Branch pushed to git repo; I updated commit sha1. New commits:

​b2af8aatest whether sorting is needed in topological iteration
​bf0a3feMerge branch 'asy/speed-topo-iter' into asy/trunk

comment:97 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • 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 4 years ago by git

  • Commit changed from bf0a3fe65bb917df15ab1c59e3868a7dc3a7f97d to 2af8888cad7403af8b396a406713d23dab6a0150

Branch pushed to git repo; I updated commit sha1. New commits:

​8989602function locals_of_caller
​2a57f15use locals in repr_short_to_parent
​39af603allow locals in GrowthGroupFactory
​d4bbc88locals during construction of an asymptotic ring
​81e5453locals in change_parameter
​c264579Merge branch 'asy/map_coefficients' into asy/locals
​5f884c5complete merge
​2af8888Merge branch 'asy/locals' into asy/trunk

comment:100 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:101 in reply to: ↑ 83 ; follow-up: Changed 4 years ago by dkrenn

Replying to nbruin:

Replying to cheuberg:

I rather think of it as a version of the PowerSeriesRing with additional features (non-integer 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 non-rational 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.

Last edited 4 years ago by dkrenn (previous) (diff)

comment:102 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:103 in reply to: ↑ 101 Changed 4 years ago by dkrenn

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 4 years ago by dkrenn

  • Description modified (diff)

comment:105 Changed 4 years ago by git

  • Commit changed from 2af8888cad7403af8b396a406713d23dab6a0150 to d4359563e8159993e8f32edb127c4285d3c3b944

Branch pushed to git repo; I updated commit sha1. New commits:

​153a23fMerge tag '7.0.rc1' into asy/trunk
​cc256c8Trac #19306: remove old code
​31e4dc4Trac #19306: other variables than n
​a3fad56Trac #19306: fix error terms for low precision
​a4c3f9dTrac #19306: Fix low precision for Stirling
​46ef12fMerge branch 'u/cheuberg/asy/generators' of git://trac.sagemath.org/sage into asy/trunk
​4c58608Trac #19898: Generator for expansion of harmonic number
​adae74bTrac #19898: Merge #19510 to resolve conflicts
​d435956Merge branch 'u/cheuberg/asy/harmonic-number' of git://trac.sagemath.org/sage into asy/trunk

comment:106 Changed 4 years ago by cheuberg

  • Authors changed from Benjamin Hackl, Daniel Krenn to Benjamin Hackl, Daniel Krenn, Clemens Heuberger
  • Description modified (diff)
  • Milestone changed from sage-6.10 to sage-7.0

New commits:

​153a23fMerge tag '7.0.rc1' into asy/trunk
​cc256c8Trac #19306: remove old code
​31e4dc4Trac #19306: other variables than n
​a3fad56Trac #19306: fix error terms for low precision
​a4c3f9dTrac #19306: Fix low precision for Stirling
​46ef12fMerge branch 'u/cheuberg/asy/generators' of git://trac.sagemath.org/sage into asy/trunk
​4c58608Trac #19898: Generator for expansion of harmonic number
​adae74bTrac #19898: Merge #19510 to resolve conflicts
​d435956Merge branch 'u/cheuberg/asy/harmonic-number' of git://trac.sagemath.org/sage into asy/trunk

comment:107 Changed 4 years ago by cheuberg

  • 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 4 years ago by cheuberg

  • 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 sage-7.0 to sage-7.1

comment:109 Changed 4 years ago by cheuberg

  • 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 4 years ago by git

  • Commit changed from d4359563e8159993e8f32edb127c4285d3c3b944 to 81935c9007f423e4a3bf28c515fddabb3ca05ebf

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​4d80eb3Trac #19306: sage.rings.arith -> sage.arith.all (after #19879)
​ef9cb08Trac #19898: Merge #19306 (due to #19879)
​e193ac1Trac #19898: sage.rings.arith -> sage.arith.all (after #19879)
​b565ca4Merge branch 't/19898/asy/harmonic-number' into t/17601/public/asy/trunk
​a27bd0bTrac #19532: Merge #19306 (due to #19879)
​25cd5b3Trac #19532: sage.rings.arith -> sage.arith.all (after #19879)
​64c8a2dMerge branch 't/19532/asy/singularity-analysis' into t/17601/public/asy/trunk
​ab1cd26Trac #19532: Merge #19576 to fix doctest
​9796508Trac #19532: fix doctest
​81935c9Merge branch 't/19532/asy/singularity-analysis' into t/17601/public/asy/trunk

comment:111 Changed 4 years ago by git

  • Commit changed from 81935c9007f423e4a3bf28c515fddabb3ca05ebf to 3e23a35abd3a24f3022b1b80cbd78233865ea1a3

Branch pushed to git repo; I updated commit sha1. New commits:

​f114f9eTrac #19532: Add to table of contents
​ede5173Trac #19532: Minor documentation fixes
​267718dTrac #19532: Additional tests
​0860173Trac #19532: List log log factors, document missing implementations
​a3a6dfdTrac #19532: Add references
​3e23a35Merge branch 't/19532/asy/singularity-analysis' into t/17601/public/asy/trunk

comment:112 Changed 4 years ago by git

  • Commit changed from 3e23a35abd3a24f3022b1b80cbd78233865ea1a3 to e107b79b7acc8440e33780d0cf268b5dce2b20d7

Branch pushed to git repo; I updated commit sha1. New commits:

​bedd23aTrac #19898: rename harmonic_number to HarmonicNumber
​e107b79Merge branch 't/19898/asy/harmonic-number' into t/17601/public/asy/trunk

comment:113 Changed 4 years ago by behackl

  • 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 4 years ago by cheuberg

  • 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 4 years ago by git

  • Commit changed from e107b79b7acc8440e33780d0cf268b5dce2b20d7 to 8be20818c044bd39656dd5ab52f23221f756c272

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​0c600cfadd code for singularity analysis
​b8a52c6add example
​e3588b6fix: .summand --> .summands
​f6a233dadd precision keyword
​f38cdfcTrac #19532: fix more issues with location of singularities
​042849aTrac #19944: merge #19532
​a7aec7cTrac #19944: use generating function (as function) instead of singular expansion
​5d87b05Trac #19944: use precision for singular expansion
​a832ebdTrac #19944: return singular expansions on request
​8be2081Merge branch 't/19944/asy/singularity-analysis-method' into t/17601/public/asy/trunk

comment:116 Changed 4 years ago by cheuberg

  • Description modified (diff)

comment:117 Changed 4 years ago by git

  • Commit changed from 8be20818c044bd39656dd5ab52f23221f756c272 to b300687efb4b50c1fb9edf67476ac2e2cd9568e8

Branch pushed to git repo; I updated commit sha1. New commits:

​ff99c7fTrac #19259: change to has_valid_variable
​581f315Trac #19259: check validity of variables
​c9b2428improve language
​05dc834misc. changes, indentation, line breaks
​8cc884afix merge of functors
​aeae8f3Merge tag '7.0' into symbolics/symbolic-subring
​c4a0e22merge accepting and rejecting functors in all cases
​d376b10revert changes to merge of functors
​b300687Merge branch 't/19259/symbolics/symbolic-subring' into t/17601/public/asy/trunk

comment:118 Changed 4 years ago by git

  • Commit changed from b300687efb4b50c1fb9edf67476ac2e2cd9568e8 to 737665fa00c28e6bd84e315206ba14b879cb5655

Branch pushed to git repo; I updated commit sha1. New commits:

​3e30659Trac #19510: modify constant factor: factor sqrt(k-1) is removed, too.
​5d9152cTrac #19510: state constant factors/summands in Stirling and binomial
​27e9e69Trac #19898: state constant summand in documentation
​8249d48Merge branches 't/19510/asy/generators-binomial' and 't/19898/asy/harmonic-number' into t/17601/public/asy/trunk
​737665fMerge tag '7.1.beta0' into t/17601/public/asy/trunk

comment:119 Changed 4 years ago by git

  • Commit changed from 737665fa00c28e6bd84e315206ba14b879cb5655 to db925ad9bfbb2c2358ab249378263d05bf3e3736

Branch pushed to git repo; I updated commit sha1. New commits:

​9be60a0Trac #19957: Asymptotic ring: list plot comparing values
​fd6b4ecTrac #19957: additional doctests
​db925adMerge branch 'asy/commpare-with-values' into t/17601/public/asy/trunk

comment:120 Changed 4 years ago by cheuberg

  • 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 4 years ago by git

  • Commit changed from db925ad9bfbb2c2358ab249378263d05bf3e3736 to e5135bc0b98bb8959b50c72ed686b649c91128a8

Branch pushed to git repo; I updated commit sha1. New commits:

​2dff051raise NotImplementedOZero instead of the wrong result 0
​e5135bcMerge branch 't/19532/asy/singularity-analysis-generator' into t/17601/public/asy/trunk

comment:122 Changed 4 years ago by git

  • Commit changed from e5135bc0b98bb8959b50c72ed686b649c91128a8 to d8dbdf5b1295c026d0aeda4c7753536aaff795f6

Branch pushed to git repo; I updated commit sha1. New commits:

​83125aalet compare_with_values return a list of tuples
​85bf9a0add rescaled-parameter
​d110580allow symbolic arguments for values
​b09ae92improve doctests with shorter workaround
​5b20379add plot_comparison method
​2041027Trac #19957: reviewer commit
​d8dbdf5Merge branch 't/19957/asy/compare-with-values' into t/17601/public/asy/trunk

comment:123 Changed 4 years ago by git

  • Commit changed from d8dbdf5b1295c026d0aeda4c7753536aaff795f6 to 13221a966ad8fb55423dec4e6083ab896dbf533e

Branch pushed to git repo; I updated commit sha1. New commits:

​9f9a23fTrac #19961: document rpow
​1fc00c7Trac #19946: fix _pushout_ for cartesian product of growth groups
​1b62954Trac #19946: add doctests to document behavior
​24c153cTrac #19946: reviewer commit: ReSt error
​7918417Trac #19946: additional doctest
​13221a9Merge branches 't/19961/t/19961' and 't/19946/t/19946' into t/17601/public/asy/trunk

comment:124 Changed 4 years ago by git

  • Commit changed from 13221a966ad8fb55423dec4e6083ab896dbf533e to d9028d1ff303415297df7faa69386459cf509605

Branch pushed to git repo; I updated commit sha1. New commits:

​bfb72dcTrac #19532: Merge #19946
​21054cbTrac #19532: get rid of work-around for #19946
​d9028d1Merge branch 't/19532/asy/singularity-analysis-generator' into t/17601/public/asy/trunk

comment:125 Changed 4 years ago by dkrenn

  • 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 4 years ago by dkrenn

  • Description modified (diff)

comment:127 Changed 4 years ago by git

  • Commit changed from d9028d1ff303415297df7faa69386459cf509605 to e26107398606f1bd887d3c16d52df1f23d8f174d

Branch pushed to git repo; I updated commit sha1. New commits:

​1471336Trac #19946: rewrite and improve explaination of 1b62954
​101e4deMerge branch 'u/dkrenn/t/19961' of trac.sagemath.org:sage into t/19946
​7179c78Trac #19946: link from general doc to detailed explaination
​1259201Trac #19946: fix typo
​e261073Merge branch 't/19946/t/19946' into t/17601/public/asy/trunk

comment:128 Changed 4 years ago by git

  • Commit changed from e26107398606f1bd887d3c16d52df1f23d8f174d to 9654d068e0706f278a2caf2de0e0d8259f253135

Branch pushed to git repo; I updated commit sha1. New commits:

​53a35cfMerge branch 'u/cheuberg/asy/singularity-analysis-generator' of git://trac.sagemath.org/sage into asy/singularity-analysis-method
​9f650b0handle OZeroException in singularity_analysis
​7276172delete terms from copy instead of building new poset
​742ce5bMerge branch 'asy/exact_part' into asy/singularity-analysis-method
​a2e430eadd doctest for NotImplementedOZero
​9654d06Merge branch 'asy/singularity-analysis-method' into asy/trunk

comment:129 Changed 4 years ago by git

  • Commit changed from 9654d068e0706f278a2caf2de0e0d8259f253135 to d6d4f455054ecd1feaf7116e451a84472f625432

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​0632fd3Trac 19957 review: minor changes in doc
​4a8ea9aTrac #19957: move see also blocks to position given in developer guide
​9ea47b9Trac #19957: fix dead link
​3d51289Trac #19957: Merge #19946 to avoid work-around
​b606fdfTrac #19957: remove work-around for #19946
​4346994Trac #19957: rename e to expansion in doctests
​5d6e9b2Trac #19957: Introduce parameter relative tolerance
​94be722Merge branch 't/19957/asy/compare-with-values' into t/17601/public/asy/trunk
​867d6d3Merge branch 'u/behackl/symbolics/symbolic-subring' of git://trac.sagemath.org/sage into coercion/inverse-action
​d6d4f45Merge branch 'u/behackl/coercion/inverse-action' of git://trac.sagemath.org/sage into t/17601/public/asy/trunk

comment:130 Changed 4 years ago by behackl

  • 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 4 years ago by git

  • Commit changed from d6d4f455054ecd1feaf7116e451a84472f625432 to fef67529bae3883b25e8a7c0f9387d0230108c28

Branch pushed to git repo; I updated commit sha1. New commits:

​2db9105Trac #19510: separate calculation of negative powers in log_Stirling
​37caf25Merge branch 'u/cheuberg/t/19946' of trac.sagemath.org:sage into t/19510/asy/generators-binomial
​10cd04bTrac #19510: major rewrite of binomial kn over n
​a71b84aMerge remote-tracking branch 'trac/u/dkrenn/asy/generators-binomial' into t/19532/asy/singularity-analysis-generator
​209329dMerge branch 'u/dkrenn/asy/generators-binomial' of trac.sagemath.org:sage into t/19898/asy/harmonic-number
​4ad4524Merge branch 'u/dkrenn/asy/harmonic-number' of trac.sagemath.org:sage into t/19532/asy/singularity-analysis-generator
​fef6752Merge branch 't/19532/asy/singularity-analysis-generator' into t/17601/public/asy/trunk

comment:132 Changed 4 years ago by git

  • Commit changed from fef67529bae3883b25e8a7c0f9387d0230108c28 to 95280e4b0b21d2526223028f50ead30a335dd13b

Branch pushed to git repo; I updated commit sha1. New commits:

​00eae5dMerge branch 't/19957/asy/compare-with-values' into t/19510/asy/generators-binomial
​78bdd0fTrac #19510: additional doctests using compare_with_values
​95280e4Merge branch 't/19510/asy/generators-binomial' into t/17601/public/asy/trunk

comment:133 Changed 4 years ago by git

  • Commit changed from 95280e4b0b21d2526223028f50ead30a335dd13b to 6351542e32ba8befee9ba8f7a655571ac3072824

Branch pushed to git repo; I updated commit sha1. New commits:

​148eabbTrac #19898: Merge #19510
​a66c377Trac #19898: additional doctest using compare_with_values
​6351542Merge branch 't/19898/asy/harmonic-number' into t/17601/public/asy/trunk

comment:134 Changed 4 years ago by behackl

  • 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 4 years ago by git

  • Commit changed from 6351542e32ba8befee9ba8f7a655571ac3072824 to 95d891ab81f5384a117cfcb32b1531714701056a

Branch pushed to git repo; I updated commit sha1. New commits:

​5dc6f58Trac #19532: Merge #19898
​2b95429Trac #19532: additional doctest using compare_with_values
​78c27ebMerge branch 't/19532/asy/singularity-analysis-generator' into t/17601/public/asy/trunk
​95d891aMerge tag '7.1.beta1' into t/17601/public/asy/trunk

comment:136 Changed 4 years ago by dkrenn

  • Description modified (diff)

comment:137 Changed 4 years ago by dkrenn

  • Description modified (diff)
Note: See TracTickets for help on using tickets.