|
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 |
|
|
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 |
|
|
82da35efdd
|
unify AutFN and AutFN_orbit
|
2017-09-10 17:08:20 +02:00 |
|
|
ab02448238
|
rename generators -> gens
|
2017-07-06 17:36:52 +02:00 |
|
|
c6a56fcadb
|
integrate with new PropertyT.jl
|
2017-06-22 15:18:26 +02:00 |
|
|
1aba4efa21
|
SCS.Direct solver is faster for those problems
|
2017-06-09 22:07:00 +02:00 |
|
|
692a51c53e
|
dirname finally
|
2017-06-09 22:05:55 +02:00 |
|
|
6ac2f02fba
|
fix: SOutFN requires only N
|
2017-06-09 22:02:48 +02:00 |
|
|
7e159f9d3d
|
add action of permutation group on AutFN
|
2017-06-09 22:02:21 +02:00 |
|
|
17ce9ff2fc
|
better initial logging
|
2017-06-08 21:44:20 +02:00 |
|
|
2859602639
|
use Settings type to pass arguments
|
2017-06-08 21:35:27 +02:00 |
|
|
67b4bf8551
|
add AutFN_orbit.jl
|
2017-06-08 20:09:27 +02:00 |
|