PropertyT.jl

kalmar/PropertyT.jl

Fork 0

mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-29 09:45:27 +01:00

Commit Graph

Select branches

Hide Pull Requests

1703.09680v1

1712.07167

enh/G₂_here_we_come

enh/update_deps

master

mk/orbit_basis

mk/pra_group

mk/tests_chevalley

mk/update_PermutationGroups_etal

#1

#10

#11

#12

#12

#13

#14

#15

#15

#2

#3

#4

#5

#6

#7

#8

#9

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

Commit Graph Select branches Hide Pull Requests 1703.09680v1 1712.07167 enh/G₂_here_we_come enh/update_deps master mk/orbit_basis mk/pra_group mk/tests_chevalley mk/update_PermutationGroups_etal #1 #10 #11 #12 #12 #13 #14 #15 #15 #2 #3 #4 #5 #6 #7 #8 #9 Mono Color

Commit Graph

Select branches

Hide Pull Requests

1703.09680v1

1712.07167

enh/G₂_here_we_come

enh/update_deps

master

mk/orbit_basis

mk/pra_group

mk/tests_chevalley

mk/update_PermutationGroups_etal

#1

#10

#11

#12

#12

#13

#14

#15

#15

#2

#3

#4

#5

#6

#7

#8

#9