random doctest error in `src/sage/schemes/elliptic_curves/ell_finite_field.py`

### Steps To Reproduce `./sage -t --warn-long 5.0 --random-seed=78781726611657908773963996760923784728 src/sage/schemes/elliptic_curves/ell_finite_field.py` ### Expected Behavior All tests passed! ### Actual Behavior ``` src/bin/sage -t --warn-long 5.0 --random-seed=78781726611657908773963996760923784728 src/sage/schemes/elliptic_curves/ell_finite_field.py ********************************************************************** File "src/sage/schemes/elliptic_curves/ell_finite_field.py", line 3104, in sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve Failed example: E, iota, O = special_supersingular_curve(F, endomorphism=True, maximal_order=True) Exception raised: Traceback (most recent call last): File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 724, in _run self.compile_and_execute(example, compiler, test.globs) ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 1148, in compile_and_execute exec(compiled, globs) ~~~~^^^^^^^^^^^^^^^^^ File "<doctest sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve[35]>", line 1, in <module> E, iota, O = special_supersingular_curve(F, endomorphism=True, maximal_order=True) ~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "sage/misc/lazy_import.pyx", line 421, in sage.misc.lazy_import.LazyImport.__call__ File "/Users/dcoudert/sage/src/sage/schemes/elliptic_curves/ell_finite_field.py", line 3275, in special_supersingular_curve O = Quat.quaternion_order([1, i, (i+j)/2, (1+k)/2]) File "/Users/dcoudert/sage/src/sage/algebras/quatalg/quaternion_algebra.py", line 1745, in quaternion_order return QuaternionOrder(self, basis, check=check) File "/Users/dcoudert/sage/src/sage/algebras/quatalg/quaternion_algebra.py", line 2037, in __init__ raise ValueError("given lattice must be a ring") ValueError: given lattice must be a ring ********************************************************************** File "src/sage/schemes/elliptic_curves/ell_finite_field.py", line 3106, in sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve Failed example: O.discriminant() == p Exception raised: Traceback (most recent call last): File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 724, in _run self.compile_and_execute(example, compiler, test.globs) ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 1148, in compile_and_execute exec(compiled, globs) ~~~~^^^^^^^^^^^^^^^^^ File "<doctest sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve[37]>", line 1, in <module> O.discriminant() == p ^^^^^^^^^^^^^^ AttributeError: 'function' object has no attribute 'discriminant' ********************************************************************** File "src/sage/schemes/elliptic_curves/ell_finite_field.py", line 3108, in sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve Failed example: O.quaternion_algebra().invariants() == (-iota.degree(), -p) Exception raised: Traceback (most recent call last): File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 724, in _run self.compile_and_execute(example, compiler, test.globs) ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 1148, in compile_and_execute exec(compiled, globs) ~~~~^^^^^^^^^^^^^^^^^ File "<doctest sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve[38]>", line 1, in <module> O.quaternion_algebra().invariants() == (-iota.degree(), -p) ^^^^^^^^^^^^^^^^^^^^ AttributeError: 'function' object has no attribute 'quaternion_algebra' ********************************************************************** File "src/sage/schemes/elliptic_curves/ell_finite_field.py", line 3111, in sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve Failed example: for vec in map(vector, O.basis()): denom = vec.denominator() vec *= denom numer = sum(ZZ(c) * gen for c,gen in zip(vec, [1, iota, pi, iota*pi])) _ = EllipticCurveHom_fractional(numer, denom, check=True) # fails if not divisible Exception raised: Traceback (most recent call last): File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 724, in _run self.compile_and_execute(example, compiler, test.globs) ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/Users/dcoudert/sage/src/sage/doctest/forker.py", line 1148, in compile_and_execute exec(compiled, globs) ~~~~^^^^^^^^^^^^^^^^^ File "<doctest sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve[40]>", line 1, in <module> for vec in map(vector, O.basis()): ^^^^^^^ AttributeError: 'function' object has no attribute 'basis' ********************************************************************** 1 item had failures: 4 of 76 in sage.schemes.elliptic_curves.ell_finite_field.special_supersingular_curve [568 tests, 4 failures, 6.80s wall] ---------------------------------------------------------------------- src/bin/sage -t --warn-long 5.0 --random-seed=78781726611657908773963996760923784728 src/sage/schemes/elliptic_curves/ell_finite_field.py # 4 doctests failed ---------------------------------------------------------------------- ``` ### Additional Information The error can be seen in https://github.com/sagemath/sage/actions/runs/27872087516/job/82485502223?pr=42406 I observe the same issue with 10.10.beta3 on macOS. ### Environment - **OS**: macOS 26.5.1 - **Sage Version**: 10.10.beta3 using Python 3.13.14 ### Checklist - [x] I have searched the existing issues for a bug report that matches the one I want to file, without success. - [x] I have read the documentation and troubleshoot guide