Account for more pari 2.17 random output in some tests

sagemath · Oct 27, 2024 · 53a3259 · 53a3259
1 parent b3c57e1
commit 53a3259
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/src/sage/rings/number_field/number_field_ideal_rel.py b/src/sage/rings/number_field/number_field_ideal_rel.py
@@ -409,8 +409,10 @@ def relative_norm(self):
             sage: K.<a> = NumberField(2*x^2 - 1/3)
             sage: L.<b> = K.extension(5*x^2 + 1)
             sage: P = L.primes_above(2)[0]
-            sage: P.relative_norm()
+            sage: rn = P.relative_norm(); rn # random
             Fractional ideal (6*a - 2)
+            sage: rn in [K.ideal(6*a - 2), K.ideal(-6*a -2)]
+            True
         """
         L = self.number_field()
         K = L.base_field()
@@ -528,8 +530,10 @@ def ideal_below(self):
             sage: K.<a> = NumberField(2*x^2 - 1/3)
             sage: L.<b> = K.extension(5*x^2 + 1)
             sage: P = L.primes_above(2)[0]
-            sage: P.ideal_below()
+            sage: ib = P.ideal_below(); ib # random
             Fractional ideal (6*a - 2)
+            sage: ib in [K.ideal(6*a - 2), K.ideal(-6*a -2)]
+            True
         """
         L = self.number_field()
         K = L.base_field()

diff --git a/src/sage/schemes/elliptic_curves/ell_number_field.py b/src/sage/schemes/elliptic_curves/ell_number_field.py
@@ -1487,8 +1487,10 @@ def conductor(self):
             sage: EllipticCurve([i, i - 1, i + 1, 24*i + 15, 14*i + 35]).conductor()
             Fractional ideal (3*i + 21)
             sage: K.<a> = NumberField(x^2 - x + 3)
-            sage: EllipticCurve([1 + a, -1 + a, 1 + a, -11 + a, 5 - 9*a]).conductor()
-            Fractional ideal (-6*a)
+            sage: cond = EllipticCurve([1 + a, -1 + a, 1 + a, -11 + a, 5 - 9*a]).conductor(); cond # random
+            Fractional ideal (6*a)
+            sage: cond == K.ideal(6*a)
+            True
 
         A not so well known curve with everywhere good reduction::