passagemath-combinat 10.6.1__cp312-cp312-musllinux_1_2_aarch64.whl → 10.8.1a1__cp312-cp312-musllinux_1_2_aarch64.whl

sage/algebras/hecke_algebras/cubic_hecke_algebra.py

@@ -103,7 +103,7 @@ algebra as well::
     sage: s^2
     (c0*c1*c2*c3*c4)^2
     sage: t = CHA6.an_element() * c4; t
-    (-w)*c0*c1^-1*c4 + v*c0*c2^-1*c4 + u*c2*c1*c4 + ((-v*w+u)/w)*c4
+    -w*c0*c1^-1*c4 + v*c0*c2^-1*c4 + u*c2*c1*c4 - ((v*w-u)/w)*c4
 
 REFERENCES:
 
@@ -579,7 +579,7 @@ class CubicHeckeElement(CombinatorialFreeModule.Element):
             mtcf = [M.from_vector(cf.to_vector()) for cf in mtcf]
 
         R = M.base_ring()
-        return M.linear_combination((mtcf[i], R(val)) for i, val in vs.iteritems())
+        return M.linear_combination((mtcf[i], R(val)) for i, val in vs.items())
 
 
 class CubicHeckeAlgebra(CombinatorialFreeModule):
@@ -718,7 +718,7 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
         True
         sage: CHA4 = algebras.CubicHecke(4)     # optional database_cubic_hecke
         sage: ele4 = CHA4(ele3); ele4           # optional database_cubic_hecke
-        c0*c1*c0^-1*c1 + u*c0^-1*c1*c0 + (-v)*c0*c1^-1 + v*c1^-1*c0 + (-u)*c0*c1*c0^-1
+        c0*c1*c0^-1*c1 + u*c0^-1*c1*c0 - v*c0*c1^-1 + v*c1^-1*c0 - u*c0*c1*c0^-1
 
     Cubic Hecke algebra over the ring of definition using different variable
     names::
@@ -1123,7 +1123,7 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
     # overloaded inherited methods
     # --------------------------------------------------------------------------
     ############################################################################
-    def _repr_(self):
+    def _repr_(self) -> str:
         r"""
         Return a string representation.
 
@@ -1553,8 +1553,6 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
         g1 = self.monomial(g1)
         g2 = self.monomial(g2)
 
-        result = None
-
         g1_Tietze = g1.Tietze()
         g2_Tietze = g2.Tietze()
 
@@ -1564,9 +1562,8 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
         # The product is calculated from the corresponding product of the braids
         # ----------------------------------------------------------------------
         braid_group = self.braid_group()
-        braid_product = braid_group(g1_Tietze+g2_Tietze)
-        result = self._braid_image(braid_product)
-        return result
+        braid_product = braid_group(g1_Tietze + g2_Tietze)
+        return self._braid_image(braid_product)
 
     ############################################################################
     # --------------------------------------------------------------------------
@@ -1917,6 +1914,9 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
             sage: F = CHA3.base_ring().fraction_field()
             sage: par = tuple([F(p) for p in CHA3.cubic_equation_parameters()])
             sage: CHA3F = algebras.CubicHecke(3, cubic_equation_parameters=par)
+            doctest:warning
+            ...
+            UserWarning: Assuming h^3 - u*h^2 + v*h - w to have maximal Galois group!
             sage: CHA3F._braid_image_from_filecache(br)
             1/w*c0*c1*c0^-1*c1 + v/w*c1^-1*c0 - u/w*c0*c1*c0^-1
             sage: section = CHA3.filecache_section().braid_images
@@ -2044,8 +2044,7 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
                 return self.one()
             k = braid_tietze[0]*len_braid
             result_vect = self._reduce_gen_power(k)
-            result = self.from_vector(result_vect)
-            return result
+            return self.from_vector(result_vect)
 
         # ----------------------------------------------------------------------
         # Try to use former calculations (from dynamic library) to obtain the
@@ -2095,8 +2094,7 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
                 braid_preimage = tuple(word_result)
             result_vect = self._mult_by_regular_rep(vect, tuple(word_right), RepresentationType.RegularRight, braid_preimage)
 
-        result = self.from_vector(result_vect)
-        return result
+        return self.from_vector(result_vect)
 
     # --------------------------------------------------------------------------
     # _braid_image_from_former_calculations
@@ -2650,7 +2648,6 @@ class CubicHeckeAlgebra(CombinatorialFreeModule):
             sage: CHA2.mirror_isomorphism(br)   # indirect doctest
             c^-1
         """
