|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
04e72bf17a
|
oh boy, we need a lot of work to make unique work...
|
2017-01-18 17:51:58 +01:00 |
|
|
|
c1bd866dd4
|
Cosmetics
|
2017-01-14 15:25:12 +01:00 |
|
|
|
b80e32f3a8
|
Parallel compute_SOS
|
2017-01-14 15:24:16 +01:00 |
|
|
|
ad6c0a2365
|
infos
|
2017-01-13 18:39:02 +01:00 |
|
|
|
deedcf707b
|
Use the norm function; shuffle returns of check_solution
|
2017-01-13 18:07:41 +01:00 |
|
|
|
bbd3027f95
|
early unique in basis generation
|
2017-01-13 18:05:29 +01:00 |
|
|
|
aa184ebb29
|
initialize product_matrix as zeros
|
2017-01-13 18:04:20 +01:00 |
|
|
|
a8bf216c7e
|
cosmetic
|
2017-01-13 18:03:08 +01:00 |
|
|
|
95618eb0f9
|
better use of findfirst in create_product_matrix
|
2017-01-13 18:02:34 +01:00 |
|
|
|
90ef2e2c8c
|
Abstract group-unspecific functions
|
2017-01-09 01:01:31 +01:00 |
|
|
|
53dec056e0
|
Rationalizing properly done
|
2017-01-09 00:59:40 +01:00 |
|
|
|
723957f415
|
Rename coordinates to coefficients
|
2016-12-23 00:51:06 +01:00 |
|
|
|
2476101af3
|
Revert "Move parametrising GroupAlgebraElements by the Vector-type"
This reverts commit 0d5a2c0bc5.
|
2016-12-22 22:12:52 +01:00 |
|
|
|
0d5a2c0bc5
|
Move parametrising GroupAlgebraElements by the Vector-type
|
2016-12-22 20:25:55 +01:00 |
|
|
|
8d1fbf0f62
|
A more performant version of SOS decomposition
|
2016-12-22 02:39:18 +01:00 |
|
|
|
668fd4e16a
|
GroupAlgebraElements are longer than SDP matrix
|
2016-12-21 23:45:58 +01:00 |
|
