|
|
22750b0be5
|
Remove results for SL3Z
|
2017-03-13 14:46:14 +01:00 |
|
|
|
6562dbd219
|
reset BLAS num threads to 4 (addprocs sets to 1)
|
2017-03-13 11:48:12 +01:00 |
|
|
|
21062f2461
|
Code for SL(n,p)
|
2017-03-13 11:47:16 +01:00 |
|
|
|
26777eefdf
|
code for SL(3,Z)
|
2017-03-13 11:47:00 +01:00 |
|
|
|
cb3b4b6b49
|
Includes & uses
|
2017-03-13 11:46:25 +01:00 |
|
|
|
6eaadc84d5
|
Don't use ProgressMeter
|
2017-03-13 11:45:59 +01:00 |
|
|
|
3118c8b4fe
|
And function to create generating set and products
|
2017-03-13 11:45:23 +01:00 |
|
|
|
9641f72b05
|
In the new api we need just DeltaandSDPconstraints function
|
2017-03-13 11:44:38 +01:00 |
|
|
|
b0f273ce45
|
remove old functions
|
2017-03-13 11:43:25 +01:00 |
|
|
|
62ba245c89
|
remove old exact checks (rational)
|
2017-03-13 11:36:14 +01:00 |
|
|
|
858b79ccc1
|
Add 2^3 of |b| (to be on the safe side)
|
2017-03-13 11:35:18 +01:00 |
|
|
|
0588eedd7f
|
Using ValidatedNumerics (Interval Arithmetic)
|
2017-03-13 11:33:40 +01:00 |
|
|
|
a1d1c1ca4f
|
Using common interface in check_property_T
|
2017-03-13 11:30:05 +01:00 |
|
|
|
9341355cd5
|
common interface for groups: pm&Delta, kappa&A, filenames
|
2017-03-13 11:27:24 +01:00 |
|
|
|
f373be8a5b
|
replace parallel by Progress meter
|
2017-03-13 11:24:43 +01:00 |
|
|
|
a828ab4254
|
shuffling of @show and 'verbose'
|
2017-03-13 11:23:52 +01:00 |
|
|
|
261e4395f5
|
allow upper bound for kappa to boost accuracy of A
|
2017-03-13 11:22:51 +01:00 |
|
|
|
26f4900e82
|
Constraint sum of A to minimize |b|_1
|
2017-03-13 11:21:53 +01:00 |
|
|
|
913962d9e6
|
simpler @SDconstraint
|
2017-03-13 11:21:08 +01:00 |
|
|
|
0ff1ddd985
|
resolve type instability in splaplacian
|
2017-03-13 11:20:24 +01:00 |
|
|
|
fd1eb40e29
|
store basis in hashtable while creating product matrix
|
2017-03-13 11:19:40 +01:00 |
|
|
|
af87477068
|
remove products from main file
|
2017-03-13 11:16:07 +01:00 |
|
|
|
9b8c3722b3
|
Allow generation of SL(n,p) (matrices over Z/p)
|
2017-03-13 11:11:09 +01:00 |
|
|
|
48645a7b5c
|
Slightly faster algebra multiplication
|
2017-03-13 10:28:49 +01:00 |
|
|
|
a696205d6e
|
square_as_elt is defined @everywhere;
No need to include the whole property(T).jl @everywhere;
this usually takes a lot of time
|
2017-03-06 12:02:10 +01:00 |
|
|
|
2d90e2bf7c
|
Threaded product_matrix generation (??)
|
2017-03-06 11:57:42 +01:00 |
|
|
|
b9fe32823d
|
check_solution assumes that g≠g^-1 for all g in S
|
2017-03-06 11:57:10 +01:00 |
|
|
|
c6f3d15ef4
|
check_solution reports actual lower bound for kappa
|
2017-03-06 11:55:40 +01:00 |
|
|
|
b7cb142672
|
JuMP: add sum(A)==0 and bound kappa from above
A trick to force solver to better accuracy
|
2017-03-06 11:53:25 +01:00 |
|
|
|
ae1d1d3645
|
move SL(3,Z).jl → SL3Z.jl
|
2017-02-26 13:54:01 +01:00 |
|
|
|
068bfaf29f
|
cosmetics
|
2017-02-26 13:51:20 +01:00 |
|
|
|
35f669595d
|
non :Optimal solution is worth a warning, not error
|
2017-02-26 13:48:31 +01:00 |
|
|
|
f89dd7641c
|
update SL(3,Z) to recent interface
|
2017-02-26 13:47:26 +01:00 |
|
|
|
b0678e0482
|
remove addprocs, rmporcs -- better to call julia -pN
|
2017-02-11 13:53:16 +01:00 |
|
|
|
a40945380a
|
cosmetics
|
2017-02-11 13:52:32 +01:00 |
|
|
|
9612dd7b66
|
meat: compute distance to positive cone
|
2017-02-11 13:48:10 +01:00 |
|
|
|
bebf5dad75
|
pretty rationalize
|
2017-02-11 13:46:22 +01:00 |
|
|
|
aedec8d564
|
func to check solution for particular k, A_sqrt, Delta
|
2017-02-11 13:45:56 +01:00 |
|
|
|
604aa3a6b5
|
cosmetic changes in compute_SOS
|
2017-02-11 13:44:51 +01:00 |
|
|
|
a060b4ed8b
|
remove @everywhere as it is exported twice (producing warnings)
|
2017-02-11 13:43:18 +01:00 |
|
|
|
380b6acf93
|
rework solve_SDP function
|
2017-02-11 13:41:03 +01:00 |
|
|
|
6247f97a56
|
use JuMP explicitly in model generation
|
2017-02-11 13:38:02 +01:00 |
|
|
|
d10e4ca792
|
no need to compute squares in lapacian
|
2017-02-11 13:36:43 +01:00 |
|
|
|
f9f96acb9a
|
make the laplacian generation code more generic
|
2017-02-11 13:34:28 +01:00 |
|
|
|
7f707e60a0
|
generic create_product_matrix function
|
2017-02-11 13:33:35 +01:00 |
|
|
|
9c10c2da76
|
remove old "read GAP output" function
|
2017-02-11 13:32:26 +01:00 |
|
|
|
48b5878339
|
remove SL3Z-specific functions
|
2017-02-11 13:31:53 +01:00 |
|
|
|
c60679874d
|
slight revision of products
|
2017-02-11 13:31:01 +01:00 |
|
|
|
7cc456770d
|
create constraints from pm not the other way round
|
2017-02-11 13:30:17 +01:00 |
|
|
|
c5de9c206f
|
total rewrite with the aim of modularisation
|
2017-02-11 13:28:26 +01:00 |
|
