#15473: Minor fixes to symmetric functions
-------------------------------------------------+-------------------------
Reporter: darij | Owner:
Type: defect | Status:
Priority: minor | needs_info
Component: combinatorics | Milestone: sage-5.13
Keywords: sage-combinat, symmetric | Resolution:
functions | Merged in:
Authors: Darij Grinberg | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------------------------+-------------------------
Comment (by darij):
But... not all is well in field-land either!
{{{
┌────────────────────────────────────────────────────────────────────┐
│ Sage Version 5.13.beta3, Release Date: 2013-11-14 │
│ Type "notebook()" for the browser-based notebook interface. │
│ Type "help()" for help. │
└────────────────────────────────────────────────────────────────────┘
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ Warning: this is a prerelease version, and it may be unstable. ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
sage: SymmetricFunctions(Zmod(2)); SymmetricFunctions(Zmod(5));
SymmetricFunctions(Zmod(3))
Symmetric Functions over Ring of integers modulo 2
Symmetric Functions over Ring of integers modulo 5
---------------------------------------------------------------------------
KeyError Traceback (most recent call
last)
<ipython-input-1-55467dc7f5ca> in <module>()
----> 1 SymmetricFunctions(Zmod(Integer(2)));
SymmetricFunctions(Zmod(Integer(5))); SymmetricFunctions(Zmod(Integer(3)))
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/classcall_metaclass.so in
sage.misc.classcall_metaclass.ClasscallMetaclass.__call__
(sage/misc/classcall_metaclass.c:1224)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/cachefunc.so in
sage.misc.cachefunc.WeakCachedFunction.__call__
(sage/misc/cachefunc.c:5675)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/structure/unique_representation.pyc in __classcall__(cls,
*args, **options)
1003 True
1004 """
-> 1005 instance = typecall(cls, *args, **options)
1006 assert isinstance( instance, cls )
1007 if instance.__class__.__reduce__ ==
CachedRepresentation.__reduce__:
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/classcall_metaclass.so in
sage.misc.classcall_metaclass.typecall
(sage/misc/classcall_metaclass.c:1586)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/combinat/sf/sf.pyc in __init__(self, R)
762 assert(R in Rings())
763 self._base = R # Won't be needed when CategoryObject won't
override anymore base_ring
--> 764 Parent.__init__(self, category =
GradedHopfAlgebras(R).WithRealizations())
765
766 def a_realization(self):
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/structure/parent.so in sage.structure.parent.Parent.__init__
(sage/structure/parent.c:4392)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/combinat/sf/sf.pyc in __init_extra__(self)
1223
1224 for (basis1_name, basis2_name) in
conversion_functions.keys():
-> 1225 basis1 = getattr(self, basis1_name)()
1226 basis2 = getattr(self, basis2_name)()
1227 on_basis = SymmetricaConversionOnBasis(t =
conversion_functions[basis1_name,basis2_name], domain = basis1, codomain =
basis2)
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/combinat/sf/sf.pyc in powersum(self)
810 Symmetric Functions over Rational Field in the
powersum basis
811 """
--> 812 return powersum.SymmetricFunctionAlgebra_power(self)
813 p = powersum
814 power = powersum # Todo: get rid of this one when it won't be
needed anymore
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/classcall_metaclass.so in
sage.misc.classcall_metaclass.ClasscallMetaclass.__call__
(sage/misc/classcall_metaclass.c:1224)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/cachefunc.so in
sage.misc.cachefunc.WeakCachedFunction.__call__
(sage/misc/cachefunc.c:5675)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/structure/unique_representation.pyc in __classcall__(cls,
*args, **options)
1003 True
1004 """
-> 1005 instance = typecall(cls, *args, **options)
1006 assert isinstance( instance, cls )
1007 if instance.__class__.__reduce__ ==
CachedRepresentation.__reduce__:
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/classcall_metaclass.so in
sage.misc.classcall_metaclass.typecall
(sage/misc/classcall_metaclass.c:1586)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/combinat/sf/powersum.pyc in __init__(self, Sym)
39 sage: TestSuite(p).run(elements = [p[1,1]+p[2],
p[1]+2*p[1,1]])
40 """
---> 41
classical.SymmetricFunctionAlgebra_classical.__init__(self, Sym,
"powersum", 'p')
42
43 def coproduct_on_generators(self, i):
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/combinat/sf/sfa.pyc in __init__(self, Sym, basis_name,
prefix)
1020 self._sym = Sym
1021 CombinatorialFreeModule.__init__(self, Sym.base_ring(),
sage.combinat.partition.Partitions(),
-> 1022 category =
SymmetricFunctionsBases(Sym),
1023 bracket = "", prefix =
prefix)
1024
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/classcall_metaclass.so in
sage.misc.classcall_metaclass.ClasscallMetaclass.__call__
(sage/misc/classcall_metaclass.c:1224)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category.pyc in __classcall__(cls, *args,
**options)
462 if isinstance(cls, DynamicMetaclass):
463 cls = cls.__base__
--> 464 return super(Category, cls).__classcall__(cls, *args,
**options)
465
466 def __init__(self, s=None):
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/cachefunc.so in
sage.misc.cachefunc.WeakCachedFunction.__call__
(sage/misc/cachefunc.c:5675)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/structure/unique_representation.pyc in __classcall__(cls,
*args, **options)
1003 True
1004 """
-> 1005 instance = typecall(cls, *args, **options)
1006 assert isinstance( instance, cls )
1007 if instance.__class__.__reduce__ ==
CachedRepresentation.__reduce__:
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/classcall_metaclass.so in
sage.misc.classcall_metaclass.typecall
(sage/misc/classcall_metaclass.c:1586)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/combinat/sf/sfa.pyc in __init__(self, base)
475 True
476 """
--> 477 Category_realization_of_parent.__init__(self, base)
478
479 def _repr_(self):
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/realizations.pyc in __init__(self,
parent_with_realization)
145 sage: TestSuite(C).run()
146 """
--> 147 Category_over_base.__init__(self, parent_with_realization)
148 self.parent_with_realization = parent_with_realization
149
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category_types.pyc in __init__(self, base, name)
202 def __init__(self, base, name=None):
203 self.__base = base
--> 204 Category.__init__(self, name)
205
206 def _make_named_class_key(self, name):
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category.pyc in __init__(self, s)
497 raise TypeError, "Argument string must be a
string."
498 self.__class__ =
dynamic_class("%s_with_category"%self.__class__.__name__,
--> 499 (self.__class__,
self.subcategory_class, ),
500 cache = False, reduction =
None,
501 doccls=self.__class__)
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/lazy_attribute.so in
sage.misc.lazy_attribute._lazy_attribute.__get__
(sage/misc/lazy_attribute.c:1300)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category.pyc in subcategory_class(self)
1275 """
1276 return self._make_named_class('subcategory_class',
'SubcategoryMethods',
-> 1277 cache=False,
picklable=False)
1278
1279 @lazy_attribute
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category.pyc in _make_named_class(self, name,
method_provider, cache, **options)
2062 pass
2063 result = Category._make_named_class(self, name,
method_provider,
-> 2064 cache=cache,
**options)
2065 self._make_named_class_cache[key] = result
2066 return result
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category.pyc in _make_named_class(self, name,
method_provider, cache, picklable)
1231 reduction = None
1232 return dynamic_class(class_name,
-> 1233 tuple(getattr(cat,name) for cat in
self._super_categories_for_classes),
1234 method_provider_cls,
prepend_cls_bases = False, doccls = doccls,
1235 reduction = reduction, cache = cache)
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/lazy_attribute.so in
sage.misc.lazy_attribute._lazy_attribute.__get__
(sage/misc/lazy_attribute.c:1300)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category.pyc in
_super_categories_for_classes(self)
1057 [Category of rngs, Category of semirings]
1058 """
-> 1059 self._all_super_categories
1060 return self._super_categories_for_classes
1061
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/lazy_attribute.so in
sage.misc.lazy_attribute._lazy_attribute.__get__
(sage/misc/lazy_attribute.c:1300)()
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/categories/category.pyc in _all_super_categories(self)
885 for cat in
self._super_categories] +
886
[self._super_categories],
--> 887 category_sort_key)
888 self._super_categories_for_classes = bases
889 return [self] + result
/home/darij/sage-5.13.beta3/local/lib/python2.7/site-
packages/sage/misc/c3_controlled.so in
sage.misc.c3_controlled.C3_sorted_merge (sage/misc/c3_controlled.c:4377)()
KeyError: (6048, 95)
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15473#comment:8>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
