Fix shadowed type annotations of builtins.list

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

src/sage/algebras/clifford_algebra_element.pyi

@@ -1,29 +1,23 @@
+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: ...
     def conjugate(self) -> 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
     def hodge_dual(self) -> ExteriorAlgebraElement: ...
     def constant_coefficient(self) -> Any: ...
     def scalar(self, other: ExteriorAlgebraElement) -> Any: ...
 
-class CohomologyRAAGElement(CliffordAlgebraElement):
-    def _mul_(self, other: CohomologyRAAGElement) -> CohomologyRAAGElement: ...
+class CohomologyRAAGElement(CliffordAlgebraElement): ...

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.
 

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.
 

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: ...