Dear William, dear category fans,
On Tue, Jul 07, 2009 at 11:33:11AM -0700, William Stein wrote:
> >> To do this, could somebody ASAP build sage-4.1.rc0.tar, pull and
> >> rebase all the *-combinat stuff against it?
Done.
One thing though: #5882 just changed the category of a category to be
Sets() by default. I.e.:
sage: Sets().category()
Category of sets
Was there a strong rationale / need for this? I am not sure this
really is what we want. Mathematically this is edgy, and from a
practical point of view, it is handy to make the assumption that all
the objects in Sets() are Parents (which the current category code in
Sage-Combinat does).
Thoughts?
Best,
Nicolas
--
Nicolas M. Thiéry "Isil" <[email protected]>
http://Nicolas.Thiery.name/
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
