Hi John,
On Tue, Apr 14, 2015 at 02:51:14PM -0700, John H Palmieri wrote:
> I've been wondering lately about the design choice of having all of the
> various categories accessible at the top-level in Sage. Would it be
> preferable to have a catalog of categories accessible via
> "categories.AdditiveMagmas()", etc.? Having more than 50 categories
> could be viewed as polluting the top-level. I certainly notice that
> when I hit the TAB key, I often see a bunch of categories in the list
> of possible completions, and I never actually use them, despite the
> fact that categories and functors underlie much of my research. Of
> course, I'm probably missing something. How often do people use these
> in Sage, and how much of an inconvenience would it be if you had to
> prefix them with "categories." each time?
> Oh, and just to be clear, I am not volunteering to make any necessary
> changes. Nor am I against the status quo: I'm genuinely curious about
> the best approach here.
IIRC, this was discussed a year or so ago on the Sage mailing list. As
a first easy step in this direction, we could immediately remove quite
a few of them, like AlgebrasWithBasis, since this is now better
accessed through Algebras(QQ).WithBasis(). This just requires handling
the deprecation.
As for putting them in a catalog: I don't have a strong opinion. As
long as we I can put in my .sagerc:
sage: from categories import *
I am all good with it if someone volunteers.
Personally, I am using categories on a regular basis for things like:
sage: X in Fields
sage: X = MyParent(category=Fields())
sage: X = Semigroups().example()
sage: Hom(X, Y, category=Rings())
Also the category could serve as a natural entry point with:
sage: Groups().catalog
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.
