Opened 8 years ago

Closed 7 years ago

# Multivariate power series are missing integral and division method

Reported by: Owned by: hivert AlexGhitza major sage-6.1 algebra integral multivariate power series Florent Hivert, Nicolas M. Thiéry Frédéric Chapoton N/A u/vbraun/series_integral_div 02333e33b825d09116f0ad8786638e764fcacfee

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

### comment:1 Changed 8 years ago by hivert

• Description modified (diff)

### comment:2 Changed 8 years ago by hivert

• Authors set to Florent Hivert, Nicolas Thiéry
• Description modified (diff)
• Status changed from new to needs_review
• Summary changed from Mulitvariate power series are missing an integral method to Mulitvariate power series are missing integral and division method

### comment:3 Changed 8 years ago by chapoton

this may interfere with #14334

### comment:4 Changed 8 years ago by chapoton

• Summary changed from Mulitvariate power series are missing integral and division method to Multivariate power series are missing integral and division method

### comment:5 Changed 8 years ago by chapoton

It seems that there is no conflict with #14334

2 remarks:

• there is a typo in quo_rem: increassing

### comment:6 Changed 8 years ago by chapoton

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

### comment:7 Changed 8 years ago by chapoton

• Reviewers set to Frédéric Chapoton

Ping ! Florent ? anybody else ?

### comment:8 Changed 8 years ago by chapoton

Ping again ! Nobody available to have a look at this ticket ?

### Changed 8 years ago by darij

another review patch, atop of the previous one

### comment:9 Changed 8 years ago by darij

• Description modified (diff)

New review patch allows the denominator to lie in a different parent (as long as it coerces into that of the numerator), deals with an endless-loop bug, and adds doc and comments. If you are fine with it, Frederic and Florent, this is positive_review!

for the patchbot

apply trac_14814-power_series_inverse_latex-fix-fh.patch​ trac_14814_review.patch​ trac_14814-review-2-dg.patch

### comment:10 Changed 7 years ago by vbraun

• Branch set to u/vbraun/series_integral_div

### comment:11 Changed 7 years ago by vbraun

• Status changed from needs_review to positive_review

New commits:

 ​02333e3 `trac #14814: review patch` ​09c2670 `trac #14814 review patch (minor details)` ​aeea9a1 `Implement integration and division or power series.`

### comment:12 Changed 7 years ago by darij

Thanks for the final review, Volker!

### comment:13 Changed 7 years ago by vbraun

• Resolution set to fixed
• Status changed from positive_review to closed

### comment:14 Changed 7 years ago by jdemeyer

• Authors changed from Florent Hivert, Nicolas Thiéry to Florent Hivert, Nicolas M. Thiéry
Note: See TracTickets for help on using tickets.