Add is_monomial() to power series and laurent series ring elements

[boothby]

It should be trivial to check if a power/laurent series ring element is a monomial or not. It is not.

Component: commutative algebra

Keywords: sd32, laurent series, power series

Author: Tom Boothby, Ralf Stephan

Branch/Commit: c3851c0

Reviewer: Peter Bruin

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

[boothby]

Changed keywords from none to sd32

[boothby]

comment:5

Attachment: trac_11719.patch.gz

[boothby]

Author: Tom Boothby

[boothby]

Dependencies: #11726

[williamstein]

comment:8

Needs work, due to #11747 -- ambiguity of is_monomial.

[fchapoton]

Changed keywords from sd32 to sd32, laurent series, power series

[rwst]

Branch: u/rws/add_is_monomial___to_power_series_and_laurent_series_ring_elements

[rwst]

Commit: c3851c0

[rwst]

comment:13

Rebased on 6.2.beta8. I changed the implementation of LaurentPolynomial.is_monomial because it gave the wrong (in the sense of #11747) result. It would also have marked zero as a monomial which would be wrong IMHO, and not according to Polynomial.is_monomial. I also changed the documentation to fit #11747. I removed the words non-negative from the doc of the laurent_polynomial.pyx implementation. I finally fixed appearances of "Returns".

---

New commits:

c3851c0

11719: add is_monomial to power series and Laurent poly and series

[rwst]

Changed author from Tom Boothby to Tom Boothby, Ralf Stephan

[rwst]

Changed dependencies from #11726 to none

[pjbruin]

Reviewer: Peter Bruin

[pjbruin]

comment:15

Looks good and the patchbot is happy.

[vbraun]

Changed branch from u/rws/add_is_monomial___to_power_series_and_laurent_series_ring_elements to c3851c0