-
633f065488
cleanup Project.toml and fix imports
Marek Kaluba
2022-11-07 17:01:06 +0100
-
f00bfb7ca9
remove old laplacians.jl, 1712.* 1812.*
Marek Kaluba
2022-11-07 16:29:26 +0100
-
0e5799862b
add action by alphabet permutation
Marek Kaluba
2022-11-07 16:21:58 +0100
-
147211ea7a
add graded-by-root-system Adj
Marek Kaluba
2022-11-07 16:13:39 +0100
-
4b8efd2a40
adjust sq, adj, op to the new world
Marek Kaluba
2022-11-07 16:09:02 +0100
-
085f6bce3c
replace checksoltuion by certify
Marek Kaluba
2022-11-07 16:01:35 +0100
-
ecea3dfbcb
add ConstraintMatrix
Marek Kaluba
2022-11-07 15:45:18 +0100
-
bb0354d3a0
rewrite sos_spds.jl
Marek Kaluba
2022-11-07 15:42:10 +0100
-
9511e34de4
replace BlockDecomposition by SymbolicWedderburn
Marek Kaluba
2022-11-07 15:34:30 +0100
-
db04430105
Merge pull request #8 from kalmarek/enh/update_deps
Marek Kaluba
2021-02-21 23:16:02 +0100
-
-
-
92d9e468d2
run tests on Linux/MacOS only
#8
enh/update_deps
Marek Kaluba
2021-02-21 19:17:39 +0100
-
57f6de8dda
tweak tests
Marek Kaluba
2021-02-21 19:17:01 +0100
-
8d23fd3a73
tweak max_iters in tests
kalmarek
2020-10-18 01:08:42 +0200
-
649894236c
make verbose kwarg in BlockDecomposition
kalmarek
2020-10-18 01:08:23 +0200
-
c071520c3a
rm Manifest since GroupRings are registered
kalmarek
2020-10-18 01:07:42 +0200
-
b55026f99e
use master of GroupRings.jl for now
kalmarek
2020-10-17 16:50:57 +0200
-
57a22da821
enable ci through gh actions
kalmarek
2020-10-17 14:12:47 +0200
-
b001afb731
update Project, Manifest
kalmarek
2020-10-17 11:39:49 +0200
-
1e14380942
rename OrbitData → BlockDecomposition
kalmarek
2020-10-17 11:39:19 +0200
-
0d48ff698c
use ^ for group action everywhere
kalmarek
2020-10-17 02:13:59 +0200
-
984161c91a
cleanup orbitdata
kalmarek
2020-10-17 02:13:05 +0200
-
eeecc35232
use @SDconstraint and SOS_problem_(primal|dual)
kalmarek
2020-10-17 02:11:34 +0200
-
7ab971eb76
update to SCS-0.7.0
kalmarek
2020-10-17 02:08:51 +0200
-
6992840899
update Groups to 0.5
kalmarek
2020-10-17 02:04:31 +0200
-
6ab18d0283
allow arbitrary actions in orbit_decomposition (defaults to ^)
kalmarek
2020-10-10 12:55:02 +0200
-
-
c467a52f83
add dual version of the naive SOS problem
kalmarek
2020-08-27 10:06:02 +0200
-
df8b177ef5
flush_cstdio immediately after optimize!
kalmarek
2020-08-27 10:04:08 +0200
-
477ce3066b
Merge pull request #7 from kalmarek/update_deps
kalmarek
2020-06-23 16:20:47 +0200
-
-
7d6d038262
update deps
#7
kalmarek
2020-06-23 16:15:01 +0200
-
0778f828e4
rework group actions
kalmarek
2020-06-23 16:13:42 +0200
-
b9a30f02c7
formatting
kalmarek
2020-04-19 21:37:09 +0200
-
daa29f5223
update to latest AA, Groups, GroupRings
kalmarek
2020-04-19 21:36:24 +0200
-
94c5481952
constraint sum(P) == 0 only if element and orderunit are augmented
kalmarek
2020-01-10 16:55:13 +0100
-
e97d63b6f6
Merge pull request #6 from kalmarek/enh/small_fixes
kalmarek
2019-11-20 15:09:46 +0100
-
-
-
f9d0b85628
osx may fail
#6
kalmarek
2019-11-20 14:25:13 +0100
-
ff8fcb5dd3
fix names and tests
kalmarek
2019-11-20 13:49:16 +0100
-
3712aadbf7
bump to 0.3.1
kalmarek
2019-11-18 14:15:34 +0100
-
ac035e9fc8
fix tests
kalmarek
2019-11-06 17:49:56 +0100
-
e8ac92ff97
update README
kalmarek
2019-11-06 17:49:31 +0100
-
bfb08e69e4
interpret_results for intervals
kalmarek
2019-11-05 11:17:11 +0100
-
f3ec2dd1b1
minor fixes
kalmarek
2019-11-05 11:16:37 +0100
-
5fca3a96c6
streamline filenames creation
kalmarek
2019-11-05 11:15:52 +0100
-
-
b4ae732f7c
Merge pull request #5 from kalmarek/aa_v0.7
kalmarek
2019-11-04 15:57:18 +0100
-
-
352c1fafe7
fix tests
#5
kalmarek
2019-10-31 11:18:06 +0100
-
080aef1eaf
drop support for julia-1.0
kalmarek
2019-10-31 10:19:42 +0100
-
4362e7354c
fix test
kalmarek
2019-10-31 09:59:09 +0100
-
ead95d20c3
perm_avg → perm_avg!
kalmarek
2019-10-31 00:16:06 +0100
-
70bf9ad74c
perm → Generic.Perm
kalmarek
2019-10-30 23:58:10 +0100
-
dc14b2fd95
replace Settings.warmstart by force_compute
kalmarek
2019-10-30 23:56:53 +0100
-
-
a5a3d9d069
modernize naive sdp formulation
kalmarek
2019-08-02 11:52:19 +0200
-
e3a58fdef0
fix BinaryProvider-0.5.6; IntervalArithmetic-^0.15
kalmarek
2019-07-16 15:46:39 +0200
-
5393a67bb5
update BinaryProvider to 0.5.6 (0.5.5 has disappeared)
kalmarek
2019-07-16 14:11:43 +0200
-
38bf6605ca
Merge pull request #4 from kalmarek/enh/AA_MatrixAlgebra
kalmarek
2019-07-05 20:56:04 +0200
-
-
874881b1ab
remove Nemo, Manifest update, version 0.3
#4
kalmarek
2019-07-04 17:46:35 +0200
-
f39680042d
fix: avoid random numeric fails
kalmarek
2019-07-05 19:22:49 +0200
-
5e821286e5
define and use one(::Group)
kalmarek
2019-07-05 18:55:25 +0200
-
4bce106c2d
better logging
kalmarek
2019-07-04 22:44:56 +0200
-
e23b6a85dc
include sqadjop.jl from 1812.03456.jl file
kalmarek
2019-07-04 15:31:55 +0200
-
e9bb6f13dd
add tests for actions
kalmarek
2019-07-05 18:57:39 +0200
-
2ef8de7d42
add commented test on Adj₄ + 100 Op₄ in SAut(F₄)
kalmarek
2019-07-01 01:46:32 +0200
-
75e997b2e8
update tests and test spectral_gap directly
kalmarek
2019-07-01 01:38:30 +0200
-
cc9d3db846
we act on MatAlgElem now; use MatAlgebra
kalmarek
2019-07-01 01:37:33 +0200
-
88b460a959
use NCRing[Elem]s instead of MatSpace and use NCRing in Settings
kalmarek
2019-06-30 19:05:46 +0200
-
80e338f191
add 1812.03456 positivity tests in SL(n,Z)
kalmarek
2019-06-30 13:20:39 +0200
-
6c906b05cb
add sqadjop.jl and unit tests
kalmarek
2019-06-30 13:19:24 +0200
-
b9dc701f17
when acting on MatElem always act on the lhs columns/rows
kalmarek
2019-06-30 11:58:32 +0200
-
4c4ef195e1
replace radius by halfradius where appropriate
kalmarek
2019-06-30 11:56:57 +0200
-
-
f2311fa975
update GroupRings to 0.2.1
kalmarek
2019-06-28 09:26:43 +0200
-
8467b0d432
slightly faster perm action on MatElem
kalmarek
2019-06-28 09:15:01 +0200
-
da54d140fd
Merge pull request #3 from kalmarek/perf/faster_actions
kalmarek
2019-06-28 07:58:28 +0200
-
-
761879f5fd
fix rebase
#3
kalmarek
2019-06-28 01:34:37 +0200
-
a81dccea38
update Project/Manifest
kalmarek
2019-06-27 18:39:21 +0200
-
a9d72d1a87
add hdf5-tools to travis
kalmarek
2019-06-27 16:51:32 +0200
-
1345257732
further speedups for WreathProduct on Mats
kalmarek
2019-06-28 01:12:32 +0200
-
70c72d28d9
further speedups for perm action on Automorphisms
kalmarek
2019-06-28 01:12:02 +0200
-
7e854f902a
simplify WreathProductElem action on Automorphisms
kalmarek
2019-06-28 01:11:27 +0200
-
55b7ed09bc
reorganize actions
kalmarek
2019-06-28 00:20:30 +0200
-
f4f9dfe21d
much faster WreathProductElem actions
kalmarek
2019-06-25 17:37:08 +0200
-
4cef591dfa
faster permutation actions on GroupElements
kalmarek
2019-06-25 17:36:37 +0200
-
7a8b21db3c
relax type assumptions in compute_SOS and else
kalmarek
2019-06-25 17:35:46 +0200
-
-
b5f12501f9
try/catch file loading
kalmarek
2019-04-17 12:37:41 +0200
-
2a84d04edc
test the correctness of hpc sos computation
kalmarek
2019-04-16 17:05:34 +0200
-
70c160411d
cosmetic changes (mostly empty lines)
kalmarek
2019-04-12 23:18:48 +0200
-
ed910ccde5
rename computeλandP → approximate_by_SOS
kalmarek
2019-04-02 18:57:21 +0200
-
bb42538ee5
rename distance_to_positive_cone → certify_SOS_decomposition
kalmarek
2019-04-02 18:56:02 +0200
-
6fde981b32
save warmstart in time-stamped file;
kalmarek
2019-04-02 18:46:55 +0200
-
cfb3eaf358
updates to Manifest (binary Nemo!)
kalmarek
2019-04-02 18:41:43 +0200
-
7ab8f70d61
Merge branch 'master' of github.com:kalmarek/PropertyT.jl
kalmarek
2019-03-16 23:39:05 +0100
-
-
d23f1ff54f
update travis (MbedTLS is fixed)
kalmarek
2019-03-15 18:02:13 +0100
-
ba2d53be42
update travis (MbedTLS is fixed)
kalmarek
2019-03-15 08:14:12 +0100
-
-
60bdbd0e74
optimized version of compue_SOS
kalmarek
2019-03-15 08:13:38 +0100
-
2602d0a181
Revert "Thread.@threads compute_SOS (better precision!)"
kalmarek
2019-03-14 14:25:32 +0100
-
ad1b11f10d
Thread.@threads compute_SOS (better precision!)
kalmarek
2019-03-12 15:47:31 +0100
-
d3ad8b9c6b
update Manifest.toml
kalmarek
2019-03-10 23:32:27 +0100
-
7d0677333c
small stylistic tweaks for @constraint(s)
kalmarek
2019-03-10 16:52:54 +0100
-
5acfff7b03
disable precompilation
1712.07167
kalmarek
2019-03-01 21:42:02 +0100
-
7cc09f8b1a
pin versions of julia, SCS, JLD, Memento
kalmarek
2019-03-01 11:55:41 +0100
-
0b92aebb2f
use @info, @warn without ()
kalmarek
2019-02-24 00:17:20 +0100
-
715d4bf7ab
add JLD
#2
kalmarek
2019-02-23 00:13:48 +0100
-
d69e33629b
better info in sparsify!
kalmarek
2019-02-21 21:10:36 +0100