|
|
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 |
|
|
|
f433ab8e6e
|
Final changes to incorporate full *-product matrix & constraints
|
2016-12-21 16:03:19 +01:00 |
|
|
|
5b3f944cd0
|
Move Generation of Laplacian to julia (for Linear Groups)
|
2016-12-21 16:02:03 +01:00 |
|
|
|
267abd9b9f
|
product_matrix and basis for linear groups (in julia)
|
2016-12-21 10:00:22 +01:00 |
|
|
|
39f0b86af2
|
Initial (working) code
|
2016-12-19 15:44:52 +01:00 |
|
