#15475: Reenable broken doctests in #15473 and #15476 when #10963 is merged
-------------------------------------+-------------------------------------
Reporter: darij | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: categories | Resolution:
Keywords: 10963, | Merged in:
categories, c3, coercion, | Reviewers:
transitivity, descent algebras, | Work issues:
symmetric functions | Commit:
Authors: | da61e19ba32e4eb5f2348444df13edba50283b75
Report Upstream: N/A | Stopgaps:
Branch: |
public/categories/15475 |
Dependencies: #10963, #15473, |
#15476 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
I'm pretty sure it's related to the category refinement that occurs for
`Zmod(13)`:
{{{
sage: SymmetricFunctions(Zmod(14))
Symmetric Functions over Ring of integers modulo 14
sage: SymmetricFunctions(Zmod(12)) # This isn't needed to reproduce the
error
Symmetric Functions over Ring of integers modulo 12
sage: SymmetricFunctions(Zmod(13))
# Boom
sage: Rp = Zmod(13)
sage: Rp.category()
Join of Category of finite commutative rings and Category of subquotients
of monoids and Category of quotients of semigroups
sage: Rp in Fields()
True
sage: Rp.category()
Join of Category of finite fields and Category of subquotients of monoids
and Category of quotients of semigroups
sage: SymmetricFunctions(Rp)
Symmetric Functions over Ring of integers modulo 13
}}}
(You can remove the `Rp.category()` and it will still work.) Compare this
with
{{{
sage: SymmetricFunctions(Zmod(12))
Symmetric Functions over Ring of integers modulo 12
sage: SymmetricFunctions(GF(13))
Symmetric Functions over Finite Field of size 13
}}}
However, in a fresh Sage:
{{{
sage: Rp = Zmod(13)
sage: SymmetricFunctions(Rp)
Symmetric Functions over Ring of integers modulo 13
sage: Rp.category()
Join of Category of finite fields and Category of subquotients of monoids
and Category of quotients of semigroups
}}}
This might be useful info (also in a fresh Sage):
{{{
sage: GradedHopfAlgebras(Zmod(14))
Join of Category of hopf algebras over Ring of integers modulo 14 and
Category of graded algebras over Ring of integers modulo 14
sage: Rp = Zmod(13)
sage: GradedHopfAlgebras(Rp)
/home/travis/sage/local/lib/python2.7/site-
packages/sage/categories/category.py:858: UserWarning: Inconsistent
sorting results for all super categories of <class
'sage.categories.category.JoinCategory'>
self.__class__))
/home/travis/sage/local/lib/python2.7/site-
packages/sage/categories/category.py:858: UserWarning: Inconsistent
sorting results for all super categories of <class
'sage.categories.hopf_algebras.HopfAlgebras_with_category'>
self.__class__))
Join of Category of hopf algebras over Ring of integers modulo 13 and
Category of graded algebras over Ring of integers modulo 13
sage: Rp.category()
Join of Category of finite fields and Category of subquotients of monoids
and Category of quotients of semigroups
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15475#comment:34>
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.
