kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity
815 Commits 9 Branches 0 Tags 1.1 MiB
Commit Graph

181 Commits

Author SHA1 Message Date
kalmarek d8f04957b6 replace isfile by exists 
which returns true also for symlinks
 2017-09-06 16:02:46 +02:00
kalmarek b781dae356 @logtime(logger, ex) macro 2017-08-27 19:56:35 +02:00
kalmar 845d7733a4 indentation 2017-08-04 20:33:21 +02:00
kalmar a460b71db9 redirect stderr to full_log 2017-08-03 11:34:38 +02:00
kalmar da32893d64 move setup-logging to the top of the file 2017-07-21 17:12:27 +02:00
kalmar 94607bfaac don't redirect errors to full_log 2017-07-05 13:23:54 +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 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 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 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 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 5a9f103049 can load splaplacian as GroupRingElem 2017-06-05 17:26:55 +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 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 9aa427fe8e rename spectral_gap to sgap for easier handling 2017-05-28 20:07:01 +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 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 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
kalmar 8ccfe09105 correct the final printout 2017-04-08 13:49:57 +02:00
kalmar 10a0977d2e yet another change to printed format 2017-04-01 17:10:01 +02:00
kalmar 5876998cba Change names: kappa -> lambda, A -> P 2017-04-01 15:21:57 +02:00
kalmar 028979bfd1 better printing 2017-04-01 14:22:30 +02:00
kalmar dbed75103e allow check_distance_to_positive_cone return Interval 2017-04-01 14:21:01 +02:00
kalmar b20cd02d5b Revert "tad better try...catch syntax" 
This reverts commit 69e74190af.
 2017-04-01 08:32:34 +02:00
kalmar a827f8c425 Revert "fix: don't throw exception in kandA" 
This reverts commit 837988c381.
 2017-04-01 08:27:54 +02:00
kalmar 69e74190af tad better try...catch syntax 2017-03-31 22:34:56 +02:00
kalmar 837988c381 fix: don't throw exception in kandA 
k <=0 is handled in the outside loop
 2017-03-31 22:34:28 +02:00
kalmar ada830f5d5 fix: don't return after solving, save kappa and A first 2017-03-31 22:33:17 +02:00
kalmar e08e787c1a incorporate radius parameter 2017-03-31 22:32:36 +02:00
kalmar 5c36eccc7b cosmetics 2017-03-31 16:12:00 +02:00
kalmar f487c4635c Cleanup of the check_propertyT function 2017-03-31 16:07:08 +02:00
kalmar 31393cab34 solver logger console format 2017-03-26 16:22:07 +02:00
kalmar 58217aaaf6 generating_set now returns both S and ID 2017-03-26 16:21:47 +02:00
kalmar a3779fb50a redirect stderr to full.log 2017-03-22 13:24:36 +01:00
kalmar 3dc571a47c variables in blocks are reused; define A before try 
or face UndefVarError: A not defined
 2017-03-22 12:24:36 +01:00
kalmar 65f2736588 logging keyword is "solver_log" 2017-03-20 22:11:57 +01:00
kalmar 87cfb742bf add and remove log Handler in the same function (solve_SDP) 2017-03-20 22:11:26 +01:00
kalmar adb9d1b273 Workaround to SCS ERROR: A->p (column pointers) decreasing 
loop solver when SCS gives the error (works in Jupyter)
 2017-03-20 21:48:22 +01:00
kalmar 3517d28990 if spectral_gap is < 0 don't compute Kazhdan constant 2017-03-17 16:24:55 +01:00
kalmar 7335a94fa6 log more computation specific information 2017-03-17 16:23:36 +01:00
kalmar 220d2302bd fix true_kappa -> Kazhdan_\kappa 2017-03-16 18:20:09 +01:00
kalmar 2948d0af76 make PropertyT solver agnostic 2017-03-16 18:19:40 +01:00
kalmar 04df785909 remove some info 2017-03-16 15:37:28 +01:00
kalmar b1e00bfda5 Actually report Kazhdan constant, not the spectral gap 2017-03-16 14:33:41 +01:00
kalmar 17cd369f3f better formatting for loggers 2017-03-16 14:27:24 +01:00
kalmar 94b4193ec6 fix solver logger, once again 2017-03-16 09:35:32 +01:00
kalmar 07d227eb8a overwrite solver log instead of appending 2017-03-15 20:34:35 +01:00
kalmar b5608d473f fancy format of logs in files, not in terminal 2017-03-15 18:41:59 +01:00
kalmar 02a89908db replace all shows and printlns by info(logger,... 2017-03-15 17:51:13 +01:00
kalmar 94389b887a rudimentary @time replacement for logging 2017-03-15 17:49:39 +01:00
kalmar 8e9a7dcb15 use Memento for logging 2017-03-15 17:48:52 +01:00
kalmar f9fd7e63a7 multiple dispatch on distance_to_cone 2017-03-14 23:35:52 +01:00
kalmar 9ab11e295e the final DeltaansSDP constr lives in Main 2017-03-14 16:39:14 +01:00
kalmar 989c51c1ef mv Property(T).jl -> PropertyT.jl 2017-03-13 15:56:07 +01:00