Hi Christian, Nicolas, Mike, ....
I still get problems with k-Schur functions with the whole sage-combinat queue
applied.
Without the queue, everything works fine.
Best,
Anne
--------------------------------------------------------------
sage: ks3 = kSchurFunctions(QQ,3,1)
sage: h = SFAHomogeneous(QQ)
sage: h(ks3[3,2,1])
ERROR: An unexpected error occurred while tokenizing input
The following traceback may be corrupted or invalid
The error message is: ('EOF in multi-line statement', (387, 0))
---------------------------------------------------------------------------
TypeError Traceback (most recent call last)
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/structure/parent.so
in sage.structure.parent.Parent.__call__ (sage/structure/parent.c:7935)()
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/categories/map.so
in sage.categories.map.FormalCompositeMap._call_ (sage/categories/map.c:6086)()
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/categories/morphism.so
in sage.categories.morphism.SetMorphism._call_
(sage/categories/morphism.c:4018)()
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/combinat/sf/kschur.pyc
in _self_to_s(self, x)
287 s[2, 1, 1] + t*s[3, 1]
288 """
--> 289 return self._s._from_cache(x, self._s_cache,
self._self_to_s_cache, t = self.t) # do we want this t = self.t?
290
291 def _coerce_start_disabled(self, x):
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/combinat/sf/sfa.pyc
in _from_cache(self, element, cache_function, cache_dict, **subs_dict)
632 for part,c in element.monomial_coefficients().iteritems():
633 if sum(part) not in cache_dict:
--> 634 cache_function(sum(part))
635 for part2, c2 in cache_dict[sum(part)][part].iteritems():
636 c3 = c*c2
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/combinat/sf/kschur.pyc
in _s_cache(self, n)
352 self._self_to_s_cache[n][p] = {}
353 continue
--> 354 katom = p.k_atom(self.k)
355 res = sum( [t**tab.charge()*s(tab.shape()) for tab in
katom], zero)
356 self._self_to_s_cache[n][p] = res.monomial_coefficients()
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/combinat/partition.pyc
in k_atom(self, k)
2430 res = [ tableau.Tableau([]) ]
2431 for i in range(len(self)):
-> 2432 res = [ x.promotion_operator( self[-i-1] ) for x in res]
2433 res = sum(res, [])
2434 res = [
y.katabolism_projector(Partition_class(self[-i-1:]).k_split(k)) for y in res]
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/combinat/tableau.pyc
in promotion_operator(self, i)
1740 weight = self.weight()
1741 perm = permutation.from_reduced_word(range(1, len(weight)+1))
-> 1742 l = part.add_horizontal_border_strip(i)
1743 ltab = [ from_chain( chain + [next] ) for next in l ]
1744 return [ x.symmetric_group_action_on_values(perm) for x in ltab]
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/combinat/partition.pyc
in add_horizontal_border_strip(self, k)
2271 #list all of the positions for cells
2272 #filling each self from the left to the right
-> 2273 l = IntegerVectors(k, len(shelf), outer=shelf).list()
2274 for iv in l:
2275 tmp = conj + [0]*k
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/combinat/integer_vector.pyc
in __call__(self, sum, length, policy, **kwargs)
633 return IntegerVectors_of_sum_and_length(sum
,length, policy)
634 else:
--> 635 return
IntegerVectors_of_sum_and_length_with_constraints(sum, length, policy, **kwargs)
636 elif isinstance(length, tuple):
637 return IntegerVectors_of_sum_with_non_descents(sum,
length, policy)
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/misc/classcall_metaclass.so
in sage.misc.classcall_metaclass.ClasscallType.__call__
(sage/misc/classcall_metaclass.c:775)()
/Applications/sage-5.0.beta7/local/lib/python2.7/site-packages/sage/misc/cachefunc.so
in sage.misc.cachefunc.CachedFunction.__call__ (sage/misc/cachefunc.c:2396)()
TypeError: unhashable type: 'list'
On 4/18/12 12:45 AM, Nicolas M. Thiery wrote:
> 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.
