| | Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary |
| 1 |
As |
source |
2017-01-07 17:39:07 |
2017-01-07 17:39:07 |
Enable the likes of Table[As[n,6], As[k,0,n], Binomial[n,k]]. |
| 2 |
glne-debugging |
source |
2017-01-15 22:44:24 |
2017-01-15 22:44:25 |
|
| 3 |
glne |
source |
2017-01-14 20:43:56 |
2017-01-27 07:56:34 |
Implementing and verifying $gl_n^\epsilon$. |
| 4 |
glneV2 |
source |
2017-01-29 07:51:49 |
2017-01-29 08:20:39 |
Implementing and verifying $gl_n^\epsilon$, version 2. |
| 5 |
glneV3 |
source |
2017-01-29 08:46:09 |
2017-03-21 19:35:30 |
Implementing and verifying $gl_n^\epsilon$, version 3 (includes the derived series and the LCS of the commutator algebra). |
| 6 |
KnotByVincent |
source |
2017-01-08 17:45:52 |
2017-01-08 17:46:46 |
Analyzing a knot suggested by David Vincent. |
| 7 |
NOEOptimization-1 |
source |
2017-01-07 10:41:03 |
2017-01-07 10:58:07 |
Optimization for the NOE1 program, base D with μ consolidated at NfeDP. |
| 8 |
NOEOptimization-1T |
source |
2017-01-07 11:08:43 |
2017-01-07 11:31:40 |
Optimization for the NOE1 program base D with μ consolidated at NfeDP, with some tracing. |
| 9 |
NOEOptimization-2 |
source |
2017-01-07 11:50:56 |
2017-01-07 12:05:21 |
Optimization for the NOE1 program, base D with μ consolidated and DP split at NfeDP. |
| 10 |
NOEOptimizationBaseB |
source |
2017-01-02 12:36:51 |
2017-01-02 12:58:45 |
Optimization base for the NOE1 program, with split Nfe. |
| 11 |
NOEOptimizationBaseC |
source |
2017-01-02 12:53:24 |
2017-01-02 14:17:52 |
Optimization base for the NOE1 program, with split Nfe and Nlx. |
| 12 |
NOEOptimizationBaseD |
source |
2017-01-03 08:04:09 |
2017-01-07 10:29:02 |
Optimization base for the NOE1 program, with split Nfe and Nlx and with demoted CF. |
| 13 |
NOEOptimizationBase |
source |
2017-01-01 06:01:27 |
2017-01-01 09:42:46 |
Optimization base for the NOE1 program. |
| 14 |
NOE-Utilities |
source |
2017-01-07 10:27:28 |
2017-01-07 10:27:28 |
|
| 15 |
WeylRelations |
source |
2017-01-26 21:48:37 |
2017-01-26 21:48:37 |
|