|
|
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 |
|
