|
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 |
|
|
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 |
|
|
563c69db28
|
update SL_orbit.jl
|
2017-09-10 15:41:49 +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 |
|
|
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 |
|
|
578a75d807
|
Add action of permutation group on SLn
|
2017-06-09 22:03:35 +02:00 |
|
|
fa2b218449
|
simplify dirnames
|
2017-06-09 12:00:41 +02:00 |
|
|
17ce9ff2fc
|
better initial logging
|
2017-06-08 21:44:20 +02:00 |
|
|
8725772d67
|
produce symmetric generating sets for SL(n, )
|
2017-06-08 21:36:18 +02:00 |
|
|
1f2cadc5e4
|
names tweaking
|
2017-06-08 21:35:50 +02:00 |
|
|
2859602639
|
use Settings type to pass arguments
|
2017-06-08 21:35:27 +02:00 |
|
|
e868312a2a
|
Add SL_orbit.jl
|
2017-06-08 20:09:36 +02:00 |
|