#11979: Divided power algebras
-------------------------------------+-------------------------------------
Reporter: bruce | Owner: jbandlow
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: divided powers | Merged in:
Authors: Bruce Westbury | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/combinat/divided_power_alg | 103a503427c2ad28a10dad60cad3646f86e4f18b
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
I have gotten rid of all failing doctests, but there is a new one (I
think, related to a doctest I added beforehand):
{{{
sage -t src/sage/algebras/divided_power_algebra.py
**********************************************************************
File "src/sage/algebras/divided_power_algebra.py", line 171, in
sage.algebras.divided_power_algebra.UnivariateDividedPowerAlgebra.product_on_basis
Failed example:
B = UnivariateDividedPowerAlgebra(Zmod(5)).basis()
Exception raised:
Traceback (most recent call last):
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 488, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 851, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.algebras.divided_power_algebra.UnivariateDividedPowerAlgebra.product_on_basis[3]>",
line 1, in <module>
B = UnivariateDividedPowerAlgebra(Zmod(Integer(5))).basis()
File "sage/misc/classcall_metaclass.pyx", line 330, in
sage.misc.classcall_metaclass.ClasscallMetaclass.__call__
(build/cythonized/sage/misc/classcall_metaclass.c:1176)
File "sage/misc/cachefunc.pyx", line 1290, in
sage.misc.cachefunc.WeakCachedFunction.__call__
(build/cythonized/sage/misc/cachefunc.c:8031)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/structure/unique_representation.py", line 1021, in
__classcall__
instance = typecall(cls, *args, **options)
File "sage/misc/classcall_metaclass.pyx", line 518, in
sage.misc.classcall_metaclass.typecall
(build/cythonized/sage/misc/classcall_metaclass.c:1603)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/algebras/divided_power_algebra.py", line 125, in __init__
GHWBR = GradedHopfAlgebrasWithBasis(R)
File "sage/misc/classcall_metaclass.pyx", line 330, in
sage.misc.classcall_metaclass.ClasscallMetaclass.__call__
(build/cythonized/sage/misc/classcall_metaclass.c:1176)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/graded_modules.py", line 112, in __classcall__
return base_category_class(category, *args).Graded()
File "sage/misc/cachefunc.pyx", line 1874, in
sage.misc.cachefunc.CachedMethodCaller.__call__
(build/cythonized/sage/misc/cachefunc.c:11291)
File "sage/misc/cachefunc.pyx", line 2490, in
sage.misc.cachefunc.CachedMethod._instance_call
(build/cythonized/sage/misc/cachefunc.c:14055)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/modules.py", line 379, in Graded
return GradedModulesCategory.category_of(self)
File "sage/misc/cachefunc.pyx", line 936, in
sage.misc.cachefunc.CachedFunction.__call__
(build/cythonized/sage/misc/cachefunc.c:4969)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/covariant_functorial_construction.py", line 279,
in category_of
return functor_category(category, *args)
File "sage/misc/classcall_metaclass.pyx", line 330, in
sage.misc.classcall_metaclass.ClasscallMetaclass.__call__
(build/cythonized/sage/misc/classcall_metaclass.c:1176)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/graded_modules.py", line 110, in __classcall__
return super(GradedModulesCategory, cls).__classcall__(cls,
category, *args)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 442, in __classcall__
return super(Category, cls).__classcall__(cls, *args, **options)
File "sage/misc/cachefunc.pyx", line 1290, in
sage.misc.cachefunc.WeakCachedFunction.__call__
(build/cythonized/sage/misc/cachefunc.c:8031)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/structure/unique_representation.py", line 1021, in
__classcall__
instance = typecall(cls, *args, **options)
File "sage/misc/classcall_metaclass.pyx", line 518, in
sage.misc.classcall_metaclass.typecall
(build/cythonized/sage/misc/classcall_metaclass.c:1603)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/graded_modules.py", line 37, in __init__
super(GradedModulesCategory, self).__init__(base_category,
base_category.base_ring())
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/covariant_functorial_construction.py", line 304,
in __init__
super(FunctorialConstructionCategory, self).__init__(*args)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category_types.py", line 485, in __init__
Category_over_base.__init__(self, base, name)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category_types.py", line 243, in __init__
Category.__init__(self, name)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 473, in __init__
(self.__class__, self.subcategory_class, ),
File "sage/misc/lazy_attribute.pyx", line 127, in
sage.misc.lazy_attribute._lazy_attribute.__get__
(build/cythonized/sage/misc/lazy_attribute.c:1276)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 1632, in subcategory_class
cache=False, picklable=False)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 2793, in _make_named_class
cache=cache, **options)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 1588, in _make_named_class
tuple(getattr(cat,name) for cat in
self._super_categories_for_classes),
File "sage/misc/lazy_attribute.pyx", line 127, in
sage.misc.lazy_attribute._lazy_attribute.__get__
(build/cythonized/sage/misc/lazy_attribute.c:1276)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 1029, in
_super_categories_for_classes
self._all_super_categories
File "sage/misc/lazy_attribute.pyx", line 127, in
sage.misc.lazy_attribute._lazy_attribute.__get__
(build/cythonized/sage/misc/lazy_attribute.c:1276)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 862, in _all_super_categories
for cat in self._super_categories] +
File "sage/misc/lazy_attribute.pyx", line 127, in
sage.misc.lazy_attribute._lazy_attribute.__get__
(build/cythonized/sage/misc/lazy_attribute.c:1276)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 1004, in _super_categories
return
sorted(_flatten_categories(self.super_categories(),JoinCategory), key =
category_sort_key, reverse=True)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/covariant_functorial_construction.py", line 347,
in super_categories
return
Category.join([self.__class__.default_super_categories(self.base_category(),
*self._args)] +
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/covariant_functorial_construction.py", line 552,
in default_super_categories
return Category.join([category,
super(RegressiveCovariantConstructionCategory,
cls).default_super_categories(category, *args)])
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/covariant_functorial_construction.py", line 443,
in default_super_categories
if hasattr(cat, cls._functor_category)])
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 2475, in join
result = join_as_tuple(cache_key, axioms, ignore_axioms)
File "sage/categories/category_cy_helper.pyx", line 117, in
sage.categories.category_cy_helper.join_as_tuple
(build/cythonized/sage/categories/category_cy_helper.c:3145)
File "sage/categories/category_cy_helper.pyx", line 184, in
sage.categories.category_cy_helper.join_as_tuple
(build/cythonized/sage/categories/category_cy_helper.c:2425)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 1802, in is_subcategory
subcat_hook = c._subcategory_hook_(self)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category_types.py", line 434, in
_subcategory_hook_
if not issubclass(C.parent_class, self.parent_class):
File "sage/misc/lazy_attribute.pyx", line 127, in
sage.misc.lazy_attribute._lazy_attribute.__get__
(build/cythonized/sage/misc/lazy_attribute.c:1276)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 1677, in parent_class
return self._make_named_class('parent_class', 'ParentMethods')
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 2793, in _make_named_class
cache=cache, **options)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/categories/category.py", line 1590, in _make_named_class
reduction = reduction, cache = cache)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/structure/dynamic_class.py", line 316, in dynamic_class
return dynamic_class_internal.f(name, bases, cls, reduction,
doccls, prepend_cls_bases)
File "/home/darij/sage-6.3.beta6/local/lib/python2.7/site-
packages/sage/structure/dynamic_class.py", line 411, in
dynamic_class_internal
return metaclass(name, bases, methods)
TypeError: Cannot create a consistent method resolution
order (MRO) for bases Bialgebras.parent_class,
CoalgebrasWithBasis.parent_class, Algebras.parent_class
**********************************************************************
}}}
I have no buggering idea what is going wrong here, but I've got a hunch
that it might be the same issue as #15475.
--
Ticket URL: <http://trac.sagemath.org/ticket/11979#comment:21>
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/d/optout.
