3
3
"""
4
4
Coxeter Groups implemented with Coxeter3
5
5
"""
6
- #* ****************************************************************************
6
+ # ****************************************************************************
7
7
# Copyright (C) 2009-2013 Mike Hansen <[email protected] >
8
8
#
9
9
# Distributed under the terms of the GNU General Public License (GPL)
10
- # http ://www.gnu.org/licenses/
11
- #* ****************************************************************************
10
+ # https ://www.gnu.org/licenses/
11
+ # ****************************************************************************
12
12
13
13
from sage .libs .coxeter3 .coxeter import get_CoxGroup , CoxGroupElement
14
14
from sage .misc .cachefunc import cached_method
@@ -31,10 +31,10 @@ def __classcall__(cls, cartan_type, *args, **options):
31
31
"""
32
32
TESTS::
33
33
34
- sage: from sage.libs.coxeter3.coxeter_group import CoxeterGroup # optional - coxeter3
35
- sage: CoxeterGroup(['B',2]) # optional - coxeter3
34
+ sage: from sage.libs.coxeter3.coxeter_group import CoxeterGroup # optional - coxeter3
35
+ sage: CoxeterGroup(['B',2]) # optional - coxeter3
36
36
Coxeter group of type ['B', 2] implemented by Coxeter3
37
- sage: CoxeterGroup(CartanType(['B', 3]).relabel({1: 3, 2: 2, 3: 1})) # optional - coxeter3
37
+ sage: CoxeterGroup(CartanType(['B', 3]).relabel({1: 3, 2: 2, 3: 1})) # optional - coxeter3
38
38
Coxeter group of type ['B', 3] relabelled by {1: 3, 2: 2, 3: 1} implemented by Coxeter3
39
39
40
40
"""
@@ -46,15 +46,15 @@ def __init__(self, cartan_type):
46
46
"""
47
47
TESTS::
48
48
49
- sage: from sage.libs.coxeter3.coxeter_group import CoxeterGroup # optional - coxeter3
50
- sage: CoxeterGroup(['A',2]) # optional - coxeter3
49
+ sage: from sage.libs.coxeter3.coxeter_group import CoxeterGroup # optional - coxeter3
50
+ sage: CoxeterGroup(['A',2]) # optional - coxeter3
51
51
Coxeter group of type ['A', 2] implemented by Coxeter3
52
52
53
53
As degrees and codegrees are not implemented, they are skipped in the
54
54
testsuite::
55
55
56
56
sage: to_skip = ['_test_degrees', '_test_codegrees']
57
- sage: TestSuite(CoxeterGroup(['A',2])).run(skip=to_skip) # optional - coxeter3
57
+ sage: TestSuite(CoxeterGroup(['A',2])).run(skip=to_skip) # optional - coxeter3
58
58
"""
59
59
category = CoxeterGroups ()
60
60
if cartan_type .is_finite ():
@@ -277,8 +277,8 @@ def m(self, i, j):
277
277
278
278
TESTS::
279
279
280
- sage: W = CoxeterGroup(['A', 3], implementation='coxeter3') # optional - coxeter3
281
- sage: W.m(1, 1) # optional - coxeter3
280
+ sage: W = CoxeterGroup(['A', 3], implementation='coxeter3') # optional - coxeter3
281
+ sage: W.m(1, 1) # optional - coxeter3
282
282
doctest:warning...:
283
283
DeprecationWarning: the .m(i, j) method has been deprecated; use .coxeter_matrix()[i,j] instead.
284
284
See https://github.com/sagemath/sage/issues/30237 for details.
@@ -667,7 +667,7 @@ def action(self, v):
667
667
sage: w.action(v)
668
668
-alpha[1] + alpha[2] + alpha[3]
669
669
"""
670
- #TODO: Find a better way to do this
670
+ # TODO: Find a better way to do this
671
671
W = self .parent ().root_system ().root_space ().weyl_group ()
672
672
w = W .from_reduced_word (list (self ))
673
673
return w .action (v )
@@ -705,7 +705,9 @@ def action_on_rational_function(self, f):
705
705
n = W .rank ()
706
706
707
707
if Q .ngens () != n :
708
- raise ValueError ("the number of generators for the polynomial ring must be the same as the rank of the root system" )
708
+ raise ValueError ("the number of generators for the polynomial "
709
+ "ring must be the same as the rank of the "
710
+ "root system" )
709
711
710
712
basis_elements = [alpha [i ] for i in W .index_set ()]
711
713
basis_to_order = {s : i for i , s in enumerate (W .index_set ())}
@@ -716,7 +718,7 @@ def action_on_rational_function(self, f):
716
718
exponents = poly .exponents ()
717
719
718
720
for exponent in exponents :
719
- #Construct something in the root lattice from the exponent vector
721
+ # Construct something in the root lattice from the exponent vector
720
722
exponent = sum (e * b for e , b in zip (exponent , basis_elements ))
721
723
exponent = self .action (exponent )
722
724
0 commit comments