Ask Your Question

Is the Koszul operator supported in Sage?

asked 2017-07-05 22:02:17 +0200

updated 2017-07-06 01:45:06 +0200

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)}$


$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?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2017-07-06 20:33:54 +0200

eric_g gravatar image

updated 2017-07-06 20:39:55 +0200

I'm afraid not. The currently available operations on differential forms are listed here.

Would you like to implement the Koszul operator? If yes, visit this page.

edit flag offensive delete link more


Note that a somehow related operator, the Schouten-Nijenhuis bracket, is currently being implemented, see this discussion.

eric_g gravatar imageeric_g ( 2017-07-07 00:01:36 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2017-07-05 22:02:17 +0200

Seen: 185 times

Last updated: Jul 06 '17