map_coefficients for asymptotic expansions

[dkrenn]

Write a method which transforms asymptotic expansions by applying a function on its coefficients.

CC: @behackl

Component: asymptotic expansions

Author: Daniel Krenn

Branch/Commit: d62912f

Reviewer: Clemens Heuberger

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

[dkrenn]

Branch: u/dkrenn/asy/map_coefficients

[dkrenn]

Commit: bdcb72b

[dkrenn]

New commits:

421e377	mutable poset map: remove elements ``None``
1d28240	term monoid: write change_parameter
2c37889	correct a bug in change_parameter
bdcb72b	write map_coefficients

[cheuberg]

Changed branch from u/dkrenn/asy/map_coefficients to u/cheuberg/asy/map_coefficients

[cheuberg]

Changed commit from bdcb72b to 8a71ba3

[cheuberg]

Reviewer: Clemens Heuberger

[cheuberg]

comment:4

One reviewer commit and to minor issues:

1. TermMonoidFactory. When reading its documentation because it was used by change_parameter, I am no longer happy with the description (and probably also the name) of the parameter term: "or an existing instance of a term." should be replaced by "or an existing instance of a term monoid". Also "the kind of term that shall be created" is not really precise ("the kind of terms held in the new term monoid")
2. map_coefficients: == 0 vs. is_zero()?

---

New commits:

8a71ba3

Trac #19528: simplification of documentation

[cheuberg]

comment:5

The build error by the patchbot Athena seems to be unrelated to this ticket.

[dkrenn]

Changed branch from u/cheuberg/asy/map_coefficients to u/dkrenn/asy/map_coefficients

[dkrenn]

Changed commit from 8a71ba3 to d62912f

[dkrenn]

New commits:

dc9d496	Trac #19528: rename term to term_monoid and improve doc
d62912f	Trac #19528: change "== 0" to ".is_zero()"

[cheuberg]

comment:8

LGTM.

[vbraun]

Changed branch from u/dkrenn/asy/map_coefficients to d62912f