| | Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary |
| 1 |
DufloLieAlgebra |
source |
2017-02-09 13:58:03 |
2017-02-23 20:02:51 |
Verifying the Duflo commutation relations, as communicated by Dylan in 1999. |
| 2 |
ExpOfUpperTriangular |
source |
2017-02-22 10:22:59 |
2017-03-02 19:52:38 |
Conjugating the exponentials of upper-triangular matrices to polynomial form. |
| 3 |
g1 |
source |
2017-02-11 11:40:49 |
2017-02-13 07:50:35 |
Verifying g1 identities for the Gaussian pairing technique. |
| 4 |
GaussianPairing |
source |
2017-02-12 18:23:32 |
2017-02-16 15:25:30 |
Testing Gaussian pairing, plus g1 logos games. |
| 5 |
glne-170214 |
source |
2017-02-15 11:57:46 |
2017-02-14 15:53:32 |
Implementing and verifying $gl_n^\epsilon$; with highlighted centre. Continues pensieve://2017-01/. |
| 6 |
glne |
source |
2017-02-14 11:13:52 |
2020-01-16 11:44:04 |
Implementing and verifying $gl_n^\epsilon$; with highlighted centre. Continues pensieve://2017-01/, continued pensieve://2020-01/. |
| 7 |
index |
source |
2017-02-07 09:14:48 |
2021-02-17 22:48:12 |
|
| 8 |
lgl |
source |
2017-02-21 18:46:40 |
2017-02-21 20:17:11 |
The loose $gl_n$ (failed). |
| 9 |
lglV2 |
source |
2017-02-21 19:59:45 |
2017-02-21 20:22:25 |
The loose $gl_n$ version 2 (failed). |