aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorJ08nY2025-06-17 12:29:00 +0200
committerJ08nY2025-06-17 12:29:00 +0200
commit655d60aade683f432c5eb95a1139c11d69e551c9 (patch)
tree5e9e636142d1151563b165868fe624819014e18d /test
parent6cd043a0cc3f9f7a9b9e329e2b04ac997407b229 (diff)
downloadpyecsca-655d60aade683f432c5eb95a1139c11d69e551c9.tar.gz
pyecsca-655d60aade683f432c5eb95a1139c11d69e551c9.tar.zst
pyecsca-655d60aade683f432c5eb95a1139c11d69e551c9.zip
Diffstat (limited to 'test')
-rw-r--r--test/ec/test_regress.py17
1 files changed, 16 insertions, 1 deletions
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