kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-17 10:55:30 +02:00
Code Issues Releases Wiki Activity
354 Commits 9 Branches 0 Tags 1.1 MiB
9840268250
Commit Graph

221 Commits

Author SHA1 Message Date
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
kalmar
d1fb62cb8c length(::GroupRing) is the size of support, not of coeffs 2017-05-28 20:01:52 +02:00
kalmar
347c09c598 rename \epsilon -> augmentation 2017-05-28 20:01:03 +02:00
kalmar
b589fb9844 algebra_square -> groupring_square, using groupring_mult 2017-05-28 20:00:22 +02:00
kalmar
2adcf0bc13 adopt to GroupRings nemoification 2017-05-28 19:59:26 +02:00
kalmar
0ba66ceaa4 remove products and generate_balls: these are in Groups.jl 2017-05-28 19:58:05 +02:00
kalmar
70b98ece5f adaptation to changes in GroupRings (not tested, not working) 2017-05-16 18:53:25 +02:00
kalmar
e93ec0c422 add keyword for twisted product_matrix 2017-04-17 15:23:36 +02:00
kalmar
c0da44754d early exit if fp_distance <= 0 2017-04-17 15:22:33 +02:00
kalmar
d65bb54929 update for latest Memento 2017-04-17 15:20:58 +02:00
kalmar
85e07a5a57 add common routines for (unique) products and generation of balls 2017-04-10 21:46:33 +02:00