Commit Graph

171 Commits

Author SHA1 Message Date
5fb72bb8e8 add CSDP and SDPA as alternative solvers 2017-11-16 20:02:19 +01:00
09eeffcc8b add autS(N::Int) for ease of use 2017-11-08 11:55:34 +01:00
bdd88eec76 fix typo 2017-11-06 14:49:59 +01:00
8ce81d2370 move "if VERSION" imports to group specific files 2017-11-06 14:25:54 +01:00
2dd747a748 move cpu/multithreading selection to CPUselect.jl 2017-11-06 14:24:50 +01:00
d7c8b45090 main() entry to PropertyT 2017-11-06 02:01:55 +01:00
f4b0f4aa1d Move groptheoretic stuff to SLN.jl 2017-11-06 01:58:50 +01:00
25fef54e7d Move grouptheoretic stuff to AutFNs module 2017-11-06 01:58:16 +01:00
1bbeca08f4 info on threadcount and workers 2017-11-05 21:25:30 +01:00
b5cd481e61 unify iterations default (to 60k) 2017-11-05 20:43:35 +01:00
eb88f40ad0 @parallel compute_SOS in PropertyT is done memory efficiently 2017-11-05 20:42:31 +01:00
931189667d add commented-out Mosek solver 2017-11-03 16:37:45 +01:00
096bc5c1c2 ignore all orbit results 2017-10-09 20:35:37 +02:00
19f62c0b3e Changes to accomodate for directory split in PropertyT 2017-10-09 19:32:45 +02:00
84869c14fc add 2 procs to speed-up checking 2017-10-04 21:33:20 +02:00
330319abbc Rename Out -> Aut 2017-10-04 21:32:23 +02:00
106abbe5c1 workaround for Nemo-v0.6.3+: perm is no longer a type, it's a function 2017-10-04 21:31:53 +02:00
66a38d89aa unresolved merge?? 2017-09-10 17:37:56 +02:00
e761806701 Groups.jl were not used in 1703.09680v1 2017-09-10 17:23:17 +02:00
1bbee23758 Merge branch 'master' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT 2017-09-10 17:11:50 +02:00
a29937ad10 Merge branch 'master' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT
# Conflicts:
#	AutFN_orbit.jl
2017-09-10 17:10:10 +02:00
0d2a02982c Revert "fix: G() instead of one(G)"
This reverts commit fa3fffa202.
2017-09-10 17:09:20 +02:00
82da35efdd unify AutFN and AutFN_orbit 2017-09-10 17:08:20 +02:00
ec4941823f unify AutFN and AutFN_orbit 2017-09-10 16:20:36 +02:00
fa3fffa202 fix: G() instead of one(G) 2017-09-10 16:20:12 +02:00
563c69db28 update SL_orbit.jl 2017-09-10 15:41:49 +02:00
8a022c03e0 update SL.jl 2017-09-10 15:41:31 +02:00
a28df98741 Merge branch 'master' of git.wmi.amu.edu.pl:kalmar/GroupsWithPropertyT 2017-09-10 15:40:00 +02:00
08f36ad3ff Add README 2017-09-10 15:38:23 +02:00
b6633e51b2 Add README 2017-09-10 15:10:55 +02:00
ee11e32030 fix undefined variable
default value is one(M.base_ring)
2017-09-10 14:32:44 +02:00
67523717b5 change the defaults to more sane values: tol=1e-14, iterations=200000 2017-08-08 19:16:45 +02:00
e78b8dbefd act by perm on a MatElem by native column/row operations 2017-08-07 19:11:57 +02:00
aa2d0083d3 add -X flag for computations over SL(3,Z[X]) 2017-08-01 15:07:05 +02:00
85841c9399 remove SemiDirectProduct.jl 2017-07-24 21:42:07 +02:00
ab02448238 rename generators -> gens 2017-07-06 17:36:52 +02:00
77c3ba1c61 remove DirectProducts and WreathProducts
These are part of the Groups.jl package
2017-06-22 15:19:08 +02:00
c6a56fcadb integrate with new PropertyT.jl 2017-06-22 15:18:26 +02:00
9d33d28bd6 remove old AutF4.jl 2017-06-22 15:17:36 +02:00
5fa9c26475 moved orbit-related stuff to PropertyT package 2017-06-22 15:17:12 +02:00
d4661d762a one liner for Id. TODO: fix by multiple dispatch 2017-06-22 13:36:15 +02:00
dbc74b212e better printing 2017-06-22 13:35:22 +02:00
b6cf402260 move reconstruct to OrbitDecomposition.jl
also: AutS_mreps becomes a dictionary
2017-06-22 13:34:29 +02:00
ee08c52305 move sqrtm out och check_distance_to_positive_cone 2017-06-22 12:04:24 +02:00
9c3a1d56c7 correct reconstruction of the original solution 2017-06-22 12:03:36 +02:00
f2ffc142f7 move include after type definitions 2017-06-22 12:01:17 +02:00
1468ac209c Group -> Nemo.Group for easier include 2017-06-21 16:51:21 +02:00
1a5a391f60 better printing 2017-06-21 16:50:02 +02:00
05ee9989b3 alternative (commented) problem formulation
orbit variables, but non-orbit constraints;
closer in iterations/s to the original;
much faster convergence;
2017-06-21 16:49:30 +02:00
3d99c0aff9 rename cnstrs -> constraints 2017-06-21 16:46:49 +02:00