Re: [sage-combinat-devel] roots and coroots for the root lattice

2011-02-24 Thread Nicolas M. Thiery
On Wed, Feb 23, 2011 at 06:39:03PM -0500, Christian Stump wrote: > After pulling again, you should get the problem I had: > > sage: ct = CartanType(['A',3]) > sage: L = ct.root_system().root_lattice() > sage: L.simple_root(1) > alpha[1] > sage: L.simple_root(1).associated_coroot() > ... > -> 1777

Re: [sage-combinat-devel] roots and coroots for the root lattice

2011-02-23 Thread Christian Stump
Hi Nicolas, > Just to make sure (and for future regression tests), could you send a > little session demonstrating this? sorry, I changed the code accidentalness in one of my patches to make it work... I undid the changes. After pulling again, you should get the problem I had: sage: ct = Cartan

Re: [sage-combinat-devel] roots and coroots for the root lattice

2011-02-23 Thread Nicolas M. Thiery
Hi Christian, On Sun, Feb 20, 2011 at 08:08:07AM -0800, Christian Stump wrote: > I encountered a problem with roots and coroots for the root lattice: > > if I take the coroot_space of a root lattice (i.e., the root space > over ZZ), I get the coroot space over QQ. Therefore, > to_coroot_l

[sage-combinat-devel] roots and coroots for the root lattice

2011-02-20 Thread Christian Stump
Hi, I encountered a problem with roots and coroots for the root lattice: if I take the coroot_space of a root lattice (i.e., the root space over ZZ), I get the coroot space over QQ. Therefore, to_coroot_lattice_morphism and associated_coroot do not work. On the other hand, when I fix this problem