We also should determine how we want to distinguish between (and input)
A_{+oo} and A_{oo}, i.e., index sets of NN and ZZ. In fact, the only place
where I really see this fundamentally breaking is the CartanMatrix and
Dynkin Diagram. All of the root/weight lattice stuff should work since
those
On Wednesday, 6 July 2016 16:20:12 UTC+1, Nicolas M. Thiery wrote:
>
> Dear Andrew,
>
> Currently, there is no support for `A_\infty`. This is mostly because
> most of the interesting stuff that a cartan type provides in Sage
> (e.g. the Cartan matrix, ...) is returned as a non lazy object.
>
>
Dear Andrew,
On Tue, Jul 05, 2016 at 11:10:46AM -0700, Andrew wrote:
>Sorry if I should post this to sage-support ...
This sounds like the right place to discuss it!
>Does CartanType currently support A_\infty? I checked the docs and it
>seems not but I wanted to check becaus