-
         result = self.zero()
         for braid in element.support():
             autom_braid = braid_automorphism(braid)

sage/algebras/hecke_algebras/cubic_hecke_base_ring.py

@@ -274,7 +274,7 @@ class CubicHeckeExtensionRing(LaurentPolynomialRing_mpair):
             sage: ER = chbr.CubicHeckeExtensionRing('a, b, c')
             sage: ER._test_category()   # indirect doctest
         """
-        return None
+        return
 
     def __reduce__(self):
         r"""

sage/algebras/hecke_algebras/cubic_hecke_matrix_rep.py

@@ -75,7 +75,7 @@ class RepresentationType(Enum):
         sage: chmr.RepresentationType.RegularLeft.is_regular()
         True
     """
-    def is_split(self):
+    def is_split(self) -> bool:
         r"""
         Return ``True`` if this representation type is absolutely split,
         ``False`` else-wise.
@@ -89,7 +89,7 @@ class RepresentationType(Enum):
         """
         return self.value['split']
 
-    def is_regular(self):
+    def is_regular(self) -> bool:
         r"""
         Return ``True`` if this representation type is regular, ``False``
         else-wise.
@@ -709,7 +709,7 @@ class CubicHeckeMatrixSpace(MatrixSpace):
             sage: MS = c1.matrix().parent()
             sage: MS._test_category()   # indirect doctest
         """
-        return None
+        return
 
     def __reduce__(self):
         r"""
@@ -895,8 +895,8 @@ class CubicHeckeMatrixSpace(MatrixSpace):
             matri += cf2 * matr
             matri += cf3 * matr**2
             d1, d2 = matr.dimensions()
-            matrI = matrix(original_base_ring, d1, d2, lambda i, j: original_base_ring(matri[i, j]))
-            return matrI
+            return matrix(original_base_ring, d1, d2,
+                          lambda i, j: original_base_ring(matri[i, j]))
 
         if n == 2:
             if representation_type.is_split():

sage/algebras/iwahori_hecke_algebra.py

@@ -234,7 +234,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
         sage: R.<q> = LaurentPolynomialRing(ZZ)
         sage: H = IwahoriHeckeAlgebra('A3', q^2)
-        sage: T=H.T(); Cp=H.Cp(); C=H.C()
+        sage: T = H.T(); Cp = H.Cp(); C = H.C()
         sage: C(T[1])
         q*C[1] + q^2
         sage: elt = Cp(T[1,2,1]); elt
@@ -246,7 +246,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
         sage: R.<q> = LaurentPolynomialRing(ZZ)
         sage: H = IwahoriHeckeAlgebra('A3', q, -q^-1)
-        sage: T=H.T(); Cp=H.Cp(); C=H.C()
+        sage: T = H.T(); Cp = H.Cp(); C = H.C()
         sage: C(T[1])
         C[1] + q
         sage: elt = Cp(T[1,2,1]); elt
@@ -257,7 +257,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
     In the group algebra, so that `(T_r-1)(T_r+1) = 0`::
 
         sage: H = IwahoriHeckeAlgebra('A3', 1)
-        sage: T=H.T(); Cp=H.Cp(); C=H.C()
+        sage: T = H.T(); Cp = H.Cp(); C = H.C()
         sage: C(T[1])
         C[1] + 1
         sage: Cp(T[1,2,1])
@@ -271,7 +271,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
         sage: R.<q>=LaurentPolynomialRing(ZZ)
         sage: H = IwahoriHeckeAlgebra('A3', q)
-        sage: C=H.C()
+        sage: C = H.C()
         Traceback (most recent call last):
         ...
         ValueError: the Kazhdan-Lusztig bases are defined only when -q_1*q_2 is a square
@@ -280,7 +280,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
         sage: R.<v> = LaurentPolynomialRing(ZZ)
         sage: H = IwahoriHeckeAlgebra(['A',2,1], v^2)
-        sage: T=H.T(); Cp=H.Cp(); C=H.C()
+        sage: T = H.T(); Cp = H.Cp(); C = H.C()
         sage: C(T[1,0,2])
         v^3*C[1,0,2] + v^4*C[1,0] + v^4*C[0,2] + v^4*C[1,2]
          + v^5*C[0] + v^5*C[2] + v^5*C[1] + v^6
@@ -460,6 +460,15 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
             sage: R.<q1,q2> = QQ[]
             sage: H = IwahoriHeckeAlgebra("A2", q1, q2=q2, base_ring=Frac(R))
             sage: TestSuite(H).run()
+
+        TESTS::
+
+            sage: T = IwahoriHeckeAlgebra("B2", 1).T()
+            sage: T.is_commutative()
+            False
+            sage: T = IwahoriHeckeAlgebra("A1", 1).T()
+            sage: T.is_commutative()
+            True
         """
         self._W = W
         self._coxeter_type = W.coxeter_type()
@@ -482,16 +491,17 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
             # Attach the generic Hecke algebra and the basis change maps
             self._root = root
             self._generic_iwahori_hecke_algebra = IwahoriHeckeAlgebra_nonstandard(W)
-            self._shorthands = ['C', 'Cp', 'T']
+            self._shorthands = ('C', 'Cp', 'T')
         else:
             # Can we actually remove the bases C and Cp in this case?
             self._root = None
-            self._shorthands = ['T']
+            self._shorthands = ('T',)
 
         # if 2 is a unit in the base ring then add th A and B bases
         try:
             base_ring(base_ring.one() / 2)
-            self._shorthands.extend(['A', 'B'])
+            sh = self._shorthands
+            self._shorthands = (*sh, 'A', 'B')
         except (TypeError, ZeroDivisionError):
             pass
 
@@ -499,7 +509,12 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
             self._category = FiniteDimensionalAlgebrasWithBasis(base_ring)
         else:
             self._category = AlgebrasWithBasis(base_ring)
-        Parent.__init__(self, base=base_ring, category=self._category.WithRealizations())
+
+        if base_ring.is_commutative() and W.is_commutative():
+            self._category = self._category.Commutative()
+
+        Parent.__init__(self, base=base_ring,
+                        category=self._category.WithRealizations())
 
         self._is_generic = False  # needed for initialisation of _KLHeckeBasis
 
@@ -510,7 +525,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
         except TypeError:
             self._inverse_base_ring_generators = {}
 
-    def _repr_(self):
+    def _repr_(self) -> str:
         r"""
         EXAMPLES::
 
@@ -525,7 +540,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
         return "Iwahori-Hecke algebra of type {} in {},{} over {}".format(
             ct, self._q1, self._q2, self.base_ring())
 
-    def _latex_(self):
+    def _latex_(self) -> str:
         r"""
         Return a latex representation of ``self``.
 
@@ -672,7 +687,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
             """
             return [Realizations(self.base()), self.base()._category]
 
-        def _repr_(self):
+        def _repr_(self) -> str:
             r"""
             Return the representation of ``self``.
 
@@ -690,7 +705,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
             cases, these are just default implementations that will get
             specialized in a basis.
             """
-            def _repr_(self):
+            def _repr_(self) -> str:
                 """
                 Text representation of this basis of Iwahori-Hecke algebra.
 
@@ -767,19 +782,6 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
                 """
                 return False
 
-            def is_commutative(self) -> bool:
-                """
-                Return whether this Iwahori-Hecke algebra is commutative.
-
-                EXAMPLES::
-
-                    sage: T = IwahoriHeckeAlgebra("B2", 1).T()
-                    sage: T.is_commutative()
-                    False
-                """
-                return self.base_ring().is_commutative() \
-                    and self.realization_of().coxeter_group().is_commutative()
-
             @cached_method
             def one_basis(self):
                 r"""
@@ -1258,7 +1260,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
         #   specialize_to() to work
         _basis_name = 'B'
 
-        def _repr_term(self, t):
+        def _repr_term(self, t) -> str:
             r"""
             Return the string representation of the term indexed by ``t``.
 
@@ -1275,7 +1277,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
                 return "1"
             return self._print_options['prefix'] + '[%s]' % ','.join('%d' % i for i in redword)
 
