Opened 6 years ago

Last modified 6 weeks ago

#21283 new defect

Inverse of a multivariate power series

Reported by: kedlaya Owned by:
Priority: major Milestone:
Component: algebra Keywords: multivariate series, fraction field
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

GitHub link to the corresponding issue

Description

Multivariate polynomials exhibit this behavior:

sage: T.<a,b> = PolynomialRing(QQ, 2)
sage: (~a).parent()
Fraction Field of Multivariate Polynomial Ring in a, b over Rational Field

But multivariate power series don't (and should):

sage: R.<x,y> = PowerSeriesRing(QQ, 2)
sage: (~x).parent()
...
NotImplementedError: Multiplicative inverse of multivariate power series currently implemented only if constant coefficient is a unit.

This is the primary issue holding up resolution of the mostly unrelated issue #8972.

Change History (1)

comment:1 Changed 6 weeks ago by mkoeppe

Milestone: sage-7.4
Note: See TracTickets for help on using tickets.