Timeline for Compute Lie algebra cohomology
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 30, 2017 at 11:03 | comment | added | José Figueroa-O'Farrill | In Maple 2016 (sorry I'm late to the discussion), it can compute relative cohomology with values in a representation. Example 5 in the documentation shows how to define the representation. | |
| Sep 27, 2014 at 19:49 | comment | added | Leo | @MicheleTorielli In Maple, can the coefficients of the Lie algebra be Integers $\mathbb{Z}$, so that cohomology is of the form $\mathbb{Z}^r\oplus\mathbb{Z}_{t_1}\oplus\ldots\oplus\mathbb{Z}_{t_s}$? If not, is there any software for that? | |
| Oct 30, 2010 at 8:59 | vote | accept | Michele Torielli | ||
| Jan 13, 2011 at 9:13 | |||||
| Oct 30, 2010 at 8:34 | comment | added | Michele Torielli | yes, I agree with you but when you open the description of the command LieALgebra Cohomology it seems that it can compute only if the representation is a Lie subalgebra. Thank you for the replay. | |
| Oct 29, 2010 at 19:35 | comment | added | mathphysicist | @Michele: this depends on the version of Maple. At least they claim that Maple 12 can compute the Lie algebra cohomology with coefficients in a representation: maplesoft.com/view.aspx?SF=5898/M12WhatsNewPro.pdf | |
| Oct 28, 2010 at 15:22 | comment | added | Michele Torielli | If I'm not wrong, maple can only compute the cohomology of $\mathfrak{g}$ in a Lie subalgebra, not in any representation. | |
| Oct 26, 2010 at 16:55 | history | answered | mathphysicist | CC BY-SA 2.5 |