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.

Reply via email to