-
2ef67b5195
fix the G() <-> one(G) dispatch dillema
kalmarek
2018-08-20 03:35:34 +0200
-
540946528c
remove references to logger!
kalmarek
2018-08-19 20:05:45 +0200
-
21bff490dd
remove Memento's solverlog
kalmarek
2018-08-18 23:47:15 +0200
-
0dfd85adba
finally proper redirection of STDOUT to a file
kalmarek
2018-08-18 23:28:06 +0200
-
28fe0820bc
use where instead of f{T}(args)
kalmarek
2018-08-15 19:20:55 +0200
-
e6ad20cb23
replace loop by array comprehension
kalmarek
2018-08-15 19:20:28 +0200
-
e33800cfa1
use the simple string constructor for perm
kalmarek
2018-08-15 19:19:49 +0200
-
6047d496d5
replace custom GroupRing constructor by alternating_emb function
kalmarek
2018-08-15 19:17:37 +0200
-
854ddb42a1
function goes first in GroupRing constructor
kalmarek
2018-08-15 19:16:24 +0200
-
677ae32ee2
rankOne_projections take a GroupRing now
kalmarek
2018-08-15 19:13:26 +0200
-
0c2f5b1a9a
extract checking if lambda > 0 ... block to a separate function
kalmarek
2018-08-15 19:10:38 +0200
-
2d62aa26f2
add missing L1_norm
kalmarek
2018-08-15 19:09:01 +0200
-
e4b5c59bd7
fix: use GroupRingElem constructor directly, when no basis is attached
kalmarek
2018-08-15 19:08:40 +0200
-
c4a708ec8d
central projections has full support
kalmarek
2018-08-15 17:21:31 +0200
-
617f2f3410
rename to augmentation -> aug
kalmarek
2018-08-14 20:19:54 +0200
-
919e1bb103
update Orbit-wise to changes in CheckSolution.jl
kalmarek
2018-08-14 19:21:46 +0200
-
ddfc4dc47b
update PropertyT.jl top changes in CheckSolution.jl
kalmarek
2018-08-14 19:21:09 +0200
-
68a3cca76d
remove overloads of ±
kalmarek
2018-08-14 19:18:58 +0200
-
ff8f5d45c2
rework distance_to_cone
kalmarek
2018-08-14 19:18:36 +0200
-
f9180d5d68
update autIdproj
kalmarek
2018-08-14 18:18:25 +0200
-
6b0cbd0114
remove l (length) from args of
kalmarek
2018-08-14 18:17:38 +0200
-
cdb3c39d2a
rework IntervalArithmetic.± application
kalmarek
2018-08-14 17:21:35 +0200
-
4f2caf84cd
don't check correctness of permutations in preps
kalmarek
2018-08-08 19:38:44 +0200
-
dfb76c1e5e
don't REQUIRE Nemo
kalmarek
2018-07-31 13:43:48 +0200
-
a26893f533
update to the Memento-0.9.0
kalmarek
2018-07-31 10:25:17 +0200
-
81e08eb857
migrate to AbstractAlgebra
kalmarek
2018-07-31 10:21:54 +0200
-
75c249abb8
remove iterator for FinField
kalmarek
2018-07-31 10:19:06 +0200
-
d3a228cfa7
rework sparsify! Remove rank check which becomes very expensive
kalmarek
2018-07-31 10:18:03 +0200
-
1ca77f1f19
add (RG::GroupRing)(::Vector, ::Type; alt=false)
kalmarek
2018-07-31 09:49:55 +0200
-
16dc0c7591
move OrbitSelector to orbit_selector outside of function
kalmarek
2018-07-31 09:48:24 +0200
-
f5afcf4dfb
migrate Projections to AbstractAlgebra
kalmarek
2018-07-31 09:43:35 +0200
-
5d6c4f8290
we work over PermutationGroup{Int8}
kalmarek
2018-04-10 12:21:08 +0200
-
58fa849df0
fastm in rankOne_projections doesnt' change much in terms of speed
kalmarek
2018-04-09 12:56:20 +0200
-
9d2140b5a8
fix nature of idempotents
kalmarek
2018-04-09 11:55:38 +0200
-
a0cc9d62c9
fix: PermCharacter is in Projections, not in PropertyT
kalmarek
2018-04-09 11:14:39 +0200
-
27569c11d8
export PermCharacter, DirectProdCharacter, rankOne_projection
kalmarek
2018-04-09 11:13:39 +0200
-
44e3c9c0b9
add generator of characters for PermGroup, DirectProductGroup
kalmarek
2018-04-09 11:10:57 +0200
-
11365bf5b2
big overhaul of rankOne_projections for WreathProduct Group
kalmarek
2018-04-09 11:07:12 +0200
-
094abd74b8
simplify rankOne_projections for PermGroup
kalmarek
2018-04-08 22:50:31 +0200
-
50588bc792
streamline logic in rankOne_projection from a character
kalmarek
2018-04-08 22:49:45 +0200
-
5bed58de2c
fix hacks around DirectProdCharacter
kalmarek
2018-04-08 22:48:16 +0200
-
589e1882cd
fix indentation
kalmarek
2018-04-08 22:46:28 +0200
-
2d89c38657
separate Projections into a module
kalmarek
2018-04-08 22:45:18 +0200
-
e5b4b9220b
make orbit decomposition slightly faster by allocating orbit only once
kalmarek
2018-03-22 10:52:53 +0100
-
db455df852
replace missing sett.warmstart by simple warm
kalmarek
2018-03-21 14:20:48 +0100
-
90e7859d02
lock Nemo to version 0.7.9-
kalmarek
2018-02-05 10:07:09 +0100
-
3e9640e14c
unlock IntervalArithmetic version
kalmarek
2018-01-26 13:21:50 +0100
-
1c96fec723
lock Nemo's version to 0.7
kalmarek
2018-01-26 13:21:28 +0100
-
94fa72ae80
update to parametrised perms in Nemo
kalmarek
2018-01-26 13:20:56 +0100
-
3161779c1c
Merge branch 'enh/rework-logging' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl into enh/rework-logging
kalmarek
2018-01-25 21:39:21 +0100
-
-
550d69d78e
no need to prefix
kalmarek
2018-01-25 21:39:06 +0100
-
7a56aad3dc
add warmstarting
kalmarek
2018-01-25 21:38:38 +0100
-
8413254917
Merge branch 'enh/rework-logging' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl into enh/rework-logging
kalmarek
2018-01-04 21:46:00 +0100
-
-
-
-
-
cb3c6a0ef5
better printing of lambda
kalmarek
2018-01-04 20:13:41 +0100
-
46ac64a207
use the same directory structure as the orbit version
kalmarek
2018-01-02 03:53:01 +0100
-
dc91735bfc
logtime of sdp solution; print the reresentation of SDP to log
kalmarek
2018-01-02 03:52:24 +0100
-
6affa6876f
sparsify prints only to stdout
kalmarek
2018-01-02 03:32:24 +0100
-
f7534c2b97
logtime of lambdaandP; use LOGGER everywere
kalmarek
2018-01-02 03:32:04 +0100
-
ac4ef92ef0
no need to pass both Group and S as arguments
kalmarek
2018-01-02 03:28:34 +0100
-
f478081d4e
reduce code duplication
kalmarek
2018-01-02 03:22:46 +0100
-
955c8fc49e
remove init_orbit_data
kalmarek
2018-01-02 03:19:57 +0100
-
a87b587c1a
add logger field to sett
kalmarek
2018-01-02 03:17:44 +0100
-
35615c34cf
logged and clean version of Laplacian
kalmarek
2018-01-02 03:02:22 +0100
-
fd88de171b
get rid of global loggers
kalmarek
2018-01-02 02:59:10 +0100
-
7d22e8dce0
another rework of filenames
kalmarek
2018-01-02 02:55:53 +0100
-
0d17e4b877
rework lambdaandP && solve_SDP
kalmarek
2018-01-02 02:52:45 +0100
-
13f49027dd
rename Delta -> Laplacian, splaplacian -> spLaplacian
kalmarek
2018-01-02 00:07:05 +0100
-
b43482325d
check_distance_to_cone returns single float
kalmarek
2018-01-02 00:02:00 +0100
-
e5366b7305
decouple obtaining Delta from constraints
kalmarek
2018-01-02 00:01:24 +0100
-
523003cc2a
move fillfrominternal! to SDPs.jl
kalmarek
2018-01-01 23:59:31 +0100
-
d5a4f4957a
rework filename logic
kalmarek
2018-01-01 23:57:03 +0100
-
f48e8ba8d7
return the global logger for now
kalmarek
2018-01-01 23:55:07 +0100
-
7ac194f98a
fix logtime macro
kalmarek
2018-01-01 23:54:36 +0100
-
3066046fdb
move checking logic to check_distance_to_cone function
kalmarek
2018-01-01 23:50:36 +0100
-
b2f4360ef4
distence_to_cone(...) where {T<:...} does all the logging
kalmarek
2018-01-01 23:49:27 +0100
-
5918e20569
replace distance_to_cone by distances_to_cone without logging
kalmarek
2018-01-01 23:48:17 +0100
-
923d892da0
fix indentation, again
kalmarek
2018-01-01 23:45:49 +0100
-
47f6d3637e
fix indentation to 4 spaces
kalmarek
2018-01-01 14:06:33 +0100
-
fc54803b58
fix Memento deprecations; make clear when logger is global
kalmarek
2018-01-01 13:13:44 +0100
-
ce34633df7
Replace kalmar by real name
kalmarek
2017-12-28 13:58:42 +0100
-
596b688c1f
Replace kalmar by real name
kalmarek
2017-12-28 13:58:42 +0100
-
-
0fb27a442d
Require JuMP 0.18.0 as we use MathProgBase directly
kalmarek
2017-12-02 23:21:24 +0100
-
7054fcffe2
remove old loging
kalmarek
2017-12-02 23:21:00 +0100
-
29f347a228
only check the solution when not warmstarting
kalmarek
2017-12-01 18:28:48 +0100
-
5e4b2203c3
Nemo.perm is a function in julia v0.6.0
kalmarek
2017-12-01 18:26:55 +0100
-
53d413633b
add warmstart to Settings
kalmarek
2017-12-01 18:26:08 +0100
-
c849ead0ac
look for warmstart in the solutions dir
kalmarek
2017-12-01 17:27:18 +0100
-
e94662e615
fill the JuMP model variables from its internal model
kalmarek
2017-12-01 17:06:20 +0100
-
659e5e03a1
grab warmstart, P, lambda from the solved model
kalmarek
2017-12-01 17:05:35 +0100
-
bbcaec5bae
build JuMP.Model first
kalmarek
2017-12-01 17:04:53 +0100
-
56adccdfd1
using MathProgBase
kalmarek
2017-12-01 17:03:24 +0100
-
e53486f394
since we warmstart internal model, optimize! it
kalmarek
2017-12-01 17:02:45 +0100
-
10808583e3
Merge remote-tracking branch 'origin/enh/warmstart' into enh/warmstart-0.6
kalmarek
2017-12-01 14:21:10 +0100
-
-
02cdee0708
remove old check for the existence of solver.log
kalmarek
2017-12-01 14:13:19 +0100
-
da6a2df814
save primal, dual solutions and slack for future warmstart
kalmarek
2017-12-01 14:12:52 +0100
-
7ee7a30829
fix rankOne_projections for the new type of GroupRingElem
kalmarek
2017-11-17 15:29:09 +0100
-
bdadac33f4
import Generic.perm
kalmarek
2017-11-17 15:28:11 +0100
-
0d20df8207
add dim function for Characters
kalmarek
2017-11-16 20:01:12 +0100
-
498a6700ec
Merge branch 'master' into enh/julia-v0.6
kalmarek
2017-11-15 20:28:57 +0100
-
-
39bef16aa7
filter Upis and dims at LOADTIME for only those which are non-zeros
kalmarek
2017-11-13 10:57:57 +0100