On Aug 20, 11:27 am, "Nicolas M. Thiery" <nicolas.thi...@u-psud.fr>
wrote:

> The best fix would be to have, as has been planned some time ago,
> WeylCharacterRing use categories (and by the way
> CombinatorialFreeModule), and this would be automatically handled by
> the coercion system.
>
> Dan: do you have any chance for handling this?

I have a working partial implementation. Could you look at this and
tell me if this is what you have in mind:

http://sporadic.stanford.edu/bump/alt_weyl_character_rings.patch

This implements quite a bit of the functionality of
WeylCharacterRings.
What is missing is branching rules and WeightRings.

For ease of comparison with the old code, this does not eliminate
the old class but creates a new one called AltWeylCharacterRing.
If this gets working right we can eliminate the old file (before
merging
into sage-main) but for testing purposes it seems good to have them
working side-by-side at this.

Nicolas, does this patch satisfy your desire to use categories and
CombinatorialFreeModule?

If so I will finish the patch and make a trac ticket.

Dan

stage.

-- 
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