 kalmar
|
b8a40c42c8
|
indentation
|
2017-07-17 15:40:54 +02:00 |
|
kalmar
|
5d6074c368
|
rework ranOne_projections(::WreathProduct...) using emb functions
Still messy
|
2017-07-17 12:28:17 +02:00 |
|
kalmar
|
6ecd63197b
|
account for changes in order of characters
|
2017-07-17 12:27:28 +02:00 |
|
kalmar
|
4e48917a38
|
characters of symmetric group are now implemented in Nemo
|
2017-07-17 12:26:10 +02:00 |
|
kalmar
|
d7b7759e5d
|
fix: delete superfluous parenthesis
|
2017-07-17 10:28:18 +02:00 |
|
kalmar
|
d603bbd329
|
cut on allocating another GrupRingElement
|
2017-07-17 10:18:26 +02:00 |
|
kalmar
|
143695ed24
|
Revert "parametrise central_projection by the type of character"
This reverts commit 820517a04e.
|
2017-07-17 10:12:09 +02:00 |
|
kalmar
|
820517a04e
|
parametrise central_projection by the type of character
|
2017-07-17 09:43:19 +02:00 |
|
kalmar
|
05691b5202
|
Merge branch 'enh/S_5projections' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl into enh/S_5projections
|
2017-07-17 09:41:05 +02:00 |
|
kalmar
|
aec153ca21
|
cosmetic
|
2017-07-17 09:39:46 +02:00 |
|
kalmar
|
cb10afe6f6
|
save one value computation
|
2017-07-16 21:42:53 +02:00 |
|
kalmar
|
680d888b68
|
keep permtype consistent with partitions (i.e. rev-sorted)
|
2017-07-13 17:47:40 +02:00 |
|
kalmar
|
af74ae6fb0
|
add hand-crafted projections for PermutationGroup(5)
|
2017-07-12 20:23:27 +02:00 |
|
kalmar
|
5906715902
|
use T to specify type of projection elements
|
2017-07-12 20:23:00 +02:00 |
|
kalmar
|
8819269689
|
central projections tend to be dense
|
2017-07-12 20:18:42 +02:00 |
|
kalmar
|
451245419c
|
add characters for PermutationGroup(5)
|
2017-07-12 20:15:31 +02:00 |
|
kalmar
|
c056c99c1f
|
use dictionary for characters values
|
2017-07-12 20:15:09 +02:00 |
|
kalmar
|
9d8f001363
|
use sign(::perm)
|
2017-07-12 20:11:43 +02:00 |
|
kalmar
|
78490e6ca8
|
visual changes to central projection
|
2017-07-09 14:55:19 +02:00 |
|
kalmar
|
94fd8f0bf9
|
fix: can not assign in short-circut eval
|
2017-07-06 09:03:05 +02:00 |
|
kalmar
|
7a39775fff
|
Merge branch 'master' into enh/sparsification
|
2017-07-05 13:24:21 +02:00 |
|
kalmar
|
94607bfaac
|
don't redirect errors to full_log
|
2017-07-05 13:23:54 +02:00 |
|
kalmar
|
8810836fab
|
specialise that mreps should be a dict
|
2017-07-05 13:23:26 +02:00 |
|
kalmar
|
ca3e606ab6
|
use the dot-syntax to broadcast abs
|
2017-07-05 13:22:59 +02:00 |
|
kalmar
|
b3f596d8d8
|
save sparsified U\pis for futher experiments
|
2017-07-05 13:19:41 +02:00 |
|
kalmar
|
e648d2c370
|
another sparsify
|
2017-07-05 13:19:12 +02:00 |
|
kalmar
|
c0e2577684
|
sparsify by default
|
2017-07-05 13:14:58 +02:00 |
|
kalmar
|
760270d2e0
|
new, unified sparsify
|
2017-07-05 13:14:34 +02:00 |
|
kalmar
|
f3874828e7
|
increase the default precision in check_distance_to_positive_cone
|
2017-07-05 13:03:25 +02:00 |
|
kalmar
|
dad6576365
|
better specialised groupring_square
|
2017-07-05 12:28:29 +02:00 |
|
kalmar
|
6b9d2b5d28
|
update to the latest version of IntervalArithmetic
|
2017-07-05 12:24:49 +02:00 |
|
kalmar
|
bfdc08e91d
|
require IntervalArithmetic v0.9.1
|
2017-06-25 09:34:16 +02:00 |
|
kalmar
|
310165b864
|
broader arrays in signature of distance_to_cone
|
2017-06-25 09:33:25 +02:00 |
|
kalmar
|
0e89b12e90
|
move functions
|
2017-06-25 09:31:52 +02:00 |
|
kalmar
|
ac18923631
|
use IntervalArithmetic instead of ValidatedNumerics
|
2017-06-25 09:29:31 +02:00 |
|
kalmar
|
ff4f9e7857
|
faster version of reconstruct_sol
|
2017-06-23 13:38:45 +02:00 |
|
kalmar
|
fd32ddbe82
|
use the given precision as rationalisation precision
|
2017-06-23 13:30:37 +02:00 |
|
kalmar
|
709f030cb5
|
Nemo is already in scope
|
2017-06-22 21:06:51 +02:00 |
|
kalmar
|
b7d9731f8b
|
update to IntervalArithmetic v0.10.0
|
2017-06-22 15:48:06 +02:00 |
|
kalmar
|
1053a28970
|
remove left-over usings/imports
|
2017-06-22 15:31:55 +02:00 |
|
kalmar
|
4bde63f580
|
final integration via includes
|
2017-06-22 15:15:55 +02:00 |
|
kalmar
|
be1c473e4a
|
cleaning using and imports
|
2017-06-22 15:15:43 +02:00 |
|
kalmar
|
3c0ecd2e73
|
DirectProducts and WreathProducts are in Groups now
|
2017-06-22 15:14:15 +02:00 |
|
kalmar
|
dca65e571e
|
multiple dispatch for check_property_T
|
2017-06-22 15:13:37 +02:00 |
|
kalmar
|
b881a40721
|
move functions around
|
2017-06-22 15:11:14 +02:00 |
|
kalmar
|
f6155d8382
|
turn init_OrbitData into constructor
|
2017-06-22 15:10:26 +02:00 |
|
kalmar
|
3fa7491cb5
|
mv oPropertyT -> Orbit-wise
|
2017-06-22 14:40:55 +02:00 |
|
kalmar
|
77121c32eb
|
add orbit-related code
|
2017-06-22 14:12:35 +02:00 |
|
kalmar
|
e21f97f541
|
mv sdps -> SDPs
|
2017-06-22 14:11:33 +02:00 |
|
kalmar
|
cd24767691
|
mv checksolution -> CheckSolution
|
2017-06-22 14:11:00 +02:00 |
|
kalmar
|
21e6811292
|
Move sqrtm out of check_distance_to_positive_cone
|
2017-06-22 11:56:46 +02:00 |
|
kalmar
|
39732bb627
|
make splaplacian spvector of Float64 by default
|
2017-06-09 09:36:20 +02:00 |
|
kalmar
|
d98d68004b
|
len -> wlen is no longer a kwarg, and has no default value
|
2017-06-09 09:35:33 +02:00 |
|
kalmar
|
aae4ee57c7
|
deparametrise distance_to_cone to provide generic version
|
2017-06-08 21:47:09 +02:00 |
|
kalmar
|
98744d4f30
|
we need Flota64 laplacian
|
2017-06-08 21:46:07 +02:00 |
|
kalmar
|
3c0ae5baf0
|
dispatch splaplacian on GroupRing{T} type
with multiplicative unit for Rings
|
2017-06-08 21:45:46 +02:00 |
|
kalmar
|
a68e546b7e
|
pm is saved as pm.jld; Delta.coeffs as delta.jld
|
2017-06-07 00:23:51 +02:00 |
|
kalmar
|
5b49ae0ca0
|
groupring_mult -> mul
|
2017-06-07 00:22:06 +02:00 |
|
kalmar
|
f6383eed7e
|
Merge branch 'AutF4' of git.wmi.amu.edu.pl:kalmar/PropertyT.jl into AutF4
# Conflicts:
# src/sdps.jl
|
2017-06-06 16:26:31 +02:00 |
|
kalmar
|
0c6ac791c8
|
basis belongs to RG
|
2017-06-06 16:24:42 +02:00 |
|
kalmar
|
883f6dcd18
|
Merge branch 'AutF4' of git.wmi.amu.edu.pl:kalmar/PropertyT.jl into AutF4
# Conflicts:
# src/PropertyT.jl
# src/sdps.jl
|
2017-06-06 11:54:24 +02:00 |
|
kalmar
|
aa0f0f3034
|
add type argument to splaplacian
|
2017-06-06 11:51:15 +02:00 |
|
kalmar
|
4f14b0eff7
|
remove old product_matrix code
|
2017-06-06 11:50:26 +02:00 |
|
kalmar
|
54da1d326c
|
import Nemo: Group, GroupElem
|
2017-06-06 11:48:52 +02:00 |
|
kalmar
|
73c9e65558
|
cosmetic
|
2017-06-05 17:31:35 +02:00 |
|
kalmar
|
d9e6f5991e
|
short circut for directory creation
|
2017-06-05 17:29:05 +02:00 |
|
kalmar
|
8a3e0ae62a
|
fix: S is a generating set, we need its length
|
2017-06-05 17:28:39 +02:00 |
|
kalmar
|
eac9ad2083
|
fix GroupRingElem creation
|
2017-06-05 17:27:55 +02:00 |
|
kalmar
|
5a9f103049
|
can load splaplacian as GroupRingElem
|
2017-06-05 17:26:55 +02:00 |
|
kalmar
|
3420aa5504
|
symmetry assertion is not necessary
|
2017-06-05 17:25:00 +02:00 |
|
kalmar
|
936c285155
|
less unicode
|
2017-06-05 17:24:45 +02:00 |
|
kalmar
|
54b6fda9e8
|
@variable(m, ..., SDP) and @SDconstraint(m,... >=0) are equivalent
|
2017-06-05 13:55:24 +02:00 |
|
kalmar
|
ba04aa4f34
|
cosmetics
|
2017-06-05 13:49:57 +02:00 |
|
kalmar
|
79e98b07be
|
S is now a honest Vector of groupelems
|
2017-06-05 13:49:43 +02:00 |
|
kalmar
|
477417bb9a
|
We can again use cached Delta and pm
|
2017-06-05 13:48:44 +02:00 |
|
kalmar
|
30aea5c043
|
We need a group to construct group Laplacian
|
2017-06-05 13:48:02 +02:00 |
|
kalmar
|
04ecbb4a53
|
Generating set is an ordinary Vector
|
2017-06-05 13:23:29 +02:00 |
|
kalmar
|
0f3313b290
|
missing end
|
2017-06-05 13:23:10 +02:00 |
|
kalmar
|
2471c752e6
|
bring ΔandSDPconstraints{T<:GroupElem} from specific groups definition
|
2017-06-05 13:20:32 +02:00 |
|
kalmar
|
148bab5af2
|
constraints_from_pm now have default total_length
|
2017-06-05 13:19:57 +02:00 |
|
kalmar
|
8b0033da58
|
splaplacian_coeff -> splaplacian returns GroupRingElem
|
2017-06-05 13:18:46 +02:00 |
|
kalmar
|
b35ee6bfdb
|
remove (full) laplacian_coeff
|
2017-06-05 13:18:19 +02:00 |
|
kalmar
|
923b4f9305
|
simplify \DeltaandSDPconstr...
|
2017-06-05 13:17:49 +02:00 |
|
kalmar
|
9d72141624
|
further reduce check_property_T
|
2017-06-05 12:48:33 +02:00 |
|
kalmar
|
82d175b777
|
timestamp both log files
|
2017-06-05 12:48:13 +02:00 |
|
kalmar
|
58c0283a77
|
typo
|
2017-06-05 12:15:34 +02:00 |
|
kalmar
|
0b0c13e4f6
|
use setup_logger
|
2017-06-05 12:15:09 +02:00 |
|
kalmar
|
887b40b98c
|
setup_logging
|
2017-06-05 10:27:07 +02:00 |
|
kalmar
|
cbb8d5a876
|
adapt check_property_T to changes
It should be gone soon, anyway
|
2017-06-04 20:37:52 +02:00 |
|
kalmar
|
f87e484d83
|
rework λandP: sets loggers and solves SDP
|
2017-06-04 20:37:02 +02:00 |
|
kalmar
|
6b20e37c74
|
move timed_msg
|
2017-06-04 20:34:12 +02:00 |
|
kalmar
|
cd66f8d914
|
compute_\lambdaandP does only that
|
2017-06-04 20:32:40 +02:00 |
|
kalmar
|
25f7b528fc
|
less unicode characters
|
2017-06-04 20:30:34 +02:00 |
|
kalmar
|
e544e94be0
|
add word length to distance_to_cone
|
2017-06-04 20:29:44 +02:00 |
|
kalmar
|
9dfcb49d00
|
solve_SDP just solve
|
2017-06-04 20:26:05 +02:00 |
|
kalmar
|
ae5b37e177
|
return both model and optimisation variables
|
2017-06-04 20:13:27 +02:00 |
|
kalmar
|
9aa427fe8e
|
rename spectral_gap to sgap for easier handling
|
2017-05-28 20:07:01 +02:00 |
|
kalmar
|
f987ae7622
|
typo
|
2017-05-28 20:06:21 +02:00 |
|
kalmar
|
247287b892
|
block loading of pm, Delta -- can't reconstruct Delta
bot JLD and serializer does not allow serialising functions;
moreover, serialising E for SOutF4 takes ~2GB
|
2017-05-28 20:06:04 +02:00 |
|
kalmar
|
5516b1ae64
|
using GroupRings
|
2017-05-28 20:03:57 +02:00 |