#17219: Automatically built catalogs
---------------------------+----------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.4
Component: categories | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
---------------------------+----------------------------
Sage's catalogs (of groups, monoids, algebras, crystals, ...) are very
handy. However it takes quite some time to maintain them, and this won't
scale in the long run: we would want to have similar catalogs for Hopf
Algebras, rings, coxeter groups, ... with proper inclusions between the
catalogs. A natural setting would be that of categories. Namely to be able
to do something like:
{{{
sage: catalog = CoxeterGroups().catalog()
sage: catalog.<tab>
WeylGroup
SymmetricGroup
...
}}}
The core feature is to be able to retrieve all the parents implemented in
Sage that belong to a given category.
Florent wrote a prototype of this during the Sage days in Edinburgh in
January 2013. It instruments `TestSuite`, so that running the test suite
builds a database of all parent implementations, with their default
category. Then, from this category, it's easy to recover all parents in a
category by reverse lookup.
--
Ticket URL: <http://trac.sagemath.org/ticket/17219>
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.
