implement PowerSeries.inversion() as wrapper for ^-1

[rwst]

People try to TAB-discover a method for inversion of PowerSeries but can't find it (http://ask.sagemath.org/question/24904/how-to-compute-the-multiplicative-inverse-of-a-series/), so we need a wrapper for ^-1, named analogously to PowerSeries.reversion().

The same applies to LaurentSeries

Component: commutative algebra

Keywords: inverse, series

Author: Ralf Stephan

Branch/Commit: 94b3ca3

Reviewer: Bruno Grenet

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

[rwst]

Branch: u/rws/implement_powerseries_inversion___as_wrapper_for___1

[rwst]

New commits:

6107bd2

17403: convenience wrapper inversion() for power and Laurent series

[rwst]

Commit: 6107bd2

[rwst]

Author: Ralf Stephan

[bgrenet]

comment:3

The name inverse() instead of inversion() would be more appropriate to my mind, but actually I would say the same for reverse() rather than reversion(). This is more consistent with other names in Sage, such as derivative() (and not derivation()) or truncate() (and not truncation()).

[rwst]

comment:4

I actually agree. If you open a ticket for reverse then I'll make this one dependent on it and do the development/deprecation work.

[bgrenet]

comment:5

Replying to @rwst:

I actually agree. If you open a ticket for reverse then I'll make this one dependent on it and do the development/deprecation work.

This is now #17724.

[sagetrac-git]

Changed commit from 6107bd2 to 94b3ca3

[sagetrac-git]

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

94b3ca3

17403: rename to inverse

[bgrenet]

comment:7

Looks good to me!

[bgrenet]

Reviewer: Bruno Grenet

[vbraun]

Changed branch from u/rws/implement_powerseries_inversion___as_wrapper_for___1 to 94b3ca3