#17096: Implement categories for filtered algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: filtered algebras | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/categories/filtered_algebras-17096|
9d567ea2aaa030f51dbf2e966c8584bd2d8489ee
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
I have rewritten the doc to convey *my* understanding of your classes. It
will probably have typos and wrong references -- sorry for that, I just
can't manage to keep looking at sage categories for longer than a couple
hours --, but if you see something that looks seriously wrong to you,
chances are I have misunderstood your code and we need to discuss it over.
I suspect I am not done with this patch either way, but I am going to
return to tableaux and polytopes for a week or so.
Also, there are two doctests failure that this patch incurs for some weird
reason:
{{{
sage -t src/sage/categories/category_with_axiom.py
**********************************************************************
File "src/sage/categories/category_with_axiom.py", line 2513, in
sage.categories.category_with_axiom.CategoryWithAxiom_singleton
Failed example:
C.FiniteDimensional()
Expected:
Category of finite dimensional connected test objects over base ring
over Ring of integers modulo 2
Got:
Category of finite dimensional test objects over base ring over Ring
of integers modulo 2
**********************************************************************
File "src/sage/categories/category_with_axiom.py", line 2515, in
sage.categories.category_with_axiom.CategoryWithAxiom_singleton
Failed example:
C.Connected()
Expected:
Category of connected test objects over base ring over Ring of
integers modulo 2
Got:
Category of test objects over base ring over Ring of integers modulo 2
**********************************************************************
}}}
Also, an easy one:
{{{
sage -t src/sage/categories/category.py
**********************************************************************
File "src/sage/categories/category.py", line 2627, in
sage.categories.category.category_graph
Failed example:
sage.categories.category.category_graph().plot()
Expected:
Graphics object consisting of 312 graphics primitives
Got:
Graphics object consisting of 324 graphics primitives
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:17>
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.
