mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-25 16:50:27 +01:00
Commit Graph
-
1fcca1bfde
#15
2024-02-27 17:17:29 +0000 -
a596fd78f5
#15
mk/pra_group
2024-02-27 18:14:59 +0100 -
2aaa999bc8
2024-02-27 18:13:10 +0100 -
359e317fd9
2024-02-27 18:12:31 +0100 -
a10132e441
master
2024-02-20 10:16:02 +0100 -
083e1b4735
#14
mk/update_PermutationGroups_etal
2024-02-19 18:48:28 +0100 -
0f3e4311b3
2024-02-19 18:47:29 +0100 -
7ba02ea21b
2024-02-19 18:46:48 +0100 -
c00a0c15ae
2024-02-19 18:45:12 +0100 -
01ae87b4da
2024-02-19 18:45:02 +0100 -
f584df4c8d
2024-02-19 18:43:17 +0100 -
526def226e
2024-02-19 18:42:42 +0100 -
3b9c75604c
2024-02-19 18:39:01 +0100 -
c7491f37f9
2024-02-19 18:20:35 +0100 -
d3873e1b3a
2024-02-18 17:57:28 +0100 -
cb6c97a28d
#12
2024-02-18 17:56:25 +0100 -
cd90e072c4
#13
2024-02-16 12:09:11 +0100 -
83fdd313c6
2024-02-15 22:48:14 +0100 -
92a19f8566
2024-02-15 22:47:55 +0100 -
681d93ce58
2024-02-15 22:46:52 +0100 -
3a954cdfbd
2024-02-15 22:45:55 +0100 -
d3975790f2
2024-02-15 22:45:21 +0100 -
c9f68eee8f
2024-02-15 22:44:23 +0100 -
27ce603872
2024-02-15 22:42:17 +0100 -
b23975a627
2024-02-14 10:53:10 +0100 -
b01e26104e
mk/orbit_basis
2024-02-06 13:34:10 +0100 -
acb6b08ba9
2024-02-06 13:33:21 +0100 -
826de34807
2024-02-06 13:32:00 +0100 -
589b30812f
2024-02-06 13:31:43 +0100 -
3f11b2df9a
2024-02-06 13:30:06 +0100 -
49b4c6f510
2023-10-06 16:23:11 +0200 -
9434f5999d
2023-10-06 14:20:34 +0200 -
5f54ecb515
2023-10-06 14:16:49 +0200 -
759d4c9ed7
2023-10-06 14:15:16 +0200 -
7791fbdc42
2023-10-06 14:11:59 +0200 -
f4936dd50a
2023-05-30 16:35:55 +0200 -
a05a0798ec
#12
mk/tests_chevalley
2023-05-22 22:46:22 +0200 -
66f10612de
2023-05-22 22:40:32 +0200 -
d1a58d3890
2023-05-22 22:39:20 +0200 -
cd7901b455
2023-05-10 15:20:07 +0200 -
902be093db
2023-05-09 12:39:34 +0200 -
0908c8ea1c
2023-05-09 12:37:56 +0200 -
d40a0fe117
#11
enh/G₂_here_we_come
2023-05-09 01:02:39 +0200 -
34e19768d4
2023-05-08 17:49:32 +0200 -
ed832d69fb
2023-04-13 01:00:22 +0200 -
9afbccda15
2023-04-11 10:32:24 +0200 -
263af398eb
2023-04-11 10:31:54 +0200 -
56aed88416
2023-04-06 16:16:27 +0200 -
58f0ccb141
2023-04-06 13:17:52 +0200 -
17274f895f
2023-04-06 11:40:49 +0200 -
f0986982ce
2023-04-06 11:39:54 +0200 -
005ffc29cb
2023-04-05 17:50:12 +0200 -
5b4a7f6804
2023-04-04 23:50:48 +0200 -
150b5c2cba
2023-04-04 23:48:59 +0200 -
3f2be20152
2023-04-04 23:15:40 +0200 -
132802feeb
2023-04-04 23:14:56 +0200 -
1a43a1b1be
2023-04-04 19:58:51 +0200 -
f9f852439f
2023-03-20 02:29:19 +0100 -
15286c0c4a
2023-03-20 01:42:41 +0100 -
a14c6d2669
2023-03-20 01:40:59 +0100 -
92d4ba0c20
2023-03-20 01:40:40 +0100 -
914b068070
2023-03-19 23:28:36 +0100 -
fb3b51fd6e
2023-03-19 23:26:44 +0100 -
bacd170504
2023-03-19 20:39:43 +0100 -
a5f5a4ea35
2023-03-19 20:33:28 +0100 -
a1de0ecc85
2023-03-19 20:37:46 +0100 -
b5fa1ac0ef
2023-03-19 20:36:02 +0100 -
1fb324b49a
2023-03-19 20:26:42 +0100 -
4e43811ea3
2023-03-17 15:53:36 +0100 -
0127d05594
2022-12-02 14:21:24 +0100 -
2cc9444667
#10
2022-11-17 11:22:17 +0100 -
5349c21034
2022-11-17 02:50:48 +0100 -
18f681b12b
2022-11-16 00:16:01 +0100 -
d1d46d13ef
2022-11-16 00:14:06 +0100 -
b92f12107f
2022-11-15 18:53:19 +0100 -
f053bffefe
2022-11-15 18:53:03 +0100 -
35c5110a37
2022-11-15 18:51:43 +0100 -
ca6a17acca
2022-11-15 00:27:09 +0100 -
fca7733280
2022-11-14 19:51:38 +0100 -
e6bd862e7a
2022-11-14 19:50:50 +0100 -
703e69fc62
2022-11-14 19:50:27 +0100 -
971e07b819
2022-11-14 19:50:09 +0100 -
2f89538eb0
2022-11-14 19:47:38 +0100 -
227e82d551
2022-11-14 19:45:41 +0100 -
65286e09d2
2022-11-13 14:27:58 +0100 -
aa9ccb882a
2022-11-10 19:39:06 +0100 -
560476b4b3
2022-11-10 19:38:20 +0100 -
1072cc7074
2022-11-08 23:01:07 +0100 -
697cecb286
2022-11-08 22:59:54 +0100 -
2b20a5bb34
2022-11-08 16:09:03 +0100 -
ccffa9e7cf
#9
2022-11-08 12:00:55 +0100 -
fee9c38537
2022-11-08 12:00:20 +0100 -
4e93e78a9b
2022-11-08 11:49:04 +0100 -
b2b08e68c1
2022-11-08 10:02:21 +0100 -
518c661dc8
2022-11-08 10:01:31 +0100 -
903c1683ff
2022-11-08 09:59:26 +0100 -
6e9cc8e0f6
2022-11-08 09:59:07 +0100 -
abf2d014cc
2022-11-07 18:48:26 +0100 -
a080ae74c3
2022-11-07 18:45:12 +0100 -
7907137fb5
2022-11-07 18:44:42 +0100