#5457: Refactor symmetric functions and k-bounded subspace
--------------------------------------------------------------------------------+
Reporter: nthiery
| Owner: mhansen
Type: enhancement
| Status: new
Priority: major
| Milestone: sage-5.4
Component: combinatorics
| Resolution:
Keywords: symmetric functions, days38, sd40
| Work issues:
Report Upstream: N/A
| Reviewers: Dan Bump, Nicolas M. Thiéry
Authors: Mike Zabrocki, Anne Schilling, Jason Bandlow, Jeroen Demeyer
| Merged in:
Dependencies: #11563, #13109, #12969
| Stopgaps:
--------------------------------------------------------------------------------+
Changes (by jdemeyer):
* priority: blocker => major
* status: closed => new
* resolution: fixed =>
* merged: sage-5.3.beta2 =>
* milestone: sage-5.3 => sage-5.4
Comment:
I hate to be the bringer of bad news, but after playing a bit with this
patch, I think I found an actual bug:
{{{
sage: HS3t2 = SymmetricFunctions(QQ).llt(3,t=2).hspin()
sage: TestSuite(HS3t2).run()
Failure in _test_associativity:
Traceback (most recent call last):
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/misc/sage_unittest.py", line 275, in run
test_method(tester = tester)
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/categories/semigroups.py", line 120, in _test_associativity
tester.assert_((x * y) * z == x * (y * z))
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/categories/algebras.py", line 202, in __mul__
return self._mul_(right)
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/categories/magmas.py", line 361, in _mul_parent
return self.parent().product(self, other)
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/categories/algebras_with_basis.py", line 351, in
_product_from_combinatorial_algebra_multiply
m = self._multiply(left, right)
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/combinat/sf/llt.py", line 683, in _multiply
return self( self._m(left) * self._m(right) )
File "parent.pyx", line 804, in sage.structure.parent.Parent.__call__
(sage/structure/parent.c:7228)
File "morphism.pyx", line 243, in
sage.categories.morphism.SetMorphism._call_
(sage/categories/morphism.c:4412)
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/combinat/sf/llt.py", line 617, in _self_to_m
return self._m._from_cache(x, self._m_cache, self._self_to_m_cache, t
= self.t)
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/combinat/sf/sfa.py", line 857, in _from_cache
cache_function(sum(part))
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/combinat/sf/llt.py", line 714, in _m_cache
self._m_to_self_cache, to_other_function = self._to_m)
File "/release/sage-5.3.rc1/local/lib/python2.7/site-
packages/sage/combinat/sf/sfa.py", line 1057, in _invert_morphism
known_matrix_n[i,j] = value
File "matrix0.pyx", line 1415, in sage.matrix.matrix0.Matrix.__setitem__
(sage/matrix/matrix0.c:6745)
File "matrix0.pyx", line 1520, in
sage.matrix.matrix0.Matrix._coerce_element (sage/matrix/matrix0.c:7937)
File "parent.pyx", line 804, in sage.structure.parent.Parent.__call__
(sage/structure/parent.c:7228)
File "coerce_maps.pyx", line 82, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(sage/structure/coerce_maps.c:3547)
File "coerce_maps.pyx", line 77, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(sage/structure/coerce_maps.c:3449)
File "rational.pyx", line 371, in sage.rings.rational.Rational.__init__
(sage/rings/rational.c:6534)
File "rational.pyx", line 484, in
sage.rings.rational.Rational.__set_value (sage/rings/rational.c:7337)
File "fraction_field_element.pyx", line 736, in
sage.rings.fraction_field_element.FractionFieldElement._rational_
(sage/rings/fraction_field_element.c:7197)
File "parent.pyx", line 804, in sage.structure.parent.Parent.__call__
(sage/structure/parent.c:7228)
File "polynomial_element.pyx", line 6521, in
sage.rings.polynomial.polynomial_element.ConstantPolynomialSection._call_
(sage/rings/polynomial/polynomial_element.c:46753)
TypeError: not a constant polynomial
------------------------------------------------------------
Failure in _test_distributivity:
[...]
TypeError: not a constant polynomial
------------------------------------------------------------
Failure in _test_one:
[...]
TypeError: not a constant polynomial
------------------------------------------------------------
Failure in _test_prod:
[...]
TypeError: not a constant polynomial
------------------------------------------------------------
The following tests failed: _test_associativity, _test_distributivity,
_test_one, _test_prod
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5457#comment:67>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
