[sage-combinat-devel] Re: bug in WeylGroup?

2013-07-31 Thread Mark Shimozono
Nicolas, I think the classical lattice of an affine coroot lattice should be a finite coroot lattice. Coroot lattices should be paired with weight lattices. Yet the code *prevents* me from doing this. This is surely a bug. I don't have a problem with code-sharing and using the co isomorphism

[sage-combinat-devel] Re: bug in WeylGroup?

2013-07-31 Thread Mark Shimozono
Nicolas, Aha! I found how a lattice can tell it comes from a co construction. This can be used to fix all the ills I have been complaining about. The cost of implementing the coweight lattice of type X as the weight lattice of type X-dual, is that this little dual must be remembered and taken

[sage-combinat-devel] Re: Should ClasscallMetaclass do a consistency test?

2013-07-31 Thread Andrew Mathas
On Tuesday, 30 July 2013 14:18:28 UTC+2, Simon King wrote: Hi all, On 2013-07-29, Simon King simon...@uni-jena.de javascript: wrote: After all, we have a class, and we call the class as if to create an instance---but what we get is in fact not an instance of this class, but is