passagemath-coxeter3 10.4.25__cp310-cp310-macosx_13_0_arm64.whl → 10.6.31rc1__cp310-cp310-macosx_13_0_arm64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of passagemath-coxeter3 might be problematic. Click here for more details.
- passagemath_coxeter3-10.6.31rc1.dist-info/METADATA +93 -0
- passagemath_coxeter3-10.6.31rc1.dist-info/RECORD +14 -0
- {passagemath_coxeter3-10.4.25.dist-info → passagemath_coxeter3-10.6.31rc1.dist-info}/WHEEL +2 -1
- {passagemath_coxeter3-10.4.25.dist-info → passagemath_coxeter3-10.6.31rc1.dist-info}/top_level.txt +1 -0
- passagemath_coxeter3.dylibs/libcoxeter3.dylib +0 -0
- sage/all__sagemath_coxeter3.py +1 -0
- sage/libs/coxeter3/coxeter.cpython-310-darwin.so +0 -0
- sage/libs/coxeter3/coxeter.pxd +3 -3
- sage/libs/coxeter3/coxeter.pyx +1223 -0
- sage/libs/coxeter3/coxeter_group.py +11 -10
- sage/libs/coxeter3/decl.pxd +3 -3
- passagemath_coxeter3-10.4.25.dist-info/METADATA +0 -56
- passagemath_coxeter3-10.4.25.dist-info/RECORD +0 -13
|
@@ -279,7 +279,7 @@ class CoxeterGroup(UniqueRepresentation, Parent):
|
|
|
279
279
|
"""
|
|
280
280
|
from sage.misc.superseded import deprecation
|
|
281
281
|
deprecation(30237, "the .m(i, j) method has been deprecated; use .coxeter_matrix()[i,j] instead.")
|
|
282
|
-
return self.coxeter_matrix()[i,j]
|
|
282
|
+
return self.coxeter_matrix()[i, j]
|
|
283
283
|
|
|
284
284
|
def kazhdan_lusztig_polynomial(self, u, v, constant_term_one=True):
|
|
285
285
|
r"""
|
|
@@ -354,8 +354,9 @@ class CoxeterGroup(UniqueRepresentation, Parent):
|
|
|
354
354
|
return p
|
|
355
355
|
ZZq = PolynomialRing(ZZ, 'q', sparse=True)
|
|
356
356
|
# This is the same as q**len_diff * p(q**(-2))
|
|
357
|
-
len_diff = v.length()-u.length()
|
|
358
|
-
d = {-2*deg+len_diff: coeff for deg,coeff in enumerate(p)
|
|
357
|
+
len_diff = v.length() - u.length()
|
|
358
|
+
d = {-2 * deg + len_diff: coeff for deg, coeff in enumerate(p)
|
|
359
|
+
if coeff != 0}
|
|
359
360
|
return ZZq(d)
|
|
360
361
|
|
|
361
362
|
def parabolic_kazhdan_lusztig_polynomial(self, u, v, J, constant_term_one=True):
|
|
@@ -414,11 +415,11 @@ class CoxeterGroup(UniqueRepresentation, Parent):
|
|
|
414
415
|
WOI = self.weak_order_ideal(lambda x: J_set.issuperset(x.descents()))
|
|
415
416
|
if constant_term_one:
|
|
416
417
|
P = PolynomialRing(ZZ, 'q')
|
|
417
|
-
return P.sum((-1)**(z.length()) * self.kazhdan_lusztig_polynomial(u*z,v)
|
|
418
|
-
for z in WOI if (u*z).bruhat_le(v))
|
|
418
|
+
return P.sum((-1)**(z.length()) * self.kazhdan_lusztig_polynomial(u * z, v)
|
|
419
|
+
for z in WOI if (u * z).bruhat_le(v))
|
|
419
420
|
P = PolynomialRing(ZZ, 'q', sparse=True)
|
|
420
|
-
return P.sum((-1)**(z.length()) * self.kazhdan_lusztig_polynomial(u*z,v, constant_term_one=False).shift(z.length())
|
|
421
|
-
for z in WOI if (u*z).bruhat_le(v))
|
|
421
|
+
return P.sum((-1)**(z.length()) * self.kazhdan_lusztig_polynomial(u * z, v, constant_term_one=False).shift(z.length())
|
|
422
|
+
for z in WOI if (u * z).bruhat_le(v))
|
|
422
423
|
|
|
423
424
|
class Element(ElementWrapper):
|
|
424
425
|
wrapped_class = CoxGroupElement
|
|
@@ -604,7 +605,7 @@ class CoxeterGroup(UniqueRepresentation, Parent):
|
|
|
604
605
|
"""
|
|
605
606
|
return self.value.poincare_polynomial()
|
|
606
607
|
|
|
607
|
-
def has_right_descent(self, i):
|
|
608
|
+
def has_right_descent(self, i) -> bool:
|
|
608
609
|
"""
|
|
609
610
|
Return whether ``i`` is a right descent of this element.
|
|
610
611
|
|
|
@@ -618,7 +619,7 @@ class CoxeterGroup(UniqueRepresentation, Parent):
|
|
|
618
619
|
"""
|
|
619
620
|
return i in self.value.right_descents()
|
|
620
621
|
|
|
621
|
-
def has_left_descent(self, i):
|
|
622
|
+
def has_left_descent(self, i) -> bool:
|
|
622
623
|
"""
|
|
623
624
|
Return ``True`` if ``i`` is a left descent of this element.
|
|
624
625
|
|
|
@@ -701,7 +702,7 @@ class CoxeterGroup(UniqueRepresentation, Parent):
|
|
|
701
702
|
|
|
702
703
|
for exponent in exponents:
|
|
703
704
|
# Construct something in the root lattice from the exponent vector
|
|
704
|
-
exponent = sum(e*b for e, b in zip(exponent, basis_elements))
|
|
705
|
+
exponent = sum(e * b for e, b in zip(exponent, basis_elements))
|
|
705
706
|
exponent = self.action(exponent)
|
|
706
707
|
|
|
707
708
|
monomial = 1
|
sage/libs/coxeter3/decl.pxd
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
# sage_setup: distribution = sagemath-coxeter3
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
# ****************************************************************************
|
|
4
4
|
# Copyright (C) 2009-2013 Mike Hansen <mhansen@gmail.com>
|
|
5
5
|
#
|
|
6
6
|
# This program is free software: you can redistribute it and/or modify
|
|
7
7
|
# it under the terms of the GNU General Public License as published by
|
|
8
8
|
# the Free Software Foundation, either version 2 of the License, or
|
|
9
9
|
# (at your option) any later version.
|
|
10
|
-
#
|
|
11
|
-
|
|
10
|
+
# https://www.gnu.org/licenses/
|
|
11
|
+
# ****************************************************************************
|
|
12
12
|
|
|
13
13
|
cdef extern from "coxeter/globals.h":
|
|
14
14
|
ctypedef unsigned long Ulong
|
|
@@ -1,56 +0,0 @@
|
|
|
1
|
-
Metadata-Version: 2.1
|
|
2
|
-
Name: passagemath-coxeter3
|
|
3
|
-
Version: 10.4.25
|
|
4
|
-
Summary: passagemath: Coxeter groups, Bruhat ordering, Kazhdan-Lusztig polynomials with coxeter3
|
|
5
|
-
Author-email: The Sage Developers <sage-support@googlegroups.com>
|
|
6
|
-
License: GNU General Public License (GPL) v2 or later
|
|
7
|
-
Project-URL: download, https://doc.sagemath.org/html/en/installation/index.html
|
|
8
|
-
Project-URL: release notes, https://github.com/sagemath/sage/releases
|
|
9
|
-
Project-URL: source, https://github.com/sagemath/sage
|
|
10
|
-
Project-URL: documentation, https://doc.sagemath.org
|
|
11
|
-
Project-URL: homepage, https://www.sagemath.org
|
|
12
|
-
Project-URL: tracker, https://github.com/sagemath/sage/issues
|
|
13
|
-
Classifier: Development Status :: 6 - Mature
|
|
14
|
-
Classifier: Intended Audience :: Education
|
|
15
|
-
Classifier: Intended Audience :: Science/Research
|
|
16
|
-
Classifier: License :: OSI Approved :: GNU General Public License v2 or later (GPLv2+)
|
|
17
|
-
Classifier: Operating System :: POSIX
|
|
18
|
-
Classifier: Operating System :: MacOS :: MacOS X
|
|
19
|
-
Classifier: Programming Language :: Python :: 3 :: Only
|
|
20
|
-
Classifier: Programming Language :: Python :: 3.9
|
|
21
|
-
Classifier: Programming Language :: Python :: 3.10
|
|
22
|
-
Classifier: Programming Language :: Python :: 3.11
|
|
23
|
-
Classifier: Programming Language :: Python :: 3.12
|
|
24
|
-
Classifier: Programming Language :: Python :: Implementation :: CPython
|
|
25
|
-
Classifier: Topic :: Scientific/Engineering :: Mathematics
|
|
26
|
-
Requires-Python: <3.13,>=3.9
|
|
27
|
-
Description-Content-Type: text/x-rst
|
|
28
|
-
|
|
29
|
-
====================================================================================================================
|
|
30
|
-
passagemath: Coxeter groups, Bruhat ordering, Kazhdan-Lusztig polynomials with coxeter3
|
|
31
|
-
====================================================================================================================
|
|
32
|
-
|
|
33
|
-
About SageMath
|
|
34
|
-
--------------
|
|
35
|
-
|
|
36
|
-
"Creating a Viable Open Source Alternative to
|
|
37
|
-
Magma, Maple, Mathematica, and MATLAB"
|
|
38
|
-
|
|
39
|
-
Copyright (C) 2005-2024 The Sage Development Team
|
|
40
|
-
|
|
41
|
-
https://www.sagemath.org
|
|
42
|
-
|
|
43
|
-
SageMath fully supports all major Linux distributions, recent versions of
|
|
44
|
-
macOS, and Windows (Windows Subsystem for Linux).
|
|
45
|
-
|
|
46
|
-
See https://doc.sagemath.org/html/en/installation/index.html
|
|
47
|
-
for general installation instructions.
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
About this pip-installable source distribution
|
|
51
|
-
----------------------------------------------
|
|
52
|
-
|
|
53
|
-
This pip-installable source distribution ``sagemath-coxeter3`` is a small
|
|
54
|
-
optional distribution for use with ``sagemath-standard``.
|
|
55
|
-
|
|
56
|
-
It provides a Cython interface to the ``coxeter3`` library.
|
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
passagemath_coxeter3-10.4.25.dist-info/RECORD,,
|
|
2
|
-
passagemath_coxeter3-10.4.25.dist-info/WHEEL,sha256=9MLqWw5iUHlyL79uXWCaHxQUGZHFNl4EHLi8KcgbS8Y,109
|
|
3
|
-
passagemath_coxeter3-10.4.25.dist-info/top_level.txt,sha256=hibFyzQHiLOMK68qL1OWsNKaXOmSXqZjeLTBem6Yy7I,5
|
|
4
|
-
passagemath_coxeter3-10.4.25.dist-info/METADATA,sha256=zxFtK2p207khtQtjFAzbUt465pqE1M0XXMDovv63FQI,2465
|
|
5
|
-
passagemath_coxeter3.dylibs/libcoxeter3.dylib,sha256=oPrzskKaU2iOIaEBOvGe8RdkHwAWIKAShLLFx7RmZ04,781360
|
|
6
|
-
sage/all__sagemath_coxeter3.py,sha256=t7LLXMgYQKEeedzk3oKQ8wfkugk4pbhvZyA1YYuTCRY,47
|
|
7
|
-
sage/libs/all__sagemath_coxeter3.py,sha256=t7LLXMgYQKEeedzk3oKQ8wfkugk4pbhvZyA1YYuTCRY,47
|
|
8
|
-
sage/libs/coxeter3/coxeter.cpython-310-darwin.so,sha256=d7wO9FvB_hVFRll7cYrLfkF9QyjH6vcElFFhIxwPfDg,296144
|
|
9
|
-
sage/libs/coxeter3/decl.pxd,sha256=uX6okwZllpUQyNQQJ5YGy8esHBRy9-X1iesB5iCqqPY,5058
|
|
10
|
-
sage/libs/coxeter3/__init__.py,sha256=t7LLXMgYQKEeedzk3oKQ8wfkugk4pbhvZyA1YYuTCRY,47
|
|
11
|
-
sage/libs/coxeter3/coxeter.pxd,sha256=40lRm9xY0NeniDxA_sbjOePwF1QiIBd_c66woPe5V6k,945
|
|
12
|
-
sage/libs/coxeter3/all__sagemath_coxeter3.py,sha256=t7LLXMgYQKEeedzk3oKQ8wfkugk4pbhvZyA1YYuTCRY,47
|
|
13
|
-
sage/libs/coxeter3/coxeter_group.py,sha256=0WwurE8Vn58s5V2Rf0jRypWjembdlOzXC7N4b-JaPBY,24309
|