passagemath-groups 10.6.5__cp310-cp310-macosx_13_0_x86_64.whl → 10.6.26__cp310-cp310-macosx_13_0_x86_64.whl

{passagemath_groups-10.6.5.dist-info → passagemath_groups-10.6.26.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: passagemath-groups
-Version: 10.6.5
+Version: 10.6.26
 Summary: passagemath: Groups and Invariant Theory
 Author-email: The Sage Developers <sage-support@googlegroups.com>
 Maintainer: Matthias Köppe, passagemath contributors
@@ -28,9 +28,9 @@ Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: Topic :: Scientific/Engineering :: Mathematics
 Requires-Python: <3.14,>=3.10
 Description-Content-Type: text/x-rst
-Requires-Dist: passagemath-categories~=10.6.5.0
-Requires-Dist: passagemath-gap~=10.6.5.0
-Requires-Dist: passagemath-modules~=10.6.5.0
+Requires-Dist: passagemath-categories~=10.6.26.0
+Requires-Dist: passagemath-gap~=10.6.26.0
+Requires-Dist: passagemath-modules~=10.6.26.0
 Provides-Extra: test
 Requires-Dist: passagemath-repl; extra == "test"
 Provides-Extra: coxeter3
@@ -84,15 +84,12 @@ It was created in October 2024 with the following goals:
    serverless deployment with Javascript,
 -  developing a native Windows port.
 
-`Full documentation <https://doc.sagemath.org/html/en/index.html>`__ is
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
 available online.
 
 passagemath attempts to support and provides binary wheels suitable for
 all major Linux distributions and recent versions of macOS.
 
-For the Linux aarch64 (ARM) platform, some third-party packages are still missing
-wheels; see the `instructions for building them from source <https://github.com/passagemath/passagemath?tab=readme-ov-file#full-installation-of-passagemath-from-binary-wheels-on-pypi>`__.
-
 Binary wheels for native Windows (x86_64) are are available for a subset of
 the passagemath distributions. Use of the full functionality of passagemath
 on Windows currently requires the use of Windows Subsystem for Linux (WSL)

{passagemath_groups-10.6.5.dist-info → passagemath_groups-10.6.26.dist-info}/RECORD

@@ -1,23 +1,23 @@
-passagemath_groups-10.6.5.dist-info/RECORD,,
-passagemath_groups-10.6.5.dist-info/WHEEL,sha256=RpI2f7qWECrFv3jwk06i6A13TXjBn5AxATfaWklqEPg,137
-passagemath_groups-10.6.5.dist-info/top_level.txt,sha256=Kmzulf9WsphADFQuqgvdy5mvTLDj_V2zkFHU2s3UXos,6
-passagemath_groups-10.6.5.dist-info/METADATA,sha256=c_KJDVVwcqq7Wx2fz7lJFfbZw56XEH8czSQMNX2kIfU,5382
 passagemath_groups.dylibs/libreadline.8.3.dylib,sha256=W__imvR7w3nSOaoVIOIfo7OnwY2C1psgp4oKtb2mAoI,316256
-passagemath_groups.dylibs/libgap.9.dylib,sha256=zf9OFXxW_6QHovVrXYxJwTVUy5Limzr8-1UKlRnPKFU,2557824
+passagemath_groups.dylibs/libgap.9.dylib,sha256=BAgsXff1TgtO0A-FPfBuMr5VSFKS0iRlhUc7kow4Z14,2557824
 passagemath_groups.dylibs/libgmp.10.dylib,sha256=CHW4cQCJWByKPnXFo9gwyT8UTuUhJZPnF1bVpjPXPXk,580928
+passagemath_groups-10.6.26.dist-info/RECORD,,
+passagemath_groups-10.6.26.dist-info/WHEEL,sha256=RpI2f7qWECrFv3jwk06i6A13TXjBn5AxATfaWklqEPg,137
+passagemath_groups-10.6.26.dist-info/top_level.txt,sha256=Kmzulf9WsphADFQuqgvdy5mvTLDj_V2zkFHU2s3UXos,6
+passagemath_groups-10.6.26.dist-info/METADATA,sha256=xT-7CSXwZ6eFq04TA6Xe7pd2j2oKkccBXfxTWwo_zGg,5126
 sage/all__sagemath_groups.py,sha256=JOSY5oJmS67eaWpSs14SBcD7be6NMKH05esJQj8sNOI,525
 sage/groups/finitely_presented.py,sha256=hLccjNjrj880fFeiLu9W7Z7Xz1HewuyJTVKNWrUsVMI,70042
 sage/groups/fqf_orthogonal.py,sha256=8cx71JJorwsFoSPzVLBg1rI_dA9dfGeWDqA6GAuqRh8,20181
 sage/groups/free_group.py,sha256=iMxfq5y8gA91i7XdpCmlL2N-5s2h_oYYohITmhMpVXo,29468
 sage/groups/all__sagemath_groups.py,sha256=g4HxEDA-YDJcTYHqA5pGLBIy7gpzg-BEVb2Jn7mTJD8,1147
-sage/groups/artin.py,sha256=Mm9gAYlUfq7kA8z44A2jTgdGaaDPM_TgGeXuj1nZf50,41096
+sage/groups/artin.py,sha256=CQHII1jKlBJZ_3GEyH-D22lS06prmIYcagTE7eg_RKc,41353
 sage/groups/finitely_presented_named.py,sha256=dKB2M78fw5W7RTHCGy-VB_X9co9UbFcQQYSdBr945Rc,20597
 sage/groups/all.py,sha256=ia6P1nJW_QxBEPMNKdT6ZE8v7J0z8qlMbX2uD3lBJU8,229
 sage/groups/raag.py,sha256=WbkPRhwCopLc2PtJ_Zcy_QASzsHcsp84_fM1x_dUcWw,28842
 sage/groups/cubic_braid.py,sha256=LEStrE9YiJAb5acsybhoQhth5fh-wbtn7uLjYyLoO1o,86974
 sage/groups/group_semidirect_product.py,sha256=7XqgwRR8i-KAWQdRXE8uoNbYDG-mDTqFw2uyqhDGCwY,17910
 sage/groups/cactus_group.py,sha256=O0FTBvGw8y3nRSR1aGPn5FdEv3jILG7QK_g_lZYdLPc,32895
-sage/groups/braid.py,sha256=BGOPYX4UtA-s1TKDOGvGcB1dqBrwY85GZaLU-rOLzsA,139760
+sage/groups/braid.py,sha256=6LyEbj9KCOyR7v1HhHWYyd62XqGSHcIOQVQF_TuWCXk,140495
 sage/groups/finitely_presented_catalog.py,sha256=Ylc_cx0Sv6eKH9J-n4xotqWK0Hc4pNrwZ3iRPe-gh1s,1251
 sage/groups/group_exp.py,sha256=KjhnaTnqnNKvBmYZJEbUge2-RydGSkued1JFXSLzeoo,11190
 sage/groups/kernel_subgroup.py,sha256=hZVsh5UYfq6MPxekXwlRuQyPuHq0Fk6SlNnN-5Yja6A,7706
@@ -29,10 +29,10 @@ sage/groups/misc_gps/all.py,sha256=-vXQHOTG46Zum7Q6k0kcJO43yJo09AIX-El8fzXA7eI,4
 sage/groups/misc_gps/misc_groups_catalog.py,sha256=TbpMPXGhwFpeOMlXdwdIGItBLV0XSvfN4oQRbKbMK9o,1627
 sage/groups/abelian_gps/all.py,sha256=yQQEiBWy_vtucLyFb_q1OIqgiC_DIE9KUzNWpdGTa4A,906
 sage/groups/semimonomial_transformations/semimonomial_transformation.pyx,sha256=9j9eS_uZYdCUQrTJDs4VhpO_7SeSzXdnzh0cACFNtkk,11298
-sage/groups/semimonomial_transformations/semimonomial_transformation.cpython-310-darwin.so,sha256=xEsmCKHf1k8ZaA6N856TX6RovHlyoN1hpLXedwlCMTY,160832
+sage/groups/semimonomial_transformations/semimonomial_transformation.cpython-310-darwin.so,sha256=JCEh1z66pUCy8zYbbCPfGvSxTwM0r2N_NukhNuPxYBI,160832
 sage/groups/semimonomial_transformations/all.py,sha256=-vXQHOTG46Zum7Q6k0kcJO43yJo09AIX-El8fzXA7eI,45
 sage/groups/semimonomial_transformations/semimonomial_transformation_group.py,sha256=QflEYRK_oDUf8axx4kwcUR4aMOQNmE_faY1lzOdrAvQ,18312
 sage/groups/semimonomial_transformations/semimonomial_transformation.pxd,sha256=wivg7LyXn_ZMrADRUmabPEYNitTRZCvs2htLN3E0v9g,297
 sage/geometry/all__sagemath_groups.py,sha256=-vXQHOTG46Zum7Q6k0kcJO43yJo09AIX-El8fzXA7eI,45
-sage/geometry/palp_normal_form.cpython-310-darwin.so,sha256=57ozYRzKtX-eQZGuXVho61VDE6NbqfLWTo6yoLRjbL8,255120
+sage/geometry/palp_normal_form.cpython-310-darwin.so,sha256=0nHGn4iAkeMJCKger4Oh3ZCJ7fFGWqU7B4Jdkqdnihg,255120
 sage/geometry/palp_normal_form.pyx,sha256=HfDpZHxffoxG2pxTrXO0ucRlEDZcrtzHBoZ0CoHm5lI,17498

sage/groups/artin.py

@@ -272,6 +272,7 @@ class ArtinGroupElement(FinitelyPresentedGroupElement):
         Next, we show ``elm`` is not the identity by using the embedding of
         the affine braid group `\widetilde{B}_n \to B_{n+1}`::
 
+            sage: # needs sage.libs.braiding
             sage: B.<t1,t2,t3,t4> = BraidGroup(5)
             sage: D = t1 * t2 * t3 * t4^2
             sage: t0 = D * t3 * ~D
@@ -291,7 +292,7 @@ class ArtinGroupElement(FinitelyPresentedGroupElement):
         (Bigelow gave an example of the representation not being faithful for
         `B_5`, but it is still open for `B_4`)::
 
-            sage: emb.burau_matrix() != 1
+            sage: emb.burau_matrix() != 1                                               # needs sage.libs.braiding
             True
 
         We also verify the result using the elements in [BQ2024]_ Remark 4.2::
@@ -300,8 +301,8 @@ class ArtinGroupElement(FinitelyPresentedGroupElement):
             sage: bp = s1 * ~s4 * s1^2 * s3^-2 * ~s2 * s4 * s1 * ~s3 * s2 * ~s4 * s3 * s1 * s4 * s1 * ~s2 * s4^-2 * s3
             sage: alpha = ap * s3 * ~ap
             sage: beta = bp * s2 * ~bp
-            sage: elm = alpha * beta * ~alpha * ~beta
-            sage: elm.burau_matrix()
+            sage: elm = alpha * beta * ~alpha * ~beta                                   # needs sage.libs.braiding
+            sage: elm.burau_matrix()                                                    # needs sage.libs.braiding
             [1 0 0 0]
             [0 1 0 0]
             [0 0 1 0]

sage/groups/braid.py

@@ -70,7 +70,6 @@ AUTHORS:
 
 from itertools import combinations
 
-from sage.algebras.free_algebra import FreeAlgebra
 from sage.categories.action import Action
 from sage.categories.groups import Groups
 from sage.combinat.permutation import Permutation, Permutations
@@ -2159,6 +2158,8 @@ class Braid(FiniteTypeArtinGroupElement):
             sage: burau.subs({t:q}).change_ring(db_base) == db_simp
             True
         """
+        from sage.algebras.free_algebra import FreeAlgebra
+
         R = LaurentPolynomialRing(ZZ, variab)
 
         n = self.strands()
@@ -2315,7 +2316,7 @@ class Braid(FiniteTypeArtinGroupElement):
 
             sage: B = BraidGroup(4)
             sage: b = B([1, 2, 1, 2, 3, -1, 2, 1, 3])
-            sage: b.super_summit_set_element()
+            sage: b.super_summit_set_element()                                          # needs sage.libs.braiding
             (s0*s2*s0*s1*s2*s1*s0, s0^-1*s1^-1*s0^-1*s2^-1*s1^-1*s0^-1*s1*s0*s2*s1*s0)
         """
         to_sss = send_to_sss(self)
@@ -2331,7 +2332,7 @@ class Braid(FiniteTypeArtinGroupElement):
 
             sage: B = BraidGroup(4)
             sage: b = B([1, 2, 1, 2, 3, -1, 2, -1, 3])
-            sage: b.ultra_summit_set_element()
+            sage: b.ultra_summit_set_element()                                          # needs sage.libs.braiding
             (s0*s1*s0*s2*s1, s0^-1*s1^-1*s0^-1*s2^-1*s1^-1*s0^-1*s1*s2*s1^2*s0)
         """
         to_uss = send_to_uss(self)
@@ -2347,7 +2348,7 @@ class Braid(FiniteTypeArtinGroupElement):
 
             sage: B = BraidGroup(4)
             sage: b = B([1, 2, 1, 2, 3, -1, 2, -1, 3])
-            sage: b.sliding_circuits_element()
+            sage: b.sliding_circuits_element()                                          # needs sage.libs.braiding
             (s0*s1*s0*s2*s1, s0^2*s1*s2)
         """
         to_sc = send_to_sc(self)
@@ -2362,7 +2363,7 @@ class Braid(FiniteTypeArtinGroupElement):
 
             sage: B = BraidGroup(4)
             sage: b = B([1, 2, 1, 2, 3, -1, 2, -1, 3])
-            sage: b.trajectory()
+            sage: b.trajectory()                                                        # needs sage.libs.braiding
             [s0^-1*s1^-1*s0^-1*s2^-1*s1^-1*s2*s0*s1*s2*s1*s0^2*s1*s2^2,
              s0*s1*s2^3,
              s0*s1*s2*s1^2,
@@ -2382,7 +2383,7 @@ class Braid(FiniteTypeArtinGroupElement):
 
             sage: B = BraidGroup(4)
             sage: b = B([1, 2, 1, 2, 3, -1, 2, 1])
-            sage: b.cyclic_slidings()
+            sage: b.cyclic_slidings()                                                   # needs sage.libs.braiding
             [[s0*s2*s1*s0*s1*s2, s0*s1*s2*s1*s0^2, s1*s0*s2^2*s1*s0],
              [s0*s1*s2*s1^2*s0, s0*s1*s2*s1*s0*s2, s1*s0*s2*s0*s1*s2]]
         """
@@ -2671,7 +2672,7 @@ class BraidGroup_class(FiniteTypeArtinGroup):
             sage: B1 = BraidGroup(5) # indirect doctest
             sage: B1
             Braid group on 5 strands
-            sage: TestSuite(B1).run()
+            sage: TestSuite(B1).run()                                                   # needs sage.libs.braiding
             sage: B1.category()
             Category of infinite groups
 
@@ -2906,6 +2907,7 @@ class BraidGroup_class(FiniteTypeArtinGroup):
 
         TESTS::
 
+            sage: # needs sage.libs.singular
             sage: B = BraidGroup(3)
             sage: g1, g2, mu3 = B._links_gould_representation()
             sage: R1, R1I = g1
@@ -3507,11 +3509,11 @@ class BraidGroup_class(FiniteTypeArtinGroup):
             sage: b = B((1,-2,-1,3,2,1))
             sage: bm = mirr(b); bm
             s0^-1*s1*s0*s2^-1*s1^-1*s0^-1
-            sage: bm == ~b
+            sage: bm == ~b                                                              # needs sage.libs.braiding
             False
-            sage: bm.is_conjugated(b)
+            sage: bm.is_conjugated(b)                                                   # needs sage.libs.braiding
             False
-            sage: bm.is_conjugated(~b)
+            sage: bm.is_conjugated(~b)                                                  # needs sage.libs.braiding
             True
         """
         gens_mirr = [~g for g in self.gens()]