> Ideally, the coercion model just has the idea of an action, without  
> having to specify where they can come from. In any case, it's clear  
> there's some cleaning up to do, and I'll go in and do that (though  
> not right now).

Yup. That's why in MuPAD we were doing this declaratively; something like:

declareSignature(operator.action, (QQ['x,y,z'], SymmetricGroup(3)), 
code_for_the_action)

But the current model is way good enough for the moment. No need to
refactor all at once :-)

For the name change: +1 for me. Just please give a quick try of your
patch with the ones of sage-combinat; I guess they should be
compatible, but one never knows.

Cheers,
                                Nicolas
--
Nicolas M. ThiƩry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to