From 655d60aade683f432c5eb95a1139c11d69e551c9 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Tue, 17 Jun 2025 12:29:00 +0200
Subject: Add repro for #71.

---
 test/ec/test_regress.py | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'test/ec')

diff --git a/test/ec/test_regress.py b/test/ec/test_regress.py
index f20491d..067a269 100644
--- a/test/ec/test_regress.py
+++ b/test/ec/test_regress.py
@@ -1,7 +1,7 @@
 from typing import cast
 
 import pytest
-from sympy import symbols
+from sympy import symbols, FF, Poly
 
 from pyecsca.ec.coordinates import AffineCoordinateModel
 from pyecsca.ec.curve import EllipticCurve
@@ -132,3 +132,18 @@ def test_issue_53():
     coords = secp128r1.curve.coordinate_model
     formula = coords.formulas["dbl-1998-hnm"]
     formula(secp128r1.curve.prime, secp128r1.generator, **secp128r1.curve.parameters)
+
+
+def test_issue_71():
+    ax = symbols("α")
+    field = FF(340282366762482138434845932244680310783)
+    rhs = Poly(
+        ax**3
+        + field(55811479606114091134440010920619299102) * ax
+        + field(126188322377389722996253562430093625949),
+        ax,
+        domain=field,
+    )
+    rhs.ground_roots()
+    # raises TypeError:
+    # flint/types/fmpz_mod_poly.pyx:321: TypeError
-- 
cgit v1.2.3-70-g09d2