|
|
8e7d273db2
|
create dirname from parsed N and radius
|
2017-06-06 18:01:59 +02:00 |
|
|
|
603ff57a45
|
parse radius from command line
|
2017-06-06 18:00:23 +02:00 |
|
|
|
7f65823c2d
|
parse N from command line
|
2017-06-06 17:59:59 +02:00 |
|
|
|
413383ad83
|
init_data = precompute orbit decomposition
|
2017-06-06 17:54:44 +02:00 |
|
|
|
bcdcb962da
|
include OrbitDecomposition
|
2017-06-06 17:54:05 +02:00 |
|
|
|
9692415674
|
accept parameter N
|
2017-06-06 17:53:50 +02:00 |
|
|
|
d078eb73b7
|
dims are stored alongside U\pis
|
2017-06-06 17:53:33 +02:00 |
|
|
|
5e04690722
|
externalise Group from compute_orbit_data
|
2017-06-06 17:53:03 +02:00 |
|
|
|
3059142db0
|
cleaning
|
2017-06-06 16:23:36 +02:00 |
|
|
|
39a6b39a2f
|
no need to save matrix_reps
|
2017-06-06 16:23:22 +02:00 |
|
|
|
58521b9c2f
|
remove "if file exists..."
|
2017-06-06 16:22:50 +02:00 |
|
|
|
222f0f40b5
|
add pm, Delta computation
|
2017-06-06 16:22:05 +02:00 |
|
|
|
e2198623d6
|
using PropertyT
|
2017-06-06 16:20:44 +02:00 |
|
|
|
070d7ec8f5
|
rename main to compute_orbit_data
|
2017-06-06 16:20:20 +02:00 |
|
|
|
45696aac34
|
move Cstar_repr
|
2017-06-06 16:19:46 +02:00 |
|
|
|
8c930a6f7f
|
move overwritten convert
|
2017-06-06 16:19:17 +02:00 |
|
|
|
ca2948404b
|
Solve the orbit decomposed problem
|
2017-06-06 12:15:30 +02:00 |
|
|
|
6a7b054b9f
|
code to decompose problem for AutFN into an orbit problem
|
2017-06-06 12:15:06 +02:00 |
|
|
|
d0b1f65cad
|
update gitignore
|
2017-06-06 12:12:23 +02:00 |
|
|
|
5311680a26
|
add WreathProducts
|
2017-06-06 12:05:28 +02:00 |
|
|
|
3050446a97
|
Add DirectProducts
|
2017-06-06 12:05:14 +02:00 |
|
|
|
c9434a646a
|
rework AutFN.jl (most functionality is in Groups module)
|
2017-06-06 12:04:48 +02:00 |
|
|
|
86b8127322
|
Update SL.jl to the newest GroupRings/PropertyT
|
2017-06-06 12:03:58 +02:00 |
|
|
|
dc9cd4c9ac
|
rework balls generation for AutFN
|
2017-04-10 21:43:56 +02:00 |
|
|
|
88d2e2549b
|
use version of products from PropertyT
|
2017-04-10 21:43:15 +02:00 |
|
|
|
b3bc17cba2
|
Add SOut generating set
|
2017-04-10 20:02:17 +02:00 |
|
|
|
c090f1d3c5
|
bring AutFN up to date with PropertyT
|
2017-04-10 20:01:56 +02:00 |
|
|
|
216a886488
|
slight tweaks
|
2017-04-08 13:48:00 +02:00 |
|
|
|
2c621947ef
|
fix for 9697bdc (name was not set to variable)
|
2017-04-01 12:14:25 +02:00 |
|
|
|
508a2eaa93
|
report size of SL(n,p)
|
2017-03-31 22:41:04 +02:00 |
|
|
|
9697bdc71d
|
use radius parameter
|
2017-03-31 22:40:31 +02:00 |
|
|
|
4f37db5bde
|
update AutFN.jl to latest changes in PropertyT
|
2017-03-27 22:43:58 +02:00 |
|
|
|
05e9355c12
|
better default options
|
2017-03-26 16:27:38 +02:00 |
|
|
|
740ca78ac2
|
remove more cruft
|
2017-03-26 16:16:26 +02:00 |
|
|
|
c75f82c892
|
remove unused functions
|
2017-03-26 16:09:09 +02:00 |
|
|
|
e3cd93a5b2
|
More flexible S^n generation
|
2017-03-26 16:08:49 +02:00 |
|
|
|
a3091f7166
|
SL_generatingset returns also ID, no need for separate function
|
2017-03-26 16:08:02 +02:00 |
|
|
|
6570c99300
|
Using Nemo instead of Mods
much faster for finite fields; a bit slower for Z
|
2017-03-26 16:06:41 +02:00 |
|
|
|
4c55783a37
|
broadcast * for Mods
|
2017-03-17 18:12:56 +01:00 |
|
|
|
fb9e402912
|
Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT
|
2017-03-17 18:10:21 +01:00 |
|
|
|
3842a828a2
|
direct errors to separate file?
|
2017-03-17 18:09:23 +01:00 |
|
|
|
ddad244d0b
|
direct errors to separate file
|
2017-03-17 17:32:05 +01:00 |
|
|
|
51d29143b6
|
main returns 0
|
2017-03-17 16:02:50 +01:00 |
|
|
|
c2bd094dbf
|
name depends on p
|
2017-03-17 16:02:34 +01:00 |
|
|
|
2cb9af1549
|
include name of the group upper-bound
|
2017-03-17 15:33:37 +01:00 |
|
|
|
e7d7027c61
|
update the bound for SL(4,Z)
|
2017-03-17 15:32:40 +01:00 |
|
|
|
59c1ad0cdd
|
slightly better printing
|
2017-03-17 15:32:19 +01:00 |
|
|
|
556b9cbba5
|
fix: N -> n in ID(n,p)
|
2017-03-17 15:31:50 +01:00 |
|
|
|
72997b58d0
|
fix the determinan for finite fields
|
2017-03-17 15:31:14 +01:00 |
|
|
|
3ec3b553e8
|
use ArgParse for command line interface
|
2017-03-16 18:13:55 +01:00 |
|
