Make dynatomic polynomial coerce base ring

[HTalbott]

This ticket makes the following work:

sage: R.<c> = QQ[]
sage: Pc.<x, y> = ProjectiveSpace(R, 1)
sage: f = DynamicalSystem([xˆ2 + c*yˆ2, yˆ2], domain=Pc)
sage: k = FractionField(f.base_ring())
sage: new_fixed = 2
sage: m = matrix(k, 2, 2, [(new_fixed - 1)/new_fixed, 0, -1/new_fixed, 1])
sage: F = f.conjugate(m)
sage: F.dehomogenize(1).dynatomic_polynomial(2)

by making the dynatomic_polynomial function coerce to the correct base ring.

CC: @bhutz @sagetrac-msaaltink

Component: dynamics

Keywords: SI2019

Author: Henry Talbott

Branch/Commit: edafd35

Reviewer: Colby Kelln, Alex Shearer, Wayne Peng, Fiona Lu, Eric Zhu, Anna Chlopecki

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

[HTalbott]

Branch: u/gh-HTalbott/27985

[HTalbott]

New commits:

fa912d4

Fixed dynatomic polynomial function to coerce correct field

[HTalbott]

Commit: fa912d4

[sagetrac-git]

Changed commit from fa912d4 to a59231a

[sagetrac-git]

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

a59231a

27985: Dynatomic polynomial base field coercion

[sagetrac-atowsley]

Changed branch from u/gh-HTalbott/27985 to u/atowsley/27985

[sagetrac-atowsley]

comment:8

Updated the branch since we were finally able to identify the root problem and fix it.

---

New commits:

5b2a99e

Updated inverse_of_unit in multi_polynomial_element

[sagetrac-atowsley]

Changed commit from a59231a to 5b2a99e

[bhutz]

comment:10

You'll need documentation on that function before it can be marked positive, but we can test functionality.

[sagetrac-git]

Changed commit from 5b2a99e to edafd35

[sagetrac-git]

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

edafd35

Added new documentation.

[sagetrac-atowsley]

comment:12

The documentation is there now. It just needs review.

[ckelln]

Reviewer: Colby Kelln, Alex Shearer, Wayne Peng, Fiona Lu

[Zopherus]

Changed reviewer from Colby Kelln, Alex Shearer, Wayne Peng, Fiona Lu to Colby Kelln, Alex Shearer, Wayne Peng, Fiona Lu, Eric Zhu, Anna Chlopecki

[vbraun]

Changed branch from u/atowsley/27985 to edafd35