Hi Anne, Christian,
On Tue, Apr 17, 2012 at 11:01:01PM -0700, Anne Schilling wrote:
> Your patch trac_8327_universal_cyclotomic_field-cs.patch seems to break the
> k-Schur function code.
> With your patch, one obtains
>
> sage: ks3 = kSchurFunctions(QQ,3,1)
> sage: h = SFAHomogeneous(QQ)
> sage: h(ks3([3,3,1]))
> 0
>
> whereas without
>
> sage: ks3 = kSchurFunctions(QQ,3,1)
> sage: h = SFAHomogeneous(QQ)
> sage: h(ks3([3,3,1]))
> h[3, 3, 1]
Oops, my fault. I had done a change to dict_addition, and apparently
it was necessary to do the same change in dict_linear_combination. I
still would like to understand the details, but I pushed my changes,
and the examples above now work. I also just ran all Sage tests with
the queue applied up to this patch, and all tests passed up to one
trivial failure.
> Also, with the entire queue applied worse things happen:
>
> sage: h = SFAHomogeneous(ks3.base_ring())
> sage: h(ks3([3,3,1]))
> ---------------------------------------------------------------------------
> KeyError Traceback (most recent call last)
I get a slightly different error message:
sage: sage: ks3 = kSchurFunctions(QQ,3,1)
sage: sage: h = SFAHomogeneous(ks3.base_ring())
sage: h(ks3([3,3,1]))
sage: ------------------------------------------------------------
Traceback (most recent call last):
File "<ipython console>", line 1, in <module>
File "parent.pyx", line 1071, in sage.structure.parent.Parent.__call__
(sage/structure/parent.c:7987)
File "map.pyx", line 1270, in sage.categories.map.FormalCompositeMap._call_
(sage/categories/map.c:6086)
File "morphism.pyx", line 244, in sage.categories.morphism.SetMorphism._call_
(sage/categories/morphism.c:4018)
File
"/opt/sage-5.0.beta11/local/lib/python2.7/site-packages/sage/combinat/sf/kschur.py",
line 289, in _self_to_s
return self._s._from_cache(x, self._s_cache, self._self_to_s_cache, t =
self.t) # do we want this t = self.t?
File
"/opt/sage-5.0.beta11/local/lib/python2.7/site-packages/sage/combinat/sf/sfa.py",
line 634, in _from_cache
cache_function(sum(part))
File
"/opt/sage-5.0.beta11/local/lib/python2.7/site-packages/sage/combinat/sf/kschur.py",
line 354, in _s_cache
katom = p.k_atom(self.k)
File
"/opt/sage-5.0.beta11/local/lib/python2.7/site-packages/sage/combinat/partition.py",
line 2411, in k_atom
res = [ x.promotion_operator( self[-i-1] ) for x in res]
File
"/opt/sage-5.0.beta11/local/lib/python2.7/site-packages/sage/combinat/tableau.py",
line 1742, in promotion_operator
l = part.add_horizontal_border_strip(i)
File
"/opt/sage-5.0.beta11/local/lib/python2.7/site-packages/sage/combinat/partition.py",
line 2252, in add_horizontal_border_strip
l = IntegerVectors(k, len(shelf), outer=shelf).list()
File
"/opt/sage-5.0.beta11/local/lib/python2.7/site-packages/sage/combinat/integer_vector.py",
line 635, in __call__
return IntegerVectors_of_sum_and_length_with_constraints(sum, length,
policy, **kwargs)
File "classcall_metaclass.pyx", line 229, in
sage.misc.classcall_metaclass.ClasscallType.__call__
(sage/misc/classcall_metaclass.c:770)
File "cachefunc.pyx", line 568, in
sage.misc.cachefunc.CachedFunction.__call__ (sage/misc/cachefunc.c:2396)
TypeError: unhashable type: 'list'
I'll try to investigate later today, unless someone beats me to it.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <[email protected]>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" 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-combinat-devel?hl=en.