-        def _latex_term(self, t):
+        def _latex_term(self, t) -> str:
             r"""
             Return latex for the term indexed by ``t``.
 
@@ -1621,8 +1623,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
                 sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
                 sage: H = IwahoriHeckeAlgebra('A3', v**2)
-                sage: T=H.T()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: T = H.T()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: T.hash_involution_on_basis(s)
                 -(v^-2)*T[1]
                 sage: T[s].hash_involution()
@@ -1661,8 +1663,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
                 sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
                 sage: H = IwahoriHeckeAlgebra('A3', v**2)
-                sage: T=H.T()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: T = H.T()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: T.goldman_involution_on_basis(s)
                 -T[1] - (1-v^2)
                 sage: T[s].goldman_involution()
@@ -1836,8 +1838,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
             EXAMPLES::
 
-                sage: H=IwahoriHeckeAlgebra("A3",1); Cp=H.Cp(); C=H.C()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: H = IwahoriHeckeAlgebra("A3",1); Cp = H.Cp(); C = H.C()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: C.to_T_basis(s)
                 T[1] - 1
                 sage: Cp.to_T_basis(s)
@@ -2032,8 +2034,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
                 sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
                 sage: H = IwahoriHeckeAlgebra('A3', v**2)
-                sage: Cp=H.Cp()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: Cp = H.Cp()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: Cp.hash_involution_on_basis(s)
                 -Cp[1] + (v^-1+v)
                 sage: Cp[s].hash_involution()
@@ -2130,7 +2132,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
                 sage: # optional - coxeter3
                 sage: R.<v> = LaurentPolynomialRing(ZZ, 'v')
                 sage: W = CoxeterGroup('A3', implementation='coxeter3')
-                sage: H = IwahoriHeckeAlgebra(W, v**2); Cp=H.Cp()
+                sage: H = IwahoriHeckeAlgebra(W, v**2); Cp = H.Cp()
                 sage: Cp.product_on_basis(W([1,2,1]), W([3,1]))
                 (v^-1+v)*Cp[1,2,1,3]
                 sage: Cp.product_on_basis(W([1,2,1]), W([3,1,2]))
@@ -2267,7 +2269,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
                 sage: R.<v> = LaurentPolynomialRing(ZZ, 'v')             # optional - coxeter3
                 sage: W = CoxeterGroup('A3', implementation='coxeter3')  # optional - coxeter3
-                sage: H = IwahoriHeckeAlgebra(W, v**2); Cp=H.Cp()        # optional - coxeter3
+                sage: H = IwahoriHeckeAlgebra(W, v**2); Cp = H.Cp()      # optional - coxeter3
 
             When `u` is itself a generator `s`, the decomposition is trivial::
 
@@ -2440,8 +2442,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
                 sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
                 sage: H = IwahoriHeckeAlgebra('A3', v**2)
-                sage: C=H.C()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: C = H.C()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: C.hash_involution_on_basis(s)
                 -C[1] - (v^-1+v)
                 sage: C[s].hash_involution()
@@ -2473,7 +2475,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
             sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
             sage: H = IwahoriHeckeAlgebra('A3', v**2)
-            sage: A=H.A(); T=H.T()
+            sage: A = H.A(); T = H.T()
             sage: T(A[1])
             T[1] + (1/2-1/2*v^2)
             sage: T(A[1,2])
@@ -2526,8 +2528,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
             EXAMPLES::
 
                 sage: R.<v> = LaurentPolynomialRing(QQ)
-                sage: H = IwahoriHeckeAlgebra('A3', v**2); A=H.A(); T=H.T()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: H = IwahoriHeckeAlgebra('A3', v**2); A = H.A(); T = H.T()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: A.to_T_basis(s)
                 T[1] + (1/2-1/2*v^2)
                 sage: T(A[1,2])
@@ -2550,8 +2552,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
                 sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
                 sage: H = IwahoriHeckeAlgebra('A3', v**2)
-                sage: A=H.A()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: A = H.A()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: A.goldman_involution_on_basis(s)
                 -A[1]
                 sage: A[1,2].goldman_involution()
@@ -2593,7 +2595,7 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
             sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
             sage: H = IwahoriHeckeAlgebra('A3', v**2)
-            sage: A=H.A(); T=H.T(); Cp=H.Cp()
+            sage: A = H.A(); T = H.T(); Cp = H.Cp()
             sage: T(A[1])
             T[1] + (1/2-1/2*v^2)
             sage: T(A[1,2])
@@ -2659,8 +2661,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
             EXAMPLES::
 
                 sage: R.<v> = LaurentPolynomialRing(QQ)
-                sage: H = IwahoriHeckeAlgebra('A3', v**2); B=H.B(); T=H.T()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: H = IwahoriHeckeAlgebra('A3', v**2); B = H.B(); T = H.T()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: B.to_T_basis(s)
                 T[1] + (1/2-1/2*v^2)
                 sage: T(B[1,2])
@@ -2687,8 +2689,8 @@ class IwahoriHeckeAlgebra(Parent, UniqueRepresentation):
 
                 sage: R.<v> = LaurentPolynomialRing(QQ, 'v')
                 sage: H = IwahoriHeckeAlgebra('A3', v**2)
-                sage: B=H.B()
-                sage: s=H.coxeter_group().simple_reflection(1)
+                sage: B = H.B()
+                sage: s = H.coxeter_group().simple_reflection(1)
                 sage: B.goldman_involution_on_basis(s)
                 -B[1]
                 sage: B[1,2].goldman_involution()
@@ -2786,7 +2788,7 @@ class IwahoriHeckeAlgebra_nonstandard(IwahoriHeckeAlgebra):
         self.u_inv = normalized_laurent_polynomial(base_ring, u**-1)
         self.v_inv = normalized_laurent_polynomial(base_ring, v**-1)
 
-        self._shorthands = ['C', 'Cp', 'T']
+        self._shorthands = ('C', 'Cp', 'T')
 
         if W.is_finite():
             self._category = FiniteDimensionalAlgebrasWithBasis(base_ring)
@@ -2795,7 +2797,7 @@ class IwahoriHeckeAlgebra_nonstandard(IwahoriHeckeAlgebra):
         Parent.__init__(self, base=base_ring, category=self._category.WithRealizations())
         self._is_generic = True  # needed for initialising _KLHeckeBasis
 
-    def _repr_(self):
+    def _repr_(self) -> str:
         r"""
         EXAMPLES::
 
@@ -2808,7 +2810,7 @@ class IwahoriHeckeAlgebra_nonstandard(IwahoriHeckeAlgebra):
         except TypeError:
             ct = repr(self._coxeter_type)
         return "A generic Iwahori-Hecke algebra of type {} in {},{} over {}".format(
-                ct, self._q1, self._q2, self.base_ring())
+            ct, self._q1, self._q2, self.base_ring())
 
     def _bar_on_coefficients(self, c):
         r"""
@@ -2822,8 +2824,8 @@ class IwahoriHeckeAlgebra_nonstandard(IwahoriHeckeAlgebra):
         EXAMPLES::
 
             sage: R.<q>=LaurentPolynomialRing(ZZ)
-            sage: H=IwahoriHeckeAlgebra("A3",q^2)
-            sage: GH=H._generic_iwahori_hecke_algebra
+            sage: H = IwahoriHeckeAlgebra("A3",q^2)
+            sage: GH = H._generic_iwahori_hecke_algebra
             sage: GH._bar_on_coefficients(GH.u_inv)
             u
             sage: GH._bar_on_coefficients(GH.v_inv)
@@ -2871,8 +2873,8 @@ class IwahoriHeckeAlgebra_nonstandard(IwahoriHeckeAlgebra):
                 EXAMPLES::
 
                     sage: R.<a,b>=LaurentPolynomialRing(ZZ,2)
-                    sage: H=IwahoriHeckeAlgebra("A3",a^2,-b^2)
-                    sage: GH=H._generic_iwahori_hecke_algebra
+                    sage: H = IwahoriHeckeAlgebra("A3",a^2,-b^2)
+                    sage: GH = H._generic_iwahori_hecke_algebra
                     sage: GH.T()(GH.C()[1])
                     (v^-1)*T[1] + (-u*v^-1)
                     sage: ( GH.T()(GH.C()[1]) ).specialize_to(H)