Skip to content

Commit 73fa44e

Browse files
committed
fix more code that relied on pol(x,y...) ∈ wrong parent
1 parent 632a575 commit 73fa44e

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/sage/schemes/riemann_surfaces/riemann_surface.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2128,6 +2128,7 @@ def rigorous_line_integral(self, upstairs_edge, differentials, bounding_data):
21282128
# CCzg is required to be known as we need to know the ring which the minpolys
21292129
# lie in.
21302130
CCzg, bounding_data_list = bounding_data
2131+
CCz = CCzg.univariate_ring(CCzg.gen(1)).base_ring()
21312132

21322133
d_edge = tuple(u[0] for u in upstairs_edge)
21332134
# Using a try-catch here allows us to retain a certain amount of back
@@ -2193,7 +2194,7 @@ def local_N(ct, rt):
21932194
z_1 = a0lc.abs() * prod((cz - r).abs() - rho_z for r in a0roots)
21942195
n = minpoly.degree(CCzg.gen(1))
21952196
ai_new = [
2196-
(minpoly.coefficient({CCzg.gen(1): i}))(z=cz + self._CCz.gen(0))
2197+
CCz(minpoly.coefficient({CCzg.gen(1): i}))(z=cz + self._CCz.gen(0))
21972198
for i in range(n)
21982199
]
21992200
ai_pos = [self._RRz([c.abs() for c in h.list()]) for h in ai_new]

0 commit comments

Comments
 (0)