#16219: Implement a catalog for algebras
-------------------------------------+-------------------------------------
       Reporter:  tscrim             |        Owner:  tscrim
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.4
      Component:  interfaces         |   Resolution:
       Keywords:  algebras catalog   |    Merged in:
        Authors:  Travis Scrimshaw   |    Reviewers:  Nicolas M. ThiƩry
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  public/algebras/catalog-16219      |  61d6bd1dd3be8ef99ac8c835fd94890e68bef235
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by nthiery):

 Replying to [comment:9 tscrim]:
 > > Why not lazy importing everything?
 >
 > I lazy imported things that were lazily imported into the global
 namespace, so it wouldn't trigger an import when doing tab completion on
 `algebras.` (as what happens for groups).
 > Was this suppose to be set as needs_info? I don't quite understand why
 this was set to needs_work.

 I was thinking of lazy importing everything here right away. Maybe
 using a flag "at_startup" to make the point that those should really
 be lazy imported elsewhere as well. What do you think?

 > There's a more trickier question of what algebras could we remove from
 the global namespace (it's not nearly as clear as it was for crystals to
 me), but I think that can be done on a followup.

 +1

 > Yep, and it should probably be a subcatalog called `combinatorial_hopf`
 (or maybe just `.hopf` and include all Hopf algebras). Anyways, stuff for
 later and I'll take a look at #16256 soon.

 And at some point we will want to automatize the building of all those
 catalogs. E.g. following the prototype Florent wrote during the Sage
 days in Edinburgh that instruments `TestSuite` to build a database of
 all parents with their category, from which we can get all parents in
 a category by reverse lookup. I just created #17219 for this.

 Cheers,
                                 Nicolas

--
Ticket URL: <http://trac.sagemath.org/ticket/16219#comment:10>
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.

Reply via email to