Ask Your Question

tkloefkorn's profile - activity

2017-07-05 22:58:47 +0200 asked a question Is the Koszul operator supported in Sage?

I would like to use the Koszul operator on differential forms:

$ \kappa( x^\alpha dx_\sigma) = \sum_{i=1}^k \left((-1)^{i+1}x^\alpha x_{\sigma(i)}\right)dx_{\sigma(1)}\wedge\cdots\wedge\widehat{dx_{\sigma(i)}}\wedge\cdots\wedge dx_{\sigma(k)}$

where

$x^{\alpha}dx_{\sigma}:=\left(x_1^{\alpha_1}x_2^{\alpha_2}\dots x_n^{\alpha_n}\right)dx_{\sigma(1)}\wedge\dots\wedge dx_{\sigma(k)}$

and the notation $\widehat{dx_{\sigma(i)}}$ indicates that the term is omitted from the wedge product.

Is there existing code for this map in Sage?