Commit Graph

231 Commits

Author SHA1 Message Date
kalmarek 707efaca3a move the information on solvers 2018-08-20 02:55:19 +02:00
kalmarek 57e9e3c404 use external logging 2018-08-20 02:54:50 +02:00
kalmarek 000069961b fix SCSSolver params to the most stable ones 2018-08-18 23:25:47 +02:00
kalmarek ab49755863 add tests! 2018-08-18 23:25:20 +02:00
kalmarek b5b9917536 add generatingset(::MatSpace,...) 2018-08-18 23:24:57 +02:00
kalmarek 95066b9c56 fix the action of WreathProdElem on MatElem
mul! is not correct for NmodRing??
2018-08-18 23:23:52 +02:00
kalmarek 42f915b91d fix use of Nemo's FiniteField 2018-08-15 17:20:25 +02:00
kalmarek 1e54e25672 pass the right Id element for rings 2018-08-15 17:20:02 +02:00
kalmarek 45d8d85189 add perm action from the right (by inverse) on MatElems 2018-08-15 17:19:37 +02:00
kalmarek 7257c02820 rename SymmetricGroup → SymmetrizedGroup 2018-08-15 17:19:28 +02:00
kalmarek 2c7bd86418 Merge branch 'fix/new_type_system' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT into fix/new_type_system 2018-08-08 19:43:12 +02:00
kalmarek 97f64fdee3 small fixes to GAPGroups 2018-08-08 19:38:22 +02:00
kalmarek 87658ea46e separate solver selection 2018-08-08 19:37:57 +02:00
kalmarek 3d59ecc874 update FPgroup.jl to PropertyTGroup interface 2018-08-08 19:37:28 +02:00
kalmarek 16bc76e950 update FPgroup.jl to PropertyTGroup interface 2018-08-08 00:37:08 +02:00
kalmarek 5ea5093f42 remove main_gapgroup.jl 2018-08-08 00:30:06 +02:00
kalmarek 7f4824492c initial adjust of GAPGroups files 2018-08-08 00:29:22 +02:00
kalmarek 02825a8ec0 dispatch main on SymmetricGroup, GAPGroup 2018-08-08 00:28:15 +02:00
kalmarek 34066a7128 global usings 2018-08-08 00:26:39 +02:00
kalmarek 52b0e598c6 use Allgroups.jl, separate params and summarize functions 2018-08-08 00:26:15 +02:00
kalmarek fd29784a00 more efficient actions of autS 2018-08-08 00:24:17 +02:00
kalmarek 1d82aeed8d implement the SymmetricGroup interface for SLn and AutFn 2018-08-08 00:21:13 +02:00
kalmarek 7dc95cf93a add PropertyTGroup, SymmetricGroup, GAPGroup hierarchy 2018-08-08 00:17:44 +02:00
kalmarek 788da99d82 separate set_parallel_mthread(N::Int, workers::Bool) 2018-08-08 00:16:05 +02:00
kalmarek 6f0f1d5cc6 mv MCGn.jl to FPgroup.jl 2018-07-31 16:55:36 +02:00
kalmarek 3859a26c22 generalize MCG to all FP GAP groups 2018-07-31 16:54:35 +02:00
kalmarek b5cf3946a2 move MCG.jl to MCGn.jl 2018-07-31 16:44:41 +02:00
kalmarek 8a2d6086cb use AbstractAlgebra in mcg 2018-07-31 15:52:16 +02:00
kalmarek 0d2f15c887 remove the unused Orbit.jl 2018-07-31 15:51:20 +02:00
kalmarek 80f181da11 make ignores more specific 2018-07-31 12:43:45 +02:00
kalmarek b23a98d23e update to AbstractAlgebra 2018-07-31 12:42:58 +02:00
kalmarek df940c8c07 rework starting scripts 2018-07-31 12:41:48 +02:00
kalmarek 6acdff2b70 increase O.maxstates to 1000*$maxeqns 2018-03-22 11:41:35 +01:00
kalmarek ed12d87b7a Add tools to compute in mapping class groups 2018-03-22 11:09:03 +01:00
kalmarek e0d3cb607b standardise usage of GROUP modules 2018-03-22 11:07:52 +01:00
kalmarek 10cbd4c6f3 use CPUselect.jl 2018-03-22 11:05:36 +01:00
kalmarek 4c26db6ee8 standardise interface and fix comments 2018-03-22 11:03:11 +01:00
kalmarek 98b2417ae1 move specific group-related code to groups/... 2018-03-22 10:59:27 +01:00
kalmarek a75ee1f645 use --warmstart option 2018-01-07 16:12:51 +01:00
kalmarek 2ae11d9f33 indentation and cosmetics 2018-01-04 22:09:53 +01:00
kalmarek 76ff889366 update for enh/rework-logging of PropertyT 2018-01-04 22:09:13 +01:00
kalmarek cb16c78690 rewrite 2018-01-04 22:08:32 +01:00
kalmarek 9cc5bcfc00 rename parsed_args 2018-01-04 10:50:26 +01:00
kalmarek 961f04b964 integrate with SLNs.jl 2018-01-04 10:49:49 +01:00
kalmarek 98df554624 add leading "o" to groupname in Orbit.jl 2018-01-04 10:48:54 +01:00
kalmarek 476d532d93 use CPUSelect 2018-01-04 10:47:00 +01:00
kalmarek 122ebe92bf save GAP output to GAP.log 2018-01-04 10:46:40 +01:00
kalmarek 86cadd0440 set alpha=1.95, acceleration_lookback=1 for numerical stability 2017-12-30 00:26:36 +01:00
kalmarek 403d7f7921 add MCG code 2017-12-29 17:45:09 +01:00
kalmarek 72f8a9d02c set warmstart to false by default 2017-12-28 19:01:48 +01:00