diff --git a/src/mypy.ini b/src/mypy.ini index 981c6e29c1b..7c01a3dab12 100644 --- a/src/mypy.ini +++ b/src/mypy.ini @@ -1,6 +1,6 @@ # https://mypy.readthedocs.io/en/stable/config_file.html [mypy] -python_version = 3.11 +python_version = 3.12 # https://github.com/sagemath/sage/issues/36198#issuecomment-1709521850 follow_imports = skip diff --git a/src/sage/algebras/clifford_algebra_element.pyi b/src/sage/algebras/clifford_algebra_element.pyi index 56c4ff7220e..410ed7100cf 100644 --- a/src/sage/algebras/clifford_algebra_element.pyi +++ b/src/sage/algebras/clifford_algebra_element.pyi @@ -1,13 +1,11 @@ +import builtins from typing import Any class CliffordAlgebraElement: def _repr_(self) -> str: ... def _latex_(self) -> str: ... - def _mul_(self, other: CliffordAlgebraElement) -> CliffordAlgebraElement: ... - def _mul_self_term(self, supp: Any, coeff: Any) -> CliffordAlgebraElement: ... - def _mul_term_self(self, supp: Any, coeff: Any) -> CliffordAlgebraElement: ... - def list(self) -> list[tuple[Any, Any]]: ... - def support(self) -> list[Any]: ... + def list(self) -> builtins.list[tuple[Any, Any]]: ... + def support(self) -> builtins.list[Any]: ... def reflection(self) -> CliffordAlgebraElement: ... degree_negation = reflection def transpose(self) -> CliffordAlgebraElement: ... @@ -15,9 +13,6 @@ class CliffordAlgebraElement: clifford_conjugate = conjugate class ExteriorAlgebraElement(CliffordAlgebraElement): - def _mul_(self, other: ExteriorAlgebraElement) -> ExteriorAlgebraElement: ... - def _mul_self_term(self, supp: Any, coeff: Any) -> ExteriorAlgebraElement: ... - def _mul_term_self(self, supp: Any, coeff: Any) -> ExteriorAlgebraElement: ... def reduce(self, I: Any, left: bool = True) -> ExteriorAlgebraElement: ... def interior_product(self, x: Any) -> ExteriorAlgebraElement: ... antiderivation = interior_product @@ -25,5 +20,4 @@ class ExteriorAlgebraElement(CliffordAlgebraElement): def constant_coefficient(self) -> Any: ... def scalar(self, other: ExteriorAlgebraElement) -> Any: ... -class CohomologyRAAGElement(CliffordAlgebraElement): - def _mul_(self, other: CohomologyRAAGElement) -> CohomologyRAAGElement: ... +class CohomologyRAAGElement(CliffordAlgebraElement): ... diff --git a/src/sage/combinat/posets/posets.py b/src/sage/combinat/posets/posets.py index c6df5228cd5..9d696d7de2e 100644 --- a/src/sage/combinat/posets/posets.py +++ b/src/sage/combinat/posets/posets.py @@ -312,6 +312,10 @@ from sage.combinat.combinatorial_map import combinatorial_map from sage.combinat.subset import Subsets from .linear_extensions import LinearExtensionsOfPoset +from typing import TYPE_CHECKING + +if TYPE_CHECKING: + import builtins def Poset(data=None, element_labels=None, cover_relations=False, linear_extension=False, category=None, facade=None, key=None): @@ -2746,7 +2750,7 @@ def number_of_relations(self): relations_number = number_of_relations - def linear_intervals_count(self) -> list[int]: + def linear_intervals_count(self) -> builtins.list[int]: """ Return the enumeration of linear intervals w.r.t. their cardinality. @@ -4156,7 +4160,7 @@ def upper_covers_iterator(self, x): for e in self._hasse_diagram.neighbor_out_iterator(self._element_to_vertex(x)): yield self._vertex_to_element(e) - def upper_covers(self, x) -> list: + def upper_covers(self, x) -> builtins.list: """ Return the list of upper covers of the element ``x``. @@ -4189,7 +4193,7 @@ def lower_covers_iterator(self, x): for e in self._hasse_diagram.neighbor_in_iterator(self._element_to_vertex(x)): yield self._vertex_to_element(e) - def lower_covers(self, x) -> list: + def lower_covers(self, x) -> builtins.list: """ Return the list of lower covers of the element ``x``. @@ -4429,7 +4433,7 @@ def coxeter_polynomial(self, algorithm="sage"): return dense_matrix.CharacteristicPolynomial().sage() return cox_matrix.charpoly() - def coxeter_smith_form(self, algorithm='singular') -> list: + def coxeter_smith_form(self, algorithm='singular') -> builtins.list: """ Return the Smith normal form of `x` minus the Coxeter transformation matrix. @@ -4743,7 +4747,7 @@ def isomorphic_subposets_iterator(self, other): raise TypeError("'other' is not a finite poset") return (self.subposet([self._list[i] for i in x]) for x in self._hasse_diagram.transitive_closure().subgraph_search_iterator(other.hasse_diagram().transitive_closure(), induced=True, return_graphs=False)) - def isomorphic_subposets(self, other) -> list: + def isomorphic_subposets(self, other) -> builtins.list: """ Return a list of subposets of ``self`` isomorphic to ``other``. @@ -5051,7 +5055,7 @@ def chains(self, element_constructor=None, exclude=None): result.rename("Set of chains of %s" % self) return result - def connected_components(self) -> list: + def connected_components(self) -> builtins.list: """ Return the connected components of the poset as subposets. @@ -5098,7 +5102,7 @@ def connected_components(self) -> list: facade=False)) return result - def ordinal_summands(self) -> list: + def ordinal_summands(self) -> builtins.list: r""" Return the ordinal summands of the poset as subposets. @@ -5309,7 +5313,7 @@ def covers(pq, ppqq): return Poset((rees_set, covers), cover_relations=True) - def factor(self) -> list: + def factor(self) -> builtins.list: """ Factor the poset as a Cartesian product of smaller posets. diff --git a/src/sage/interfaces/singular.py b/src/sage/interfaces/singular.py index dfa0af2b532..5eedca6d7a0 100644 --- a/src/sage/interfaces/singular.py +++ b/src/sage/interfaces/singular.py @@ -334,6 +334,7 @@ # https://www.gnu.org/licenses/ # **************************************************************************** +import builtins import os import platform import re @@ -1221,7 +1222,7 @@ def current_ring(self): else: return None - def _tab_completion(self) -> list: + def _tab_completion(self) -> builtins.list[str]: """ Return a list of all Singular commands. diff --git a/src/sage/rings/laurent_series_ring_element.pyi b/src/sage/rings/laurent_series_ring_element.pyi index 990f9399012..17c2b14f87d 100644 --- a/src/sage/rings/laurent_series_ring_element.pyi +++ b/src/sage/rings/laurent_series_ring_element.pyi @@ -1,184 +1,70 @@ -from typing import Any, Optional, Union +import builtins +from typing import Any class LaurentSeriesRingElement: - def __init__(self, parent: Any, f: Any, n: int = 0) -> None: - ... - - def __reduce__(self) -> tuple: - ... - - def change_ring(self, R: Any) -> 'LaurentSeriesRingElement': - ... - - def is_unit(self) -> bool: - ... - - def is_zero(self) -> bool: - ... - - def is_monomial(self) -> bool: - ... - - def __bool__(self) -> bool: - ... - - def _im_gens_(self, codomain: Any, im_gens: list[Any], base_map: Optional[Any] = None) -> 'LaurentSeriesRingElement': - ... - - def _normalize(self) -> None: - ... - - def _repr_(self) -> str: - ... - - def verschiebung(self, n: int) -> 'LaurentSeriesRingElement': - ... + def __init__(self, parent: Any, f: Any, n: int = 0) -> None: ... + def __reduce__(self) -> tuple: ... + def change_ring(self, R: Any) -> LaurentSeriesRingElement: ... + def is_unit(self) -> bool: ... + def is_zero(self) -> bool: ... + def is_monomial(self) -> bool: ... + def __bool__(self) -> bool: ... + def _im_gens_( + self, codomain: Any, im_gens: builtins.list[Any], base_map: Any | None = None + ) -> LaurentSeriesRingElement: ... + def _normalize(self) -> None: ... + def _repr_(self) -> str: ... + def verschiebung(self, n: int) -> LaurentSeriesRingElement: ... V = verschiebung - def _latex_(self) -> str: - ... - - def __hash__(self) -> int: - ... - - def __getitem__(self, i: Union[int, slice]) -> Any: - ... - - def __iter__(self) -> Any: - ... - - def list(self) -> list[Any]: - ... - - def coefficients(self) -> list[Any]: - ... - - def residue(self) -> Any: - ... - - def exponents(self) -> list[int]: - ... - - def laurent_polynomial(self) -> Any: - ... - - def lift_to_precision(self, absprec: Optional[int] = None) -> 'LaurentSeriesRingElement': - ... - - def __setitem__(self, n: int, value: Any) -> None: - ... - - def _unsafe_mutate(self, i: int, value: Any) -> None: - ... - - def _add_(self, right_m: Any) -> 'LaurentSeriesRingElement': - ... - - def _sub_(self, right_m: Any) -> 'LaurentSeriesRingElement': - ... - - def add_bigoh(self, prec: int) -> 'LaurentSeriesRingElement': - ... - - def O(self, prec: int) -> 'LaurentSeriesRingElement': - ... - - def degree(self) -> int: - ... - - def __neg__(self) -> 'LaurentSeriesRingElement': - ... - - def _mul_(self, right_r: Any) -> 'LaurentSeriesRingElement': - ... - - def _rmul_(self, c: Any) -> 'LaurentSeriesRingElement': - ... - - def _lmul_(self, c: Any) -> 'LaurentSeriesRingElement': - ... - - def __pow__(self, r: Any, dummy: Any) -> 'LaurentSeriesRingElement': - ... - - def shift(self, k: int) -> 'LaurentSeriesRingElement': - ... - - def __lshift__(self, k: int) -> 'LaurentSeriesRingElement': - ... - - def __rshift__(self, k: int) -> 'LaurentSeriesRingElement': - ... - - def truncate(self, n: int) -> 'LaurentSeriesRingElement': - ... - - def truncate_laurentseries(self, n: int) -> 'LaurentSeriesRingElement': - ... - - def truncate_neg(self, n: int) -> 'LaurentSeriesRingElement': - ... - - def _div_(self, right_r: Any) -> 'LaurentSeriesRingElement': - ... - - def common_prec(self, other: 'LaurentSeriesRingElement') -> int: - ... - - def common_valuation(self, other: 'LaurentSeriesRingElement') -> int: - ... - - def _richcmp_(self, right_r: Any, op: int) -> bool: - ... - - def valuation_zero_part(self) -> Any: - ... - - def valuation(self) -> int: - ... - - def variable(self) -> str: - ... - - def prec(self) -> int: - ... - - def precision_absolute(self) -> int: - ... - - def precision_relative(self) -> int: - ... - - def __copy__(self) -> 'LaurentSeriesRingElement': - ... - - def reverse(self, precision: Optional[int] = None) -> 'LaurentSeriesRingElement': - ... - - def derivative(self, *args: Any) -> 'LaurentSeriesRingElement': - ... - - def _derivative(self, var: Optional[Any] = None) -> 'LaurentSeriesRingElement': - ... - - def integral(self) -> 'LaurentSeriesRingElement': - ... - - def nth_root(self, n: int, prec: Optional[int] = None) -> 'LaurentSeriesRingElement': - ... - - def power_series(self) -> Any: - ... - - def inverse(self) -> 'LaurentSeriesRingElement': - ... - - def __call__(self, *x: Any, **kwds: Any) -> 'LaurentSeriesRingElement': - ... - - def __pari__(self) -> Any: - ... - -def laurent_series_ring_element(parent: Any, f: Any, n: int = 0) -> LaurentSeriesRingElement: - return LaurentSeriesRingElement(parent, f, n) + def _latex_(self) -> str: ... + def __hash__(self) -> int: ... + def __getitem__(self, i: int | slice) -> Any: ... + def __iter__(self) -> Any: ... + def list(self) -> builtins.list[Any]: ... + def coefficients(self) -> builtins.list[Any]: ... + def residue(self) -> Any: ... + def exponents(self) -> builtins.list[int]: ... + def laurent_polynomial(self) -> Any: ... + def lift_to_precision( + self, absprec: int | None = None + ) -> LaurentSeriesRingElement: ... + def __setitem__(self, n: int, value: Any) -> None: ... + def _unsafe_mutate(self, i: int, value: Any) -> None: ... + def _add_(self, right_m: Any) -> LaurentSeriesRingElement: ... + def _sub_(self, right_m: Any) -> LaurentSeriesRingElement: ... + def add_bigoh(self, prec: int) -> LaurentSeriesRingElement: ... + def O(self, prec: int) -> LaurentSeriesRingElement: ... + def degree(self) -> int: ... + def __neg__(self) -> LaurentSeriesRingElement: ... + def _mul_(self, right_r: Any) -> LaurentSeriesRingElement: ... + def _rmul_(self, c: Any) -> LaurentSeriesRingElement: ... + def _lmul_(self, c: Any) -> LaurentSeriesRingElement: ... + def __pow__(self, r: Any, dummy: Any) -> LaurentSeriesRingElement: ... + def shift(self, k: int) -> LaurentSeriesRingElement: ... + def __lshift__(self, k: int) -> LaurentSeriesRingElement: ... + def __rshift__(self, k: int) -> LaurentSeriesRingElement: ... + def truncate(self, n: int) -> LaurentSeriesRingElement: ... + def truncate_laurentseries(self, n: int) -> LaurentSeriesRingElement: ... + def truncate_neg(self, n: int) -> LaurentSeriesRingElement: ... + def _div_(self, right_r: Any) -> LaurentSeriesRingElement: ... + def common_prec(self, other: LaurentSeriesRingElement) -> int: ... + def common_valuation(self, other: LaurentSeriesRingElement) -> int: ... + def _richcmp_(self, right_r: Any, op: int) -> bool: ... + def valuation_zero_part(self) -> Any: ... + def valuation(self) -> int: ... + def variable(self) -> str: ... + def prec(self) -> int: ... + def precision_absolute(self) -> int: ... + def precision_relative(self) -> int: ... + def __copy__(self) -> LaurentSeriesRingElement: ... + def reverse(self, precision: int | None = None) -> LaurentSeriesRingElement: ... + def derivative(self, *args: Any) -> LaurentSeriesRingElement: ... + def _derivative(self, var: Any | None = None) -> LaurentSeriesRingElement: ... + def integral(self) -> LaurentSeriesRingElement: ... + def nth_root(self, n: int, prec: int | None = None) -> LaurentSeriesRingElement: ... + def power_series(self) -> Any: ... + def inverse(self) -> LaurentSeriesRingElement: ... + def __call__(self, *x: Any, **kwds: Any) -> LaurentSeriesRingElement: ... + def __pari__(self) -> Any: ...