passagemath-pari 10.6.32__cp314-cp314-musllinux_1_2_x86_64.whl

sage/rings/padics/padic_relaxed_element.pxd

@@ -0,0 +1,56 @@
+# sage_setup: distribution = sagemath-pari
+from sage.libs.flint.types cimport fmpz, fmpz_t, fmpz_poly_t, flint_rand_t
+
+ctypedef fmpz_t cdigit
+ctypedef fmpz* cdigit_ptr
+ctypedef fmpz_poly_t celement
+ctypedef flint_rand_t randgen
+
+
+include "relaxed_template_header.pxi"
+
+
+cdef class pAdicRelaxedElement(RelaxedElement):
+    pass
+
+cdef class pAdicRelaxedElement_zero(RelaxedElement_zero):
+    pass
+
+cdef class pAdicRelaxedElement_one(RelaxedElement_one):
+    pass
+
+cdef class pAdicRelaxedElement_bound(RelaxedElement_bound):
+    pass
+
+cdef class pAdicRelaxedElement_value(RelaxedElement_value):
+    pass
+
+cdef class pAdicRelaxedElement_random(RelaxedElement_random):
+    pass
+
+cdef class pAdicRelaxedElement_slice(RelaxedElement_slice):
+    pass
+
+cdef class pAdicRelaxedElement_add(RelaxedElement_add):
+    pass
+
+cdef class pAdicRelaxedElement_sub(RelaxedElement_sub):
+    pass
+
+cdef class pAdicRelaxedElement_mul(RelaxedElement_mul):
+    pass
+
+cdef class pAdicRelaxedElement_muldigit(RelaxedElement_muldigit):
+    pass
+
+cdef class pAdicRelaxedElement_div(RelaxedElement_div):
+    pass
+
+cdef class pAdicRelaxedElement_sqrt(RelaxedElement_sqrt):
+    pass
+
+cdef class pAdicRelaxedElement_teichmuller(RelaxedElement_teichmuller):
+    pass
+
+cdef class pAdicRelaxedElement_unknown(RelaxedElement_unknown):
+    pass

sage/rings/padics/padic_relaxed_element.pyx

@@ -0,0 +1,18 @@
+# sage_setup: distribution = sagemath-pari
+cdef inline type element_class_zero = pAdicRelaxedElement_zero
+cdef inline type element_class_one = pAdicRelaxedElement_one
+cdef inline type element_class_bound = pAdicRelaxedElement_bound
+cdef inline type element_class_value = pAdicRelaxedElement_value
+cdef inline type element_class_random = pAdicRelaxedElement_random
+cdef inline type element_class_slice = pAdicRelaxedElement_slice
+cdef inline type element_class_add = pAdicRelaxedElement_add
+cdef inline type element_class_sub = pAdicRelaxedElement_sub
+cdef inline type element_class_mul = pAdicRelaxedElement_mul
+cdef inline type element_class_muldigit = pAdicRelaxedElement_muldigit
+cdef inline type element_class_div = pAdicRelaxedElement_div
+cdef inline type element_class_sqrt = pAdicRelaxedElement_sqrt
+cdef inline type element_class_teichmuller = pAdicRelaxedElement_teichmuller
+cdef inline type element_class_unknown = pAdicRelaxedElement_unknown
+
+include "sage/libs/linkages/padics/relaxed/flint.pxi"
+include "relaxed_template.pxi"

sage/rings/padics/padic_relaxed_errors.pxd

@@ -0,0 +1,11 @@
+# sage_setup: distribution = sagemath-pari
+cdef inline int ERROR_ABANDON
+cdef inline int ERROR_NOTDEFINED
+cdef inline int ERROR_PRECISION
+cdef inline int ERROR_OVERFLOW
+cdef inline int ERROR_NOTSQUARE
+cdef inline int ERROR_INTEGRAL
+cdef inline int ERROR_DIVISION
+cdef inline int ERROR_CIRCULAR
+
+cdef inline int ERROR_UNEXPECTED

sage/rings/padics/padic_relaxed_errors.pyx

@@ -0,0 +1,71 @@
+# sage_setup: distribution = sagemath-pari
+# ****************************************************************************
+#       Copyright (C) 2021 Xavier Caruso <xavier.caruso@normalesup.org>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
+
+
+from sage.rings.padics.precision_error import PrecisionError
+
+
+cdef inline int ERROR_ABANDON = 1
+cdef inline int ERROR_NOTDEFINED = 1 << 1
+cdef inline int ERROR_PRECISION = 1 << 2
+cdef inline int ERROR_OVERFLOW = 1 << 3
+cdef inline int ERROR_NOTSQUARE = 1 << 4  # maybe we should have something more generic here
+cdef inline int ERROR_INTEGRAL = 1 << 5
+cdef inline int ERROR_DIVISION = 1 << 6
+cdef inline int ERROR_CIRCULAR = 1 << 7
+
+cdef inline int ERROR_UNEXPECTED = 1 << 30
+
+
+def raise_error(error, permissive=False):
+    r"""
+    Raise an error according to the given error code.
+
+    INPUT:
+
+    - ``error`` -- integer; the error code
+
+    - ``permissive`` -- boolean (default: ``False``); if ``True``,
+      do not raise weak errors (precision, abandon)
+
+    TESTS::
+
+        sage: from sage.rings.padics.padic_relaxed_errors import *
+        sage: raise_error(0)
+        sage: raise_error(64)
+        Traceback (most recent call last):
+        ...
+        ZeroDivisionError: denominator is not invertible
+
+        sage: raise_error(1)
+        Traceback (most recent call last):
+        ...
+        PrecisionError: computation has been abandoned; try to increase precision
+
+        sage: raise_error(1, permissive=True)
+    """
+    if error & ERROR_UNEXPECTED:
+        raise RuntimeError("error code = %s" % error)
+    if error & ERROR_CIRCULAR:
+        raise RecursionError("definition looks circular")
+    if error & ERROR_DIVISION:
+        raise ZeroDivisionError("denominator is not invertible")
+    if error & ERROR_INTEGRAL:
+        raise ValueError("not in the ring of integers")
+    if error & ERROR_NOTSQUARE:
+        raise ValueError("not a square")
+    if not permissive:
+        if error & ERROR_OVERFLOW:
+            raise OverflowError
+        if error & (ERROR_PRECISION | ERROR_NOTDEFINED):
+            raise PrecisionError("not enough precision")
+        if error & ERROR_ABANDON:
+            raise PrecisionError("computation has been abandoned; try to increase precision")