Commit Graph

172 Commits

Author SHA1 Message Date
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
969121e8f5 move SL3Z.jl to SL.jl 2017-03-16 15:44:56 +01:00
161aa6aac8 use PropertyT package 2017-03-14 16:13:05 +01:00
59e6e6d07f add comment 2017-03-13 20:38:07 +01:00
44f91c31a4 adopt to new packages 2017-03-13 20:37:53 +01:00
c567a35d54 simplify header of SL3ZZ 2017-03-13 20:35:35 +01:00
209afb15c8 move Group Algebras to separate package 2017-03-13 20:34:58 +01:00
5629a39ddd Tries on AutF4 with semidirect product 2017-03-13 16:20:40 +01:00
e1949b5aaf add gitignore 2017-03-13 16:19:41 +01:00
884be48c38 Initial Commit 2017-03-13 16:18:42 +01:00