| Version |
Note |
Size |
Editor |
Time |
|
|
|
21400 |
Bill Page |
2022/10/09 18:46:48 GMT+0 |
|
|
|
21390 |
Bill Page |
2022/09/27 16:20:44 GMT+0 |
|
|
|
21354 |
Bill Page |
2022/09/27 16:16:00 GMT+0 |
|
|
|
21326 |
Bill Page |
2022/09/27 16:12:52 GMT+0 |
|
|
|
21330 |
Bill Page |
2022/09/27 16:08:47 GMT+0 |
|
|
|
21326 |
Bill Page |
2022/09/27 16:01:30 GMT+0 |
|
|
|
21320 |
Bill Page |
2022/09/27 01:48:19 GMT+0 |
|
|
|
21325 |
Bill Page |
2022/09/27 01:41:55 GMT+0 |
|
|
version update |
21298 |
Bill Page |
2017/04/25 20:40:14 GMT+0 |
|
|
Re: LOP ? |
21274 |
Bill page |
2014/12/30 00:31:12 GMT+0 |
|
|
LOP ? |
20818 |
rrogers |
2014/12/01 23:12:07 GMT+0 |
|
|
Rep & I == vs := |
19760 |
Bill Page |
2013/04/01 20:08:54 GMT+0 |
|
|
Rep & I == vs := |
19760 |
Bill Page |
2013/04/01 20:08:54 GMT+0 |
|
|
unevaluated products |
19758 |
Bill Page |
2011/05/10 17:45:22 GMT-7 |
|
|
Two-color compact closed category |
19967 |
Bill Page |
2011/05/09 16:38:25 GMT-7 |
|
|
|
19668 |
Bill Page |
2011/04/28 12:31:32 GMT-7 |
|
|
cleanup |
19426 |
Bill Page |
2011/04/27 23:29:34 GMT-7 |
|
|
even faster composition |
18741 |
Bill Page |
2011/04/27 17:10:45 GMT-7 |
|
|
faster composition |
18086 |
Bill Page |
2011/04/26 22:28:01 GMT-7 |
|
|
faster composition |
18067 |
Bill Page |
2011/04/26 22:25:36 GMT-7 |
|
|
evaluation and co-evaluation |
17920 |
Bill Page |
2011/04/26 17:07:40 GMT-7 |
|
|
Prop is initial |
17520 |
Bill Page |
2011/04/20 11:42:31 GMT-7 |
|
|
zero? and one? |
17632 |
Bill Page |
2011/04/19 21:45:04 GMT-7 |
|
|
Evalable |
17458 |
Bill Page |
2011/04/19 20:38:46 GMT-7 |
|
|
unary minus |
17206 |
Bill Page |
2011/04/19 11:23:51 GMT-7 |
|
|
graphic |
17155 |
Bill Page |
2011/04/14 09:18:23 GMT-7 |
|
|
fix scripts |
16537 |
Bill Page |
2011/04/13 17:08:06 GMT-7 |
|
|
application -> product, e -> |, sub <=> super |
16417 |
Bill Page |
2011/04/13 14:32:28 GMT-7 |
|
|
fix partial evaluation |
15841 |
Bill Page |
2011/04/13 01:45:23 GMT-7 |
|
|
fix partial evaluation |
15841 |
Bill Page |
2011/04/13 01:32:13 GMT-7 |
|
|
general list of applicators |
15929 |
Bill Page |
2011/04/12 16:43:32 GMT-7 |
|
|
lists of applicators |
15183 |
Bill Page |
2011/04/12 15:25:51 GMT-7 |
|
|
Prop missing One |
14873 |
Bill Page |
2011/04/12 12:42:51 GMT-7 |
|
|
Prop missing One |
13981 |
Bill Page |
2011/04/11 21:46:04 GMT-7 |
|
|
Prop missing One |
14120 |
Bill Page |
2011/04/11 21:10:28 GMT-7 |
|
|
Prop missing One |
14119 |
Bill Page |
2011/04/11 21:07:04 GMT-7 |
|
|
retractableTo |
14099 |
Bill Page |
2011/04/11 20:48:35 GMT-7 |
|
|
many zero tensors! |
13875 |
Bill Page |
2011/04/11 16:16:05 GMT-7 |
|
|
many zero tensors! |
13965 |
Bill Page |
2011/04/11 15:50:26 GMT-7 |
|
|
bug in permutations and identities |
13958 |
Bill Page |
2011/04/11 15:35:46 GMT-7 |
|
|
default to numeric indices |
13830 |
page |
2011/04/11 10:40:23 GMT-7 |
|
|
default to numeric indices |
13829 |
page |
2011/04/11 10:38:46 GMT-7 |
|
|
documentation and notation |
13238 |
page |
2011/04/11 09:53:14 GMT-7 |
|
|
map and ravel |
12570 |
page |
2011/04/11 05:55:29 GMT-7 |
|
|
examples |
12086 |
page |
2011/04/10 22:26:43 GMT-7 |
|
|
basis vectors and forms |
12181 |
page |
2011/04/10 21:37:25 GMT-7 |
|
|
general permutations and identies |
10671 |
page |
2011/04/10 12:50:42 GMT-7 |
|
|
bug fix in product |
10078 |
page |
2011/04/09 22:47:04 GMT-7 |
|
|
bug fix in product |
9903 |
page |
2011/04/09 22:34:14 GMT-7 |
|
|
bug fix in product |
9877 |
page |
2011/04/09 22:14:38 GMT-7 |
|
|
products |
9376 |
page |
2011/04/09 08:44:27 GMT-7 |
|
|
Monoidal Prop |
8905 |
page |
2011/04/09 07:58:14 GMT-7 |
|
|
composition |
7754 |
page |
2011/04/09 01:34:24 GMT-7 |
|
|
Modules |
9531 |
Bill Page |
2011/03/10 16:03:34 GMT-8 |
|
|
Linear operators as morphisms |
9130 |
Bill Page |
2011/03/10 09:42:42 GMT-8 |
|
|
product and composition |
7805 |
Bill Page |
2011/03/09 19:01:24 GMT-8 |
|
|
product and composition |
7804 |
Bill Page |
2011/03/09 18:53:37 GMT-8 |
|
|
debug coproduct |
7497 |
Bill Page |
2011/03/08 19:42:31 GMT-8 |
|
|
documentation and tests |
6065 |
Bill Page |
2011/03/08 16:43:14 GMT-8 |
|
|
product and co-product |
4252 |
Bill Page |
2011/03/08 12:12:56 GMT-8 |
|
|
examples |
3147 |
Bill Page |
2011/03/08 04:48:52 GMT-8 |
|
|
examples |
2751 |
Bill Page |
2011/03/08 01:07:28 GMT-8 |
|
|
new |
1985 |
Bill Page |
2011/03/07 23:32:30 GMT-8 |