Marek Kaluba
27ce603872
import packages as ... instead of using
...
This includes:
* PermutationGroups as PG
* SymbolicWedderburn as SW
* StarAlgebras as SA
2024-02-15 22:42:17 +01:00
Marek Kaluba
b23975a627
update and fix versions for dependencies
...
i.e. PermutationGroups, GroupsCore, SymbolicWedderburn
2024-02-14 11:00:05 +01:00
Marek Kaluba
58f0ccb141
use IntervalMatrices
...
IntervalMatrices use Rump algorithm to matrix multiplication
This brings time to Qint'*Qint down to ~40s which is
5-8 × slower than Q'*Q (for size n=2^13).
The naive version is ~100 × slower than Q'*Q even for n = 2^10.
2023-04-06 13:17:52 +02:00
Marek Kaluba
a5f5a4ea35
lots of re-formatting
2023-03-20 01:37:18 +01:00
Marek Kaluba
1fb324b49a
update constraints to StarAlgebras-0.2
2023-03-20 01:36:40 +01:00
Marek Kaluba
2cc9444667
small fixes
2022-11-17 11:22:17 +01:00
Marek Kaluba
f053bffefe
rewrite reconstruct! with a better architecture
2022-11-15 19:36:39 +01:00
Marek Kaluba
35c5110a37
move solve to a separate file
2022-11-15 18:51:43 +01:00
Marek Kaluba
7907137fb5
define group_algebra
2022-11-07 18:44:42 +01:00
Marek Kaluba
633f065488
cleanup Project.toml and fix imports
2022-11-07 18:44:27 +01:00
Marek Kaluba
f00bfb7ca9
remove old laplacians.jl, 1712.* 1812.*
2022-11-07 16:29:26 +01:00
Marek Kaluba
0e5799862b
add action by alphabet permutation
2022-11-07 16:21:58 +01:00
Marek Kaluba
147211ea7a
add graded-by-root-system Adj
2022-11-07 16:17:41 +01:00
Marek Kaluba
4b8efd2a40
adjust sq, adj, op to the new world
2022-11-07 16:12:05 +01:00
Marek Kaluba
085f6bce3c
replace checksoltuion by certify
2022-11-07 16:01:35 +01:00
Marek Kaluba
ecea3dfbcb
add ConstraintMatrix
2022-11-07 15:45:18 +01:00
Marek Kaluba
bb0354d3a0
rewrite sos_spds.jl
...
This includes changes related to:
* SymbolicWedderburn
* new formulation of constraints
* general warmstart for JuMP-^1.3
2022-11-07 15:42:47 +01:00
Marek Kaluba
9511e34de4
replace BlockDecomposition by SymbolicWedderburn
2022-11-07 15:34:30 +01:00
kalmarek
1e14380942
rename OrbitData → BlockDecomposition
2020-10-17 11:39:19 +02:00
kalmarek
daa29f5223
update to latest AA, Groups, GroupRings
2020-04-19 21:36:24 +02:00
kalmarek
3712aadbf7
bump to 0.3.1
2019-11-18 14:15:34 +01:00
kalmarek
70bf9ad74c
perm → Generic.Perm
2019-10-30 23:58:10 +01:00
kalmarek
5e821286e5
define and use one(::Group)
2019-07-05 19:23:37 +02:00
kalmarek
e23b6a85dc
include sqadjop.jl from 1812.03456.jl file
2019-07-05 19:23:35 +02:00
kalmarek
88b460a959
use NCRing[Elem]s instead of MatSpace and use NCRing in Settings
2019-07-04 22:52:02 +02:00
kalmarek
6c906b05cb
add sqadjop.jl and unit tests
2019-06-30 13:19:24 +02:00
kalmarek
48c43b4c59
minimize imports
2019-01-14 17:46:36 +01:00
kalmarek
10d319f48b
fix: deprecations for julia-0.7/1.0
2019-01-11 06:32:09 +01:00
kalmarek
38d80e63ed
move application specific code to 1712.07167.jl
2019-01-08 04:59:23 +01:00
kalmarek
1432467d74
fix: CheckSolution.jl -> checksolution.jl
2018-09-16 18:19:39 +02:00
kalmarek
2def63c980
rework filename(...)
2018-09-16 18:01:04 +02:00
kalmarek
afe845e911
parametrize Settings over {Naive, Symmetrized}
2018-09-16 18:00:21 +02:00
kalmarek
592f0bf7a5
parametrize Settings by {Symmetric, Naive}
2018-09-09 13:21:33 +02:00
kalmarek
23449ed3c0
mv Laplacians, Projections and CheckSolution
...
to laplacians, RGprojections and checksolution
2018-09-09 11:50:26 +02:00
kalmarek
bb5ed331d3
redistribute content of OrbitDecomposition into new files
2018-09-09 11:37:11 +02:00
kalmarek
dedf342ba2
mv Orbit-wise, SDPs → orbitdata, sos_sdps; rm OrbitDecomposition
2018-09-09 11:35:13 +02:00
kalmarek
b0d39b33d4
fix uses and includes
2018-09-05 10:35:58 +02:00
kalmarek
613c12e157
move compute lambdaandP to its own section
2018-09-05 09:09:22 +02:00
kalmarek
504647223b
fix interpret_results
2018-09-05 09:07:05 +02:00
kalmarek
d73f041c3c
single definition o check_property_T
2018-09-05 09:06:00 +02:00
kalmarek
19e52909ac
move Laplacians to separate file
2018-09-05 08:58:46 +02:00
kalmarek
278a62da2f
move filename, etc to its section
2018-09-05 08:56:55 +02:00
kalmarek
c929b0f149
Move Settings to PropertyT.jl
2018-09-05 08:55:13 +02:00
kalmarek
45923d9597
indent
2018-08-20 03:52:16 +02:00
kalmarek
7f09e7c8b5
instead of recomputing Delta, just pass it
2018-08-20 03:51:51 +02:00
kalmarek
86e0ed373d
Id = G() or one(G) is solved
2018-08-20 03:50:56 +02:00
kalmarek
d2f6682a39
mv logging to solve_SDP function
2018-08-20 03:45:50 +02:00
kalmarek
b509f3686d
sparate logic and IO
...
IO is moved to the upper level
2018-08-20 03:44:24 +02:00
kalmarek
ebe9490465
rename: add load or compute prefixes to function names
...
to clarify their meaning
2018-08-20 03:42:57 +02:00
kalmarek
2ef67b5195
fix the G() <-> one(G) dispatch dillema
2018-08-20 03:35:34 +02:00
Marek Kaluba