-
6d07adabf3
remove the convert override
kalmar
2017-06-08 19:51:04 +0200
-
0d45e885f9
remove old comments
kalmar
2017-06-08 16:49:24 +0200
-
acae7322aa
no more @showprogress
kalmar
2017-06-08 16:49:10 +0200
-
04b7622840
SOutFN_generating_set
kalmar
2017-06-08 16:48:22 +0200
-
aaba1a056a
decouple init_orbit_data from Group, S generation
kalmar
2017-06-08 16:47:50 +0200
-
c38dcb02ed
cosmetic (better message in throws)
kalmar
2017-06-07 19:30:40 +0200
-
49c9151a83
delta, not \Delta, again
kalmar
2017-06-07 11:07:37 +0200
-
8b694b6758
final check for the computed lambda and P
kalmar
2017-06-07 11:07:18 +0200
-
eee9b3b767
init_data returns, Group, S and the laplacian
kalmar
2017-06-07 11:06:54 +0200
-
95b06ccaf5
laplacian is stored as delta, not \Delta
kalmar
2017-06-07 11:06:08 +0200
-
6250ccb82e
missing "="
kalmar
2017-06-06 18:48:25 +0200
-
f3ec2df97d
logging inside OrbAutFN and OrbitDecomposition
kalmar
2017-06-06 18:48:15 +0200
-
8dc5577254
import Group, GroupElem
kalmar
2017-06-06 18:47:10 +0200
-
16cbd949be
move Orb_AutF4 to OrbAutFN
kalmar
2017-06-06 18:04:29 +0200
-
00c5af2708
rename name -> dirname
kalmar
2017-06-06 18:02:54 +0200
-
9d7c499a1d
initialise orbit decomposition if not present
kalmar
2017-06-06 18:02:33 +0200
-
8e7d273db2
create dirname from parsed N and radius
kalmar
2017-06-06 18:01:59 +0200
-
603ff57a45
parse radius from command line
kalmar
2017-06-06 18:00:23 +0200
-
7f65823c2d
parse N from command line
kalmar
2017-06-06 17:59:59 +0200
-
413383ad83
init_data = precompute orbit decomposition
kalmar
2017-06-06 17:54:44 +0200
-
bcdcb962da
include OrbitDecomposition
kalmar
2017-06-06 17:54:05 +0200
-
9692415674
accept parameter N
kalmar
2017-06-06 17:53:50 +0200
-
d078eb73b7
dims are stored alongside U\pis
kalmar
2017-06-06 17:53:33 +0200
-
5e04690722
externalise Group from compute_orbit_data
kalmar
2017-06-06 17:53:03 +0200
-
3059142db0
cleaning
kalmar
2017-06-06 16:23:36 +0200
-
39a6b39a2f
no need to save matrix_reps
kalmar
2017-06-06 16:23:22 +0200
-
58521b9c2f
remove "if file exists..."
kalmar
2017-06-06 16:22:50 +0200
-
222f0f40b5
add pm, Delta computation
kalmar
2017-06-06 16:22:05 +0200
-
e2198623d6
using PropertyT
kalmar
2017-06-06 16:20:44 +0200
-
070d7ec8f5
rename main to compute_orbit_data
kalmar
2017-06-06 16:20:20 +0200
-
45696aac34
move Cstar_repr
kalmar
2017-06-06 16:19:46 +0200
-
8c930a6f7f
move overwritten convert
kalmar
2017-06-06 16:19:17 +0200
-
ca2948404b
Solve the orbit decomposed problem
kalmar
2017-06-06 12:15:30 +0200
-
6a7b054b9f
code to decompose problem for AutFN into an orbit problem
kalmar
2017-06-06 12:15:06 +0200
-
d0b1f65cad
update gitignore
kalmar
2017-06-06 12:12:23 +0200
-
5311680a26
add WreathProducts
kalmar
2017-06-06 12:05:28 +0200
-
3050446a97
Add DirectProducts
kalmar
2017-06-06 12:05:14 +0200
-
c9434a646a
rework AutFN.jl (most functionality is in Groups module)
kalmar
2017-06-06 12:04:48 +0200
-
86b8127322
Update SL.jl to the newest GroupRings/PropertyT
kalmar
2017-06-06 12:03:58 +0200
-
dc9cd4c9ac
rework balls generation for AutFN
kalmar
2017-04-10 21:43:56 +0200
-
88d2e2549b
use version of products from PropertyT
kalmar
2017-04-10 21:43:15 +0200
-
b3bc17cba2
Add SOut generating set
kalmar
2017-04-10 20:02:17 +0200
-
c090f1d3c5
bring AutFN up to date with PropertyT
kalmar
2017-04-10 20:01:56 +0200
-
216a886488
slight tweaks
kalmar
2017-04-08 13:48:00 +0200
-
2c621947ef
fix for
9697bdc
(name was not set to variable)
kalmar
2017-04-01 12:14:25 +0200
-
-
-
508a2eaa93
report size of SL(n,p)
enh/radius
kalmar
2017-03-31 22:41:04 +0200
-
9697bdc71d
use radius parameter
kalmar
2017-03-31 22:40:31 +0200
-
-
4f37db5bde
update AutFN.jl to latest changes in PropertyT
kalmar
2017-03-27 22:43:58 +0200
-
05e9355c12
better default options
kalmar
2017-03-26 16:27:38 +0200
-
740ca78ac2
remove more cruft
kalmar
2017-03-26 16:16:26 +0200
-
c75f82c892
remove unused functions
enh/nemo-modular
kalmar
2017-03-26 16:09:09 +0200
-
e3cd93a5b2
More flexible S^n generation
kalmar
2017-03-26 16:08:49 +0200
-
a3091f7166
SL_generatingset returns also ID, no need for separate function
kalmar
2017-03-26 16:08:02 +0200
-
6570c99300
Using Nemo instead of Mods
kalmar
2017-03-26 16:06:41 +0200
-
4c55783a37
broadcast * for Mods
kalmar
2017-03-17 18:12:56 +0100
-
fb9e402912
Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT
kalmar
2017-03-17 18:10:21 +0100
-
-
3842a828a2
direct errors to separate file?
kalmar
2017-03-17 18:09:23 +0100
-
ddad244d0b
direct errors to separate file
kalmar
2017-03-17 17:32:05 +0100
-
-
51d29143b6
main returns 0
kalmar
2017-03-17 16:02:50 +0100
-
c2bd094dbf
name depends on p
kalmar
2017-03-17 16:02:34 +0100
-
2cb9af1549
include name of the group upper-bound
kalmar
2017-03-17 15:33:37 +0100
-
e7d7027c61
update the bound for SL(4,Z)
kalmar
2017-03-17 15:32:40 +0100
-
59c1ad0cdd
slightly better printing
kalmar
2017-03-17 15:32:19 +0100
-
556b9cbba5
fix: N -> n in ID(n,p)
kalmar
2017-03-17 15:31:50 +0100
-
72997b58d0
fix the determinan for finite fields
kalmar
2017-03-17 15:31:14 +0100
-
3ec3b553e8
use ArgParse for command line interface
enh/cmd_line_interface
kalmar
2017-03-16 18:13:55 +0100
-
969121e8f5
move SL3Z.jl to SL.jl
kalmar
2017-03-16 15:44:56 +0100
-
161aa6aac8
use PropertyT package
kalmar
2017-03-14 16:13:05 +0100
-
59e6e6d07f
add comment
kalmar
2017-03-13 20:38:07 +0100
-
44f91c31a4
adopt to new packages
kalmar
2017-03-13 20:37:53 +0100
-
c567a35d54
simplify header of SL3ZZ
kalmar
2017-03-13 20:35:35 +0100
-
209afb15c8
move Group Algebras to separate package
kalmar
2017-03-13 20:34:58 +0100
-
5629a39ddd
Tries on AutF4 with semidirect product
kalmar
2017-03-13 16:20:40 +0100
-
e1949b5aaf
add gitignore
kalmar
2017-03-13 16:19:41 +0100
-
884be48c38
Initial Commit
kalmar
2017-03-13 16:18:42 +0100