exp & log for the AsymptoticRing

[behackl]

On this ticket, taking the logarithm and the exponential function (both with arbitrary appropriate bases) of asymptotic expressions (as implemented in #17716) shall be implemented.

Depends on #19048
Depends on #19073
Depends on #19079
Depends on #19110

CC: @dkrenn @cheuberg

Component: asymptotic expansions

Author: Benjamin Hackl, Daniel Krenn

Reviewer: Daniel Krenn, Clemens Heuberger

Issue created by migration from https://trac.sagemath.org/ticket/19094

[sagetrac-git]

Changed commit from 8337efa to 187442b

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:

1ac20d7	rewrite element_constructor of AsymptoticRing to accept SR and polynomials
15ba65e	correct a bug in growth_group_cartesian._element_constructor_
4bbe5f3	add a doctest to convert from SR
c7c4de9	__ne__ implemented for growth group elements
549a155	dummy implementations of log for monomial and exponential growth groups
ec04d5e	exponential element constructor: exp(...) covered
16514c0	exponential growth elements: representation string simplified
5f04fd5	implemented factor for cartesian product elements
6498396	implemented log_factor
187442b	implemented log for growth groups

[sagetrac-git]

Changed commit from 187442b to 737dc93

[sagetrac-git]

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

737dc93

rpow and exp implemented.

[sagetrac-git]

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

1e625e3	add a doctest for scalar multiplication
be23e63	fix bug with "is" and change_parameter
0c2b6e4	improves working with categories and use CommutativeAlgebras()
ee071a7	fix scalar multiplication by zero
f54e588	some checks on the given names of the generators (when using R.<....>)
92861ed	more on names/gens
18bc9e8	correct handling of parent in __invert__
d833544	minor rewrite of __pow__
cf79733	Merge branch 'u/dkrenn/asy/prototype' of git://trac.sagemath.org/sage into asy/ring-exp-log
2d4c680	doctest fixed

[sagetrac-git]

Changed commit from 737dc93 to 2d4c680

[sagetrac-git]

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

123d0c8	Merge branch 'u/dkrenn/asy/mutable-poset' into asy/prototype
6c04529	fix lazy import problem when using short representations
1d023c6	import AsymptoticRing lazy
e02895f	remove some empty lines
738f4ed	explicitly use coefficient_ring(-1) in subtraction
ecf5ba8	use simplify/convert everywhere explicit
55d6ad3	restructure and rewrite classcall and init of growth group
3e449df	solve non-uniquenessbug by rewriting classcall and init of term
5068df9	rewrite classcall and init of asymptotic ring
85dcb7a	Merge branch 'u/dkrenn/asy/prototype' of git://trac.sagemath.org/sage into asy/ring-exp-log

[sagetrac-git]

Changed commit from 2d4c680 to 85dcb7a

[dkrenn]

Changed branch from u/behackl/asy/ring-exp-log to u/dkrenn/asy/ring-exp-log

[sagetrac-git]

Changed commit from 85dcb7a to 32b422d

[sagetrac-git]

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

ba62bfb	rewrite log_factor
b8208a4	doc of `_log_factor_` helper method
03d4b95	move log_factor to growth_group
d825419	make log_factor working again
3ac612b	fix doc and doctests
4629e82	improve doc of log
15cc256	move log to growth_group
1dca8c0	get rid of old log method
d67d4aa	minor doc change in exp + one additional doctest
32b422d	major rpow rewriting in growth group

[dkrenn]

Changed author from Benjamin Hackl to Benjamin Hackl, Daniel Krenn

[sagetrac-git]

Changed commit from 32b422d to 797eb74

[sagetrac-git]

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

9b8e8a6	simplify rpow code
fc3a77f	minor rewrite of _rpow_element_
797eb74	docstrings for rpow and rpow_element

[dkrenn]

Reviewer: Daniel Krenn

[dkrenn]

comment:9

A lot of reviewer commits added. Need a cross review; but positive review from my side (so far).

[dkrenn]

Changed dependencies from #17716, #19073 to #17716, #19083, #19073

[sagetrac-git]

Changed commit from 797eb74 to 780d26b

[sagetrac-git]

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

780d26b

fix ALGORITHM block

[behackl]

Changed commit from 780d26b to ff3e536

[behackl]

Changed branch from u/dkrenn/asy/ring-exp-log to u/behackl/asy/ring-exp-log

[behackl]

Last 10 new commits:

4d6bc7e	Merge branch 'u/dkrenn/asy/prototype' of git://trac.sagemath.org/sage into asy/ring-exp-log
9d0b39c	is_constant for terms implemented
bdf8ae7	helper functions `_construct_exp_` for terms implemented
8ff9e7b	implemented helper function _rpow_
2e3dec4	doctests for exp are now actually tested
7adba3c	adaption of __pow__: call to _rpow_
0ea030c	_log_factor_ (exponential growth group): improved handling of base=None
bb3f707	exponentiation of constant terms with base=None
d4ae5d3	doctests added
ff3e536	some small doctests for `__pow__` added

[sagetrac-git]

Changed commit from 74cd899 to eb4e3c9

[dkrenn]

Changed dependencies from #17600, #17693, #17715, #17716, #18182, #18223, #18586, #18587, #18930, #19017, #19028, #19047, #19048, #19068, #19073, #19079, #19110 to #17716, #19028, #19048, #19073, #19079, #19110

[dkrenn]

Changed dependencies from #17716, #19028, #19048, #19073, #19079, #19110 to #19048, #19073, #19079, #19110

[sagetrac-git]

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

c655f9f	Trac 19319: Cantor iteration of cartesian products
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/ring-exp-log

[sagetrac-git]

Changed commit from eb4e3c9 to 9213baa

[dkrenn]

comment:37

Now really merged in all dependencies.

[sagetrac-git]

Changed commit from 9213baa to 05862f4

[sagetrac-git]

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 PEP8-spacings in doctest
05862f4	Merge branch 't/19073/asy/groups-coercion' into t/19094/asy/ring-exp-log

[sagetrac-git]

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

b160261

forgotten changes of last merge

[sagetrac-git]

Changed commit from 05862f4 to b160261

[behackl]

Changed branch from u/dkrenn/asy/ring-exp-log to u/behackl/asy/ring-exp-log

[behackl]

Changed commit from b160261 to 5562a66

[behackl]

comment:40

added the TODO-blocks as suggested by cheuberg, back to needs_review.

---

New commits:

5562a66

add two TODO-blocks

[cheuberg]

comment:41

I review this ticket and the follow-up-ticket #19083 in one go, as there are many interdependencies.

[cheuberg]

Changed reviewer from Daniel Krenn to Daniel Krenn, Clemens Heuberger

[cheuberg]

comment:43

As this is reviewed in #19083, it seems best to close this as a duplicate.

[cheuberg]

Changed commit from 5562a66 to none

[cheuberg]

Changed branch from u/behackl/asy/ring-exp-log to none

[dkrenn]

comment:44

Replying to @cheuberg:

As this is reviewed in #19083, it seems best to close this as a duplicate.

Ok.

[cheuberg]

comment:45

Replying to @dkrenn:

Replying to @cheuberg:

As this is reviewed in #19083, it seems best to close this as a duplicate.

Ok.

in that case, please set this ticket to positive.