Hi Dan!
On Wed, Feb 19, 2014 at 03:34:53PM -0800, bump wrote:
Is the invariant inner product implemented already in the ambient space?
I think what is called inner product is actually the dual pairing
between the space and its dual. This is defined in ambient_space.py.
The
Hey Dan and Nicolas,
On Thursday, February 20, 2014 4:43:37 AM UTC-8, Nicolas M. Thiery wrote:
Hi Dan!
On Wed, Feb 19, 2014 at 03:34:53PM -0800, bump wrote:
Is the invariant inner product implemented already in the ambient
space?
I think what is called inner product is
On Thu, Feb 20, 2014 at 09:56:47AM -0800, Travis Scrimshaw wrote:
In http://trac.sagemath.org/ticket/15384 (which is still somewhat
sketchwork code), I implemented a method symmetric_form() for the root
space. This should (hopefully) work for the roots, but I am doubtful that
it
All of this is very helpful, thanks Travis, Anne and Nicolas.
Another thing that is needed is the invariant inner product on the weight
space.
Kac gives it explicitly with respect to the basis
alpha_0, alpha_1, ... , alpha_n, Lambda_0. To get it with respect to the
basis Lambda_0, ... ,
On Wed, Feb 19, 2014 at 02:25:29PM -0800, bump wrote:
Another thing that is needed is the invariant inner product on the weight
space.
Kac gives it explicitly with respect to the basis
alpha_0, alpha_1, ... , alpha_n, Lambda_0. To get it with respect to the
basis Lambda_0,
Would it do to coerce the two elements to the (affine extended)
ambient space, and use the inner product there? If speed is an issue,
one could cache the result on the bases.
Is the invariant inner product implemented already in the ambient space?
I think what is called inner product is