Opened 7 years ago
Closed 7 years ago
#19178 closed enhancement (fixed)
Make Coxeter3 a new-style spkg
| Reported by: | tscrim | Owned by: | tscrim |
|---|---|---|---|
| Priority: | major | Milestone: | sage-6.9 |
| Component: | packages: optional | Keywords: | coxeter3 |
| Cc: | sage-combinat, nthiery, aschilling, jdemeyer, vbraun, saliola | Merged in: | |
| Authors: | Travis Scrimshaw | Reviewers: | Franco Saliola, Anne Schilling |
| Report Upstream: | N/A | Work issues: | |
| Branch: | 2945b61 (Commits, GitHub, GitLab) | Commit: | 2945b61085d8f1569780249c8919a88a7bf7bcdc |
| Dependencies: | Stopgaps: |
Status badges
Description (last modified by )
Convert Coxeter3 to a new-style spkg.
Attachments (1)
Change History (38)
comment:1 Changed 7 years ago by
| Authors: | → Travis Scrimshaw |
|---|---|
| Branch: | → u/tscrim/coxeter3_new_style_spkg-19178 |
| Cc: | aschilling jdemeyer vbraun added |
| Commit: | → b4acdc4e6ec9f57bda408983c2b5b283dd662554 |
| Description: | modified (diff) |
| Status: | new → needs_review |
comment:2 Changed 7 years ago by
The bot complains:
tar xf /tmp/tmp4V4cir/coxeter3-1.1.tar.gz -C /tmp/tmp4V4cir gzip: stdin: not in gzip format
Changed 7 years ago by
| Attachment: | coxeter3-1.1.tar.gz added |
|---|
comment:3 Changed 7 years ago by
| Commit: | b4acdc4e6ec9f57bda408983c2b5b283dd662554 → 8b3b32377cf35f1e70ac0395a187e810ad878ec5 |
|---|
comment:4 Changed 7 years ago by
Hmm...I thought I did pass the gz flag. Perhaps this one will now work.
comment:5 Changed 7 years ago by
| Description: | modified (diff) |
|---|
comment:6 follow-up: 7 Changed 7 years ago by
ok, it was just because the link in the description was not an upload link (it was attachment instead of raw-attachment).
comment:7 Changed 7 years ago by
I seem to get a lot of doctest failures after installing this package:
sage -t /Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 42, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.__init__
Failed example:
TestSuite(CoxeterGroup(['A',2])).run() # optional - coxeter3
Expected nothing
Got:
Failure in _test_associativity:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/semigroups.py", line 119, in _test_associativity
tester.assert_((x * y) * z == x * (y * z))
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 2
------------------------------------------------------------
Failure in _test_has_descent:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 774, in _test_has_descent
u = s[i] * s[j]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 2
------------------------------------------------------------
Failure in _test_inverse:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/groups.py", line 150, in _test_inverse
tester.assertEquals(x * ~x, self.one())
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 488, in __invert__
return self.parent()(~self.value)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 2
------------------------------------------------------------
Failure in _test_one:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 453, in _test_one
tester.assert_(x * one == x)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 2
------------------------------------------------------------
Failure in _test_prod:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/monoids.py", line 195, in _test_prod
tester.assert_(self.prod([x]) == x)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/monoids.py", line 166, in prod
return prod(args, self.one())
File "sage/misc/misc_c.pyx", line 146, in sage.misc.misc_c.prod (/Applications/sage/src/build/cythonized/sage/misc/misc_c.c:1966)
prod = z * prod
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 2
------------------------------------------------------------
Failure in _test_reduced_word:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 382, in _test_reduced_word
tester.assertEquals(self.from_reduced_word(red), x)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 365, in from_reduced_word
return self.one().apply_simple_reflections(word, side = 'right')
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 1459, in apply_simple_reflections
self = self.apply_simple_reflection(i, side)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 1562, in apply_simple_reflection
return self.apply_simple_reflection_right(i)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 1517, in apply_simple_reflection_right
return self * s[i]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 2
------------------------------------------------------------
Failure in _test_simple_projections:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 738, in _test_simple_projections
tester.assert_(opi[i](w) == w.apply_simple_projection(i, side = side, length_increasing = False))
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 521, in <lambda>
return lambda x: x.apply_simple_projection(i, side = side, length_increasing = length_increasing)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 1374, in apply_simple_projection
return self.apply_simple_reflection(i, side=side)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 1564, in apply_simple_reflection
return self.apply_simple_reflection_left(i)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/coxeter_groups.py", line 1489, in apply_simple_reflection_left
return s[i] * self
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 2
------------------------------------------------------------
The following tests failed: _test_associativity, _test_has_descent, _test_inverse, _test_one, _test_prod, _test_reduced_word, _test_simple_projections
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 89, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.index_set
Failed example:
W.index_set() # optional - coxeter3
Expected:
[1, 2, 3]
Got:
(1, 2, 3)
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 92, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.index_set
Failed example:
C.index_set() # optional - coxeter3
Expected:
[0, 1, 2, 3]
Got:
(0, 1, 2, 3)
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 144, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.simple_reflections
Failed example:
s[2]*s[1]*s[2] # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.simple_reflections[2]>", line 1, in <module>
s[Integer(2)]*s[Integer(1)]*s[Integer(2)] # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 3
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 356, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
W.parabolic_kazhdan_lusztig_polynomial([],[3,2],[1,3]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[1]>", line 1, in <module>
W.parabolic_kazhdan_lusztig_polynomial([],[Integer(3),Integer(2)],[Integer(1),Integer(3)]) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 3
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 358, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
W.parabolic_kazhdan_lusztig_polynomial([2],[2,1,3,2],[1,3]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[2]>", line 1, in <module>
W.parabolic_kazhdan_lusztig_polynomial([Integer(2)],[Integer(2),Integer(1),Integer(3),Integer(2)],[Integer(1),Integer(3)]) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 3
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 362, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
C.parabolic_kazhdan_lusztig_polynomial([],[1],[0]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[4]>", line 1, in <module>
C.parabolic_kazhdan_lusztig_polynomial([],[Integer(1)],[Integer(0)]) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type a and rank 4
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 364, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
C.parabolic_kazhdan_lusztig_polynomial([],[1,2,1],[0]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[5]>", line 1, in <module>
C.parabolic_kazhdan_lusztig_polynomial([],[Integer(1),Integer(2),Integer(1)],[Integer(0)]) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type a and rank 4
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 366, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
C.parabolic_kazhdan_lusztig_polynomial([],[0,1,0,1,2,1],[0]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[6]>", line 1, in <module>
C.parabolic_kazhdan_lusztig_polynomial([],[Integer(0),Integer(1),Integer(0),Integer(1),Integer(2),Integer(1)],[Integer(0)]) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type a and rank 4
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 370, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
C.parabolic_kazhdan_lusztig_polynomial(w,v,[1,3]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[9]>", line 1, in <module>
C.parabolic_kazhdan_lusztig_polynomial(w,v,[Integer(1),Integer(3)]) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type a and rank 4
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 372, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
C.parabolic_kazhdan_lusztig_polynomial(w,v,[1,3],constant_term_one=False) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[10]>", line 1, in <module>
C.parabolic_kazhdan_lusztig_polynomial(w,v,[Integer(1),Integer(3)],constant_term_one=False) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type a and rank 4
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 378, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
type(W.parabolic_kazhdan_lusztig_polynomial([2],[],[1])) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[12]>", line 1, in <module>
type(W.parabolic_kazhdan_lusztig_polynomial([Integer(2)],[],[Integer(1)])) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 388, in parabolic_kazhdan_lusztig_polynomial
subgroup = [ z for z in self.weak_order_ideal(lambda x: set(x.descents()).issubset(set(J))) if (u*z).bruhat_le(v) ]
File "/Applications/sage/local/lib/python2.7/site-packages/sage/categories/magmas.py", line 917, in __mul__
return self._mul_(right)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 3
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 440, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.Element.coatoms
Failed example:
w.coatoms() # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.Element.coatoms[2]>", line 1, in <module>
w.coatoms() # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 444, in coatoms
return [W(w) for w in self.value.coatoms()]
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type B and rank 3
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 485, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.Element.__invert__
Failed example:
~w # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.Element.__invert__[2]>", line 1, in <module>
~w # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 488, in __invert__
return self.parent()(~self.value)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 3
**********************************************************************
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 514, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.Element._mul_
Failed example:
s[1]._mul_(s[1]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.Element._mul_[2]>", line 1, in <module>
s[Integer(1)]._mul_(s[Integer(1)]) # optional - coxeter3
File "/Applications/sage/local/lib/python2.7/site-packages/sage/libs/coxeter3/coxeter_group.py", line 520, in _mul_
return self.parent()(result)
File "sage/structure/parent.pyx", line 1093, in sage.structure.parent.Parent.__call__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:9808)
mor = <map.Map> self._internal_convert_map_from(R)
File "sage/structure/parent.pyx", line 2655, in sage.structure.parent.Parent._internal_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:20725)
mor = self.discover_convert_map_from(S)
File "sage/structure/parent.pyx", line 2693, in sage.structure.parent.Parent.discover_convert_map_from (/Applications/sage/src/build/cythonized/sage/structure/parent.c:21299)
mor = self._generic_convert_map(S)
File "sage/structure/parent.pyx", line 2164, in sage.structure.parent.Parent._generic_convert_map (/Applications/sage/src/build/cythonized/sage/structure/parent.c:17442)
return coerce_maps.DefaultConvertMap_unique(S, self)
File "sage/structure/coerce_maps.pyx", line 38, in sage.structure.coerce_maps.DefaultConvertMap.__init__ (/Applications/sage/src/build/cythonized/sage/structure/coerce_maps.c:2810)
domain = Set_PythonType(domain)
File "sage/structure/parent.pyx", line 3034, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25744)
cpdef Parent Set_PythonType(theType):
File "sage/structure/parent.pyx", line 3065, in sage.structure.parent.Set_PythonType (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25645)
_type_set_cache[theType] = theSet = Set_PythonType_class(theType)
File "sage/structure/parent.pyx", line 3099, in sage.structure.parent.Set_PythonType_class.__init__ (/Applications/sage/src/build/cythonized/sage/structure/parent.c:25871)
raise TypeError("must be intialized with a type, not %r" % theType)
TypeError: must be intialized with a type, not Coxeter group of type A and rank 3
....
Also, there are deprecation warnings when installing this package:
gcc version 4.9.2 (GCC)
****************************************************
sed: 1: "directories.tmpl": extra characters at the end of d command
patching file makefile
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE affine.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE automata.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE bits.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE cells.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE commands.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE constants.cpp
In file included from commands.cpp:10:0:
directories.h:27:31: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const COXMATRIX_DIR = "SAGE_LOCAL/coxeter/coxeter_matrices";
^
directories.h:28:28: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const HEADER_DIR = "SAGE_LOCAL/coxeter/headers";
^
directories.h:29:29: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const MESSAGE_DIR = "SAGE_LOCAL/coxeter/messages";
^
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE coxgroup.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE coxtypes.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE error.cpp
In file included from error.cpp:13:0:
directories.h:27:31: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const COXMATRIX_DIR = "SAGE_LOCAL/coxeter/coxeter_matrices";
^
directories.h:28:28: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const HEADER_DIR = "SAGE_LOCAL/coxeter/headers";
^
directories.h:29:29: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const MESSAGE_DIR = "SAGE_LOCAL/coxeter/messages";
^
In file included from error.cpp:20:0:
version.h:12:22: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const NAME = "Coxeter";
^
version.h:13:25: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const VERSION = "3.0_beta2";
^
In file included from error.cpp:8:0:
error.cpp: In function 'void error::Error(int, ...)':
error.cpp:253:41: warning: 'const char* const' is promoted to 'const char*' when passed through '...'
const char *const str = va_arg(ap,const char *const);
^
error.cpp:253:41: note: (so you should pass 'const char*' not 'const char* const' to 'va_arg')
error.cpp:253:41: note: if this code is reached, the program will abort
error.cpp:283:41: warning: 'const char* const' is promoted to 'const char*' when passed through '...'
const char *const str = va_arg(ap,const char *const);
^
error.cpp:283:41: note: if this code is reached, the program will abort
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE fcoxgroup.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE files.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE general.cpp
In file included from files.cpp:11:0:
directories.h:27:31: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const COXMATRIX_DIR = "SAGE_LOCAL/coxeter/coxeter_matrices";
^
directories.h:28:28: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const HEADER_DIR = "SAGE_LOCAL/coxeter/headers";
^
directories.h:29:29: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const MESSAGE_DIR = "SAGE_LOCAL/coxeter/messages";
^
In file included from files.cpp:13:0:
version.h:12:22: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const NAME = "Coxeter";
^
version.h:13:25: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const VERSION = "3.0_beta2";
^
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE graph.cpp
In file included from graph.cpp:10:0:
directories.h:27:31: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const COXMATRIX_DIR = "SAGE_LOCAL/coxeter/coxeter_matrices";
^
directories.h:28:28: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const HEADER_DIR = "SAGE_LOCAL/coxeter/headers";
^
directories.h:29:29: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const MESSAGE_DIR = "SAGE_LOCAL/coxeter/messages";
^
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE help.cpp
In file included from help.cpp:11:0:
directories.h:27:31: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const COXMATRIX_DIR = "SAGE_LOCAL/coxeter/coxeter_matrices";
^
directories.h:28:28: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const HEADER_DIR = "SAGE_LOCAL/coxeter/headers";
^
directories.h:29:29: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const MESSAGE_DIR = "SAGE_LOCAL/coxeter/messages";
^
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE interactive.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE interface.cpp
In file included from interactive.cpp:14:0:
directories.h:27:31: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const COXMATRIX_DIR = "SAGE_LOCAL/coxeter/coxeter_matrices";
^
directories.h:28:28: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const HEADER_DIR = "SAGE_LOCAL/coxeter/headers";
^
directories.h:29:29: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const MESSAGE_DIR = "SAGE_LOCAL/coxeter/messages";
^
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE invkl.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE io.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE kl.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE klsupport.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE main.cpp
In file included from main.cpp:158:0:
version.h:12:22: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const NAME = "Coxeter";
^
version.h:13:25: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const VERSION = "3.0_beta2";
^
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE memory.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE minroots.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE posets.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE sage.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE schubert.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE special.cpp
In file included from special.cpp:10:0:
directories.h:27:31: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const COXMATRIX_DIR = "SAGE_LOCAL/coxeter/coxeter_matrices";
^
directories.h:28:28: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const HEADER_DIR = "SAGE_LOCAL/coxeter/headers";
^
directories.h:29:29: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
char* const MESSAGE_DIR = "SAGE_LOCAL/coxeter/messages";
^
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE transducer.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE type.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE typeA.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE uneqkl.cpp
g++ -c -O2 -fPIC -g -DFAST -DALLTRUE wgraph.cpp
g++ -dynamiclib -Wl,-headerpad_max_install_names,-undefined,dynamic_lookup,-compatibility_version,3.0,-current_version,3.0,-install_name,/Applications/sage/local/lib/libcoxeter3.dylib -o
libcoxeter3.dylib affine.o automata.o bits.o cells.o commands.o constants.o coxgroup.o coxtypes.o error.o fcoxgroup.o files.o general.o graph.o help.o interactive.o interface.o invkl.o io.o kl.o
klsupport.o main.o memory.o minroots.o posets.o sage.o schubert.o special.o transducer.o type.o typeA.o uneqkl.o wgraph.o
g++ -o coxeter affine.o automata.o bits.o cells.o commands.o constants.o coxgroup.o coxtypes.o error.o fcoxgroup.o files.o general.o graph.o help.o interactive.o interface.o invkl.o io.o kl.o
klsupport.o main.o memory.o minroots.o posets.o sage.o schubert.o special.o transducer.o type.o typeA.o uneqkl.o wgraph.o
g++ -o coxeter affine.o automata.o bits.o cells.o commands.o constants.o coxgroup.o coxtypes.o error.o fcoxgroup.o files.o general.o graph.o help.o interactive.o interface.o invkl.o io.o kl.o
klsupport.o main.o memory.o minroots.o posets.o sage.o schubert.o special.o transducer.o type.o typeA.o uneqkl.o wgraph.o
cp coxeter "$SAGE_LOCAL/bin/"
cp libcoxeter3.dylib "$SAGE_LOCAL/lib"
if [ Darwin = "CYGWIN" ]; then \
cp "$SAGE_LOCAL/lib/"; \
fi
mkdir -p "$SAGE_LOCAL/coxeter/"
cp -r coxeter_matrices headers messages "$SAGE_LOCAL/coxeter/"
mkdir -p "$SAGE_LOCAL/include/coxeter/"
cp -r *.h *.hpp "$SAGE_LOCAL/include/coxeter/"
real 0m6.061s
user 0m19.145s
sys 0m1.691s
Successfully installed coxeter3-1.1
Deleting temporary build directory
/Applications/sage/local/var/tmp/sage/build/coxeter3-1.1
Finished installing coxeter3-1.1.spkg
real 0m6.637s
user 0m19.409s
sys 0m1.966s
Sage build/upgrade complete!
comment:8 Changed 7 years ago by
| Commit: | 8b3b32377cf35f1e70ac0395a187e810ad878ec5 → 238280ab6ea145da3321ccffd853046e73c211d2 |
|---|
comment:9 Changed 7 years ago by
Changes over the years to the coercion system have made it so that if an element has a .parent() method, then the object returned should be a subclass of Parent. Since CoxGroupElement is meant to be a backend interface, I made the less invasive change of renaming _parent and parent() to _parent_group and parent_group(). This fixes the issue.
I also renamed the .pxi file to .pxd because this is more standard now, and there were 3 other trivial doctest failures that I fixed.
comment:10 Changed 7 years ago by
| Commit: | 238280ab6ea145da3321ccffd853046e73c211d2 → 5bdccbfb4a9ad50de7e467a9f3b5c7eb2a4f3532 |
|---|
comment:11 Changed 7 years ago by
I couldn't resist going in and making some other improvements to the code:
sage: C = CoxeterGroup(['B', 5], implementation='coxeter3') sage: %timeit L = [C.kazhdan_lusztig_polynomial(C.one(),w) for w in C] 1 loops, best of 3: 387 ms per loop sage: %timeit L = [C.kazhdan_lusztig_polynomial(C.one(),w,False) for w in C] 1 loops, best of 3: 467 ms per loop
versus previously
sage: %timeit L = [C.kazhdan_lusztig_polynomial(C.one(),w) for w in C] 1 loops, best of 3: 772 ms per loop sage: %timeit L = [C.kazhdan_lusztig_polynomial(C.one(),w,False) for w in C] 1 loops, best of 3: 857 ms per loop
In summary, I got a ~2x speedup from not converting to a string as an intermediate object (but I'm probably taking advantage of recent upgrades in cython to do so). I also avoiding creating things in the fraction field for the non-constant coefficient KL polynomials. There were some other micro-optimizations and things I changed for better practices.
comment:12 Changed 7 years ago by
I should also note that the non-constant coefficient KL polynomials are now sparse to avoid filling up memory with a lot of long lists full of 0's.
comment:13 follow-up: 16 Changed 7 years ago by
.pxd files are meant to be cimported, not included. So you should change include ... to from ... cimport ...
comment:14 Changed 7 years ago by
| Status: | needs_review → needs_work |
|---|
comment:15 Changed 7 years ago by
| Commit: | 5bdccbfb4a9ad50de7e467a9f3b5c7eb2a4f3532 → c3e6424a25ca185dcb443033099bbe8c6ae47b6c |
|---|
Branch pushed to git repo; I updated commit sha1. New commits:
| c3e6424 | Reverting decl.pxd to decl.pxi and consistant return type for deg().
|
comment:16 follow-up: 17 Changed 7 years ago by
| Status: | needs_work → needs_review |
|---|
Replying to jdemeyer:
.pxdfiles are meant to be cimported, not included. So you should changeinclude ...tofrom ... cimport ...
I see; so since everything seems to be used, I reverted it back to a .pxi.
comment:17 Changed 7 years ago by
Replying to tscrim:
so since everything seems to be used, I reverted it back to a
.pxi.
Why is it relevant that everything is used? Cython does support from .decl cimport *
comment:18 follow-up: 19 Changed 7 years ago by
Okay, there's still a few gaps in my cython knowledge. So I should change this to a pxd file and do from .decl cimport *? Does this behave differently than using include "decl.pxi"?
comment:19 follow-up: 20 Changed 7 years ago by
Replying to tscrim:
So I should change this to a pxd file and do
from .decl cimport *?
I'm not really saying that you should, but it's a good thing to do.
Does this behave differently than using
include "decl.pxi"?
Yes. However, if you're lucky, it might just work. If not, look at the error messages and try to fix things.
comment:20 Changed 7 years ago by
| Branch: | u/tscrim/coxeter3_new_style_spkg-19178 → u/tscrim/coxeter3_spkg_update-19178 |
|---|---|
| Commit: | c3e6424a25ca185dcb443033099bbe8c6ae47b6c → 5bdccbfb4a9ad50de7e467a9f3b5c7eb2a4f3532 |
Replying to jdemeyer:
Replying to tscrim:
So I should change this to a pxd file and do
from .decl cimport *?I'm not really saying that you should, but it's a good thing to do.
Then lets do it.
Does this behave differently than using
include "decl.pxi"?Yes. However, if you're lucky, it might just work. If not, look at the error messages and try to fix things.
Nothing broke as far as I can see.
comment:21 Changed 7 years ago by
| Commit: | 5bdccbfb4a9ad50de7e467a9f3b5c7eb2a4f3532 → 14339563196c791f53b104fd25caf70101a7f5c5 |
|---|
Branch pushed to git repo; I updated commit sha1. New commits:
| 1433956 | Changed import type.
|
comment:22 Changed 7 years ago by
| Commit: | 14339563196c791f53b104fd25caf70101a7f5c5 → 456691e67ce8b2e41e66604423afc462f009c28c |
|---|
comment:23 Changed 7 years ago by
| Commit: | 456691e67ce8b2e41e66604423afc462f009c28c → 13b836dae13cdb11a5705767555c17647ab9119f |
|---|
Branch pushed to git repo; I updated commit sha1. New commits:
| 13b836d | Updated SPKG.txt.
|
comment:24 follow-up: 25 Changed 7 years ago by
| Reviewers: | → Jeroen Demeyer |
|---|
I've added a patch which gets rid of the deprecation warnings.
Note, I have begun taking over the project as upstream and welcome help (I've updated SPKG.txt accordingly). However, for the time being, I think it would be a good idea to merge this ticket in since it is new-style, it gives us some nice speedups by improving the interaction, and the tarball posted here is the same as on Fokko's website. Is someone willing to finish the review?
comment:25 follow-up: 26 Changed 7 years ago by
Replying to tscrim:
Is someone willing to finish the review?
Sorry, not me. Preferably the review should be done by somebody who actually knows the package.
comment:26 Changed 7 years ago by
Franco is visiting me for a couple of days, so I am going to try to review this patch with him!
comment:27 follow-up: 28 Changed 7 years ago by
| Cc: | saliola added |
|---|---|
| Reviewers: | Jeroen Demeyer |
comment:28 Changed 7 years ago by
The weird thing is that when I run
sage -t coxeter_group.py
**********************************************************************
File "coxeter_group.py", line 322, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.kazhdan_lusztig_polynomial
Failed example:
all(KL.P(1,w) == C.kazhdan_lusztig_polynomial([],w.reduced_word()) for w in W) # optional - coxeter3 # long (15s)
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.kazhdan_lusztig_polynomial[9]>", line 1, in <module>
all(KL.P(Integer(1),w) == C.kazhdan_lusztig_polynomial([],w.reduced_word()) for w in W) # optional - coxeter3 # long (15s)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.kazhdan_lusztig_polynomial[9]>", line 1, in <genexpr>
all(KL.P(Integer(1),w) == C.kazhdan_lusztig_polynomial([],w.reduced_word()) for w in W) # optional - coxeter3 # long (15s)
NameError: global name 'KL' is not defined
**********************************************************************
File "coxeter_group.py", line 378, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
C.parabolic_kazhdan_lusztig_polynomial(w,v,[1,3]) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[7]>", line 1, in <module>
C.parabolic_kazhdan_lusztig_polynomial(w,v,[Integer(1),Integer(3)]) # optional - coxeter3
NameError: name 'w' is not defined
**********************************************************************
File "coxeter_group.py", line 380, in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
Failed example:
C.parabolic_kazhdan_lusztig_polynomial(w,v,[1,3],constant_term_one=False) # optional - coxeter3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Applications/sage/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial[8]>", line 1, in <module>
C.parabolic_kazhdan_lusztig_polynomial(w,v,[Integer(1),Integer(3)],constant_term_one=False) # optional - coxeter3
NameError: name 'w' is not defined
**********************************************************************
2 items had failures:
1 of 11 in sage.libs.coxeter3.coxeter_group.CoxeterGroup.kazhdan_lusztig_polynomial
2 of 12 in sage.libs.coxeter3.coxeter_group.CoxeterGroup.parabolic_kazhdan_lusztig_polynomial
[124 tests, 3 failures, 0.38 s]
----------------------------------------------------------------------
sage -t coxeter_group.py # 3 doctests failed
----------------------------------------------------------------------
Total time for all tests: 0.4 seconds
cpu time: 0.4 seconds
cumulative wall time: 0.4 seconds
I get errors. But I think this is due to the fact that it *only* runs the coxeter3 tests and not the other ones. Is this new? I do not remember that this is how it was before. Running
lolita:coxeter3 anne$ sage -t --optional=sage,coxeter3 --long *
too many failed tests, not using stored timings
Running doctests with ID 2015-09-23-18-04-02-5d5fd2e5.
Git branch: u/tscrim/coxeter3_new_style_spkg-19178
Using --optional=coxeter3,sage
Doctesting 5 files.
sage -t --long __init__.py
[0 tests, 0.00 s]
sage -t --long coxeter.pxd
[0 tests, 0.00 s]
sage -t --long coxeter.pyx
[257 tests, 0.14 s]
sage -t --long coxeter_group.py
[130 tests, 7.90 s]
sage -t --long decl.pxi
[0 tests, 0.00 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
Total time for all tests: 8.2 seconds
cpu time: 8.0 seconds
cumulative wall time: 8.0 seconds
works fine.
comment:29 Changed 7 years ago by
In coxeter_group.py line 400 seems superfluous. Can this be removed? (Franco found that!!)
comment:30 Changed 7 years ago by
| Reviewers: | → Franco Saliola |
|---|
This looks good to me.
Please run pyflakes to detect unused variables (like the q = ... mentioned in comment:29) and unnecessary imports.
Then Anne can set it to positive review on my behalf. :-)
comment:31 Changed 7 years ago by
| Commit: | 13b836dae13cdb11a5705767555c17647ab9119f → eb234f18e71db3a6445171b907e123d961e0c62d |
|---|
Branch pushed to git repo; I updated commit sha1. New commits:
| eb234f1 | pyflakes cleanup
|
comment:32 Changed 7 years ago by
| Commit: | eb234f18e71db3a6445171b907e123d961e0c62d → 2945b61085d8f1569780249c8919a88a7bf7bcdc |
|---|
Branch pushed to git repo; I updated commit sha1. New commits:
| 2945b61 | Fixing an alignment quickly.
|
comment:33 Changed 7 years ago by
Done.
Anne is correct, it was only running the coxeter3 tests (I get those errors with --optional=coxeter3). Now, the sage -t file by default runs the tests with your currently installed optional spkgs:
travis@apricot:~/sage/src/sage/libs/coxeter3$ sage -t coxeter_group.py ... Using --optional=coxeter3,database_gap,dot2tex,gap_packages,lie,mpir,python2,sage ...
If you want to limit the optional tests, you can use --optional=sage,coxeter3 or --optional=sage to run tests which are not marked with # optional coxeter3.
comment:34 follow-up: 35 Changed 7 years ago by
| Keywords: | coxeter3 added |
|---|---|
| Reviewers: | Franco Saliola → Franco Saliola, Anne Schilling |
| Status: | needs_review → positive_review |
comment:37 Changed 7 years ago by
| Branch: | u/tscrim/coxeter3_spkg_update-19178 → 2945b61085d8f1569780249c8919a88a7bf7bcdc |
|---|---|
| Resolution: | → fixed |
| Status: | positive_review → closed |
Note: See
TracTickets for help on using
tickets.
IIRC the source code in the spkg version of coxeter3 is a modified version on http://math.univ-lyon1.fr/~ducloux/coxeter/coxeter3/english/coxeter3_e.html. Nicolas, Anne, can one of you confirm this?
New commits:
Moved coxeter3 to a new-style spkg.