Dear Simon, On Sun, Oct 24, 2010 at 02:34:53PM -0700, Simon King wrote: > As you may have noticed, I posted on sage-devel and asked if there is > interest in the automatic dynamical update of categories, at the > expense of slowing down "sage -testall -long" by 1.5%. I could imagine > that many people wouldn't like to slow things down if the only gain is > a generalisation of an abstract framework. But let us see what people > think.
I have been overflowed by sage-devel lately, but I will have a look! I would bet for a strong opposition, unless the slow down would only concern code specifically using the feature. > in either case, I think that a method "update_category" is non- > controversial and clearly a missing feature. Using my experiences with > *automatically* updating the category and subclassing both parent and > element classes exploting the abc module, I would certainly be able > to implement the update_category functionality (simply drop the word > "automatically" in this sentence...). Looking forward to that! This feature, especially combined with better join treatment for Finite/Commutative/..., will be really powerful. Cheers, Nicolas PS: by the way: the pushout construction mechanism does overlap much with the "functorial constructions" in the categories (Algebras/Subquotients/...). At some point, we will need to investigate exactly how much they overlap, and devise plans to merge the two features or at least make them interact smoothly. I know the general principle of the pushout mechanism, but you have a much stronger practical experience with it. Would you volunteer to start this investigation? -- 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 post to this group, send email to sage-combinat-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.