Multivariate power series are missing integral and division method

[hivert]

sage: R.<x>=PowerSeriesRing(QQ, 'x')
sage: (x+x^2).integral()
1/2*x^2 + 1/3*x^3
sage: R.<x,y>=PowerSeriesRing(QQ, 'x y')
sage: (x+x^2).integral(x)
...
AttributeError: 'MPowerSeries' object has no attribute 'integral'

I also implement division by a non unit series (thanks Nicolas for preliminary code) and fixes the latex method which was buggy

Apply:

• attachment: trac_14814-power_series_inverse_latex-fix-fh.patch​
• attachment: trac_14814_review.patch​
• attachment: trac_14814-review-2-dg.patch

Component: algebra

Keywords: integral multivariate power series

Author: Florent Hivert, Nicolas M. Thiéry

Branch/Commit: u/vbraun/series_integral_div @ 02333e3

Reviewer: Frédéric Chapoton

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

[hivert]

Description changed:

--- 
+++ 
@@ -4,7 +4,7 @@
 sage: (x+x^2).integral()
 1/2*x^2 + 1/3*x^3
 sage: R.<x,y>=PowerSeriesRing(QQ, 'x y')
-sage: (x+x^2).integral()
+sage: (x+x^2).integral(x)
 ...
 AttributeError: 'MPowerSeries' object has no attribute 'integral'
 ```

[hivert]

Author: Florent Hivert, Nicolas Thiéry

[hivert]

Description changed:

--- 
+++ 
@@ -9,7 +9,5 @@
 AttributeError: 'MPowerSeries' object has no attribute 'integral'
 ```
 
-I've some preliminary patch mut I'm not sure if this shoudn't be done at another level (eg Singular).
+I also implement division by a non unit series (thanks Nicolas for preliminary code) and fixes the latex method which was buggy 
 
-Florent
-

[fchapoton]

comment:3

Attachment: trac_14814-power_series_inverse_latex-fix-fh.patch.gz

this may interfere with #14334

[fchapoton]

comment:5

It seems that there is no conflict with #14334

2 remarks:

• there is a typo in quo_rem: increassing

• please use the new syntax ValueError('please')

[fchapoton]

comment:6

I have made a review patch. If you are happy with the few small changes I have made, you can set a positive review.

[fchapoton]

Reviewer: Frédéric Chapoton