Commit Graph

30 Commits

Author SHA1 Message Date
kalmar 508a2eaa93 report size of SL(n,p) 2017-03-31 22:41:04 +02:00
kalmar 9697bdc71d use radius parameter 2017-03-31 22:40:31 +02:00
kalmar 4f37db5bde update AutFN.jl to latest changes in PropertyT 2017-03-27 22:43:58 +02:00
kalmar 05e9355c12 better default options 2017-03-26 16:27:38 +02:00
kalmar 740ca78ac2 remove more cruft 2017-03-26 16:16:26 +02:00
kalmar c75f82c892 remove unused functions 2017-03-26 16:09:09 +02:00
kalmar e3cd93a5b2 More flexible S^n generation 2017-03-26 16:08:49 +02:00
kalmar a3091f7166 SL_generatingset returns also ID, no need for separate function 2017-03-26 16:08:02 +02:00
kalmar 6570c99300 Using Nemo instead of Mods
much faster for finite fields; a bit slower for Z
2017-03-26 16:06:41 +02:00
kalmar 4c55783a37 broadcast * for Mods 2017-03-17 18:12:56 +01:00
kalmar fb9e402912 Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT 2017-03-17 18:10:21 +01:00
kalmar 3842a828a2 direct errors to separate file? 2017-03-17 18:09:23 +01:00
kalmar ddad244d0b direct errors to separate file 2017-03-17 17:32:05 +01:00
kalmar 51d29143b6 main returns 0 2017-03-17 16:02:50 +01:00
kalmar c2bd094dbf name depends on p 2017-03-17 16:02:34 +01:00
kalmar 2cb9af1549 include name of the group upper-bound 2017-03-17 15:33:37 +01:00
kalmar e7d7027c61 update the bound for SL(4,Z) 2017-03-17 15:32:40 +01:00
kalmar 59c1ad0cdd slightly better printing 2017-03-17 15:32:19 +01:00
kalmar 556b9cbba5 fix: N -> n in ID(n,p) 2017-03-17 15:31:50 +01:00
kalmar 72997b58d0 fix the determinan for finite fields 2017-03-17 15:31:14 +01:00
kalmar 3ec3b553e8 use ArgParse for command line interface 2017-03-16 18:13:55 +01:00
kalmar 969121e8f5 move SL3Z.jl to SL.jl 2017-03-16 15:44:56 +01:00
kalmar 161aa6aac8 use PropertyT package 2017-03-14 16:13:05 +01:00
kalmar 59e6e6d07f add comment 2017-03-13 20:38:07 +01:00
kalmar 44f91c31a4 adopt to new packages 2017-03-13 20:37:53 +01:00
kalmar c567a35d54 simplify header of SL3ZZ 2017-03-13 20:35:35 +01:00
kalmar 209afb15c8 move Group Algebras to separate package 2017-03-13 20:34:58 +01:00
kalmar 5629a39ddd Tries on AutF4 with semidirect product 2017-03-13 16:20:40 +01:00
kalmar e1949b5aaf add gitignore 2017-03-13 16:19:41 +01:00
kalmar 884be48c38 Initial Commit 2017-03-13 16:18:42 +01:00