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

04a13616c6 Allow different AbstractMathProgSolvers in Settings kalmarek 2017-11-13 10:57:02 +0100
a35122f8bb cosmetic kalmarek 2017-11-08 15:40:38 +0100
38ae1e0656 remove minimalprojections in favour of rankOne_projections kalmarek 2017-11-08 15:40:22 +0100
e746aaeeff rankOne_projections MUST be computed over exact field (e.g. Rational{Int}) kalmarek 2017-11-08 15:39:51 +0100
d7652c4e02 make AbstractCharacter just an abstract type kalmarek 2017-11-08 15:38:51 +0100
6f0087b8c7 indentation kalmarek 2017-11-08 11:10:30 +0100
ea6a6722be init model on number and size of SD blocks, not on Uπs kalmarek 2017-11-08 10:02:38 +0100
bcbf8a03c8 store the dense Uπs, sparsify at read-time kalmarek 2017-11-08 10:01:45 +0100
fe1e9ee37c let sparsify actually return sparse matrix kalmarek 2017-11-08 10:00:34 +0100
2aa82db1ac specify exact types for OrbitData kalmarek 2017-11-08 09:58:37 +0100
c1dc3850dd rename AutS -> autS kalmarek 2017-11-08 09:56:28 +0100
4ba2f54bb4 improve slightly orthSVD kalmarek 2017-11-08 09:50:58 +0100
3c51a463dc rename variables kalmarek 2017-11-08 09:38:56 +0100
ff14b33199 AutS_mreps -> reps kalmarek 2017-11-08 09:37:39 +0100
95e19e6f9d replace stray constraints_from_pm() -> constraints() kalmarek 2017-11-08 09:36:34 +0100
80deaebb9f remove matrix_reprs - we create them through perm_reprs kalmarek 2017-11-08 09:35:26 +0100
72261afdeb use preps_reprs instead of matrix_reprs kalmarek 2017-11-08 09:33:00 +0100
2d02c98947 faster & simpler Cstar_repr kalmarek 2017-11-08 09:29:12 +0100
e636c97738 unified marix_reps and perm_reps kalmarek 2017-11-08 09:28:04 +0100
0c9fb40e65 constraints_from_pm -> constraints kalmarek 2017-11-08 09:25:40 +0100
31715701cc de-thread Projections kalmarek 2017-11-07 09:41:45 +0100
12c5c47ca8 add Nemo.isone(::GroupElem) kalmarek 2017-11-06 11:31:15 +0100
84813fedc4 indentation kalmarek 2017-11-05 20:55:53 +0100
093cced764 Merge branch 'enh/logtime' kalmarek 2017-11-05 20:55:05 +0100
bc8c28170e missing @logtime in orbit-check_property_T kalmarek 2017-11-05 20:54:33 +0100
cda741cc0c Merge branch 'enh/check_solution' kalmarek 2017-11-05 19:30:58 +0100
36e5979774 @logtime Q = sqrtm(P) kalmarek 2017-11-05 19:30:11 +0100
f7f9ceef07 pass only the i-th column in @parallel mode kalmarek 2017-11-05 19:28:51 +0100
c3ea80e6a9 replace remaining @time with '@logtime logger' kalmarek 2017-11-05 16:38:51 +0100
c0dc6937a5 cut on allocations in compute_SOS kalmarek 2017-11-03 16:54:41 +0100
fba2464a80 Specify concrete Interval types in augIdproj kalmarek 2017-11-03 16:42:53 +0100
a000290074 remove rationalization functions kalmarek 2017-11-03 16:41:12 +0100
79d5c7f933 rename parameter S -> T kalmarek 2017-11-02 13:48:20 +0100
1c67cdbcea remove timed_msg kalmarek 2017-11-02 13:45:27 +0100
3eab5b721a replace @timed by @logtime kalmarek 2017-11-02 13:45:12 +0100
7fa49756ba @logtime macro and time_string function kalmarek 2017-11-02 13:44:08 +0100
5bb311141d splaplacian doesn't have Id argument kalmarek 2017-10-27 18:36:59 +0200
ca18f75efd clean the main check_property_T in both cases kalmarek 2017-10-27 18:36:32 +0200
f206a13980 update function names kalmarek 2017-10-27 18:35:50 +0200
098a7ce948 check_distance_to... -> distance_to_... kalmarek 2017-10-27 18:34:07 +0200
4ae2c617cb Higher level compute_SOS kalmarek 2017-10-27 18:33:18 +0200
96ce02852f replace rationalise&project with interval&project kalmarek 2017-10-27 18:32:58 +0200
0225f38066 just two simple distance_to_cone functions kalmarek 2017-10-27 18:30:59 +0200
8defd71b59 new low-level compute_SOS function kalmarek 2017-10-27 18:29:19 +0200
d8b2f0ab30 increase sigfigs to 12; remove explicit precision setting kalmarek 2017-10-27 18:25:13 +0200
b96b39e910 Revert "make initial P nullable" kalmarek 2017-10-27 18:20:28 +0200
01e6625571 Revert "Allow for AbstractMathProfSolver in Settings" kalmarek 2017-10-27 18:19:53 +0200
94c9a75a21 we don't need to pass id element -- it could be derived from S kalmarek 2017-10-27 14:29:47 +0200
32c020fd88 make initial P nullable kalmarek 2017-10-27 14:28:38 +0200
46a9150266 solver is not defined here kalmarek 2017-10-27 14:28:01 +0200
6cbf5e6944 Allow for AbstractMathProfSolver in Settings kalmarek 2017-10-27 14:27:26 +0200
bc2a827342 use prepath(sett)/fullpath(sett) instead of sett.name kalmarek 2017-10-09 19:49:49 +0200
b3f1961fbf use prepath/fullpath(::Settings) in OrbitData kalmarek 2017-10-09 19:46:08 +0200
36a1151a73 add functions to produce prepath, fullpath out of Settings kalmarek 2017-10-09 19:45:28 +0200
6070bbf709 rename name -> prefix in filenames functions kalmarek 2017-10-09 19:44:54 +0200
4c777073a7 Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl kalmarek 2017-10-09 18:08:57 +0200
d7bc94b64c @parallel compute_SOS kalmarek 2017-10-09 18:08:22 +0200
344e11a974 overwrite Q to allow gc kalmarek 2017-10-09 18:06:29 +0200
0fabd21e53 much faster Cstar_repr kalmarek 2017-10-03 14:46:05 +0200
dbca3945a8 call flush_cstdio() AFTER redirect_stdout kalmarek 2017-09-19 17:37:35 +0200
154a66939f call flush_cstdio() AFTER redirect_stdout kalmarek 2017-09-19 17:37:35 +0200
4e3bcbba6e update to the new Nemo.Generic module kalmarek 2017-09-15 18:17:50 +0200
5ac2876e31 update to julia v0.6.0 kalmarek 2017-09-15 18:16:31 +0200
0693455656 Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl kalmarek 2017-09-10 13:39:52 +0200
ef407c6a24 correct the final printout 1703.09680v1 kalmar 2017-04-08 13:49:57 +0200
926f62cde1 yet another change to printed format kalmar 2017-04-01 17:10:01 +0200
c5741f0ce3 Merge remote-tracking branch 'origin/enh/rename_sgap' into 1703.09680v1 kalmarek 2017-09-10 13:05:43 +0200
80a3740b7a be more specific about versions of pkgs required kalmarek 2017-09-10 12:48:15 +0200
b46ed5ae96 Revert "ccall((:printf, "libc"), ...) produces segfault for large examples??" kalmarek 2017-09-09 20:47:12 +0200
d8f04957b6 replace isfile by exists kalmarek 2017-09-06 16:02:46 +0200
a61cff986e verbose&check for possible rank reduction in Uπs kalmarek 2017-08-27 21:25:12 +0200
3b723e7f0e Add logging when verbose=true kalmarek 2017-08-27 21:23:42 +0200
6df4c790c0 Sparsification of a dense matrix is not required to be rank preserving kalmarek 2017-08-27 21:23:14 +0200
972697e2ba cosmetic kalmarek 2017-08-27 20:24:18 +0200
be1251f274 Merge branch 'enh/logging' kalmarek 2017-08-27 19:57:16 +0200
b781dae356 @logtime(logger, ex) macro kalmarek 2017-08-27 19:56:35 +0200
69a3ab8d87 ccall((:printf, "libc"), ...) produces segfault for large examples?? kalmarek 2017-08-27 19:13:20 +0200
f543d847ea Save memory: ΔandSDPconstraints takes a lot of it kalmarek 2017-08-27 19:12:21 +0200
830ef95181 Merge branch 'enh/aug_correction' kalmarek 2017-08-27 19:11:11 +0200
757f89e54b no need to limit precision in rationalise_and_project kalmarek 2017-08-27 19:09:17 +0200
2724612ea3 better logging in Orbit-wise.jl kalmarek 2017-08-27 19:06:17 +0200
0c40e16e9e fix double assignment of constraints kalmarek 2017-08-27 19:01:32 +0200
8a6707eddd rework addconstraints! with progress printing kalmarek 2017-08-27 19:00:49 +0200
db55927729 sparsify! in transform and in constrLHS kalmarek 2017-08-27 18:59:16 +0200
7dbd11bebf eps-sparsify for both sparse and dense matrices kalmarek 2017-08-27 18:58:01 +0200
151a6ff6da better density for dense matrices kalmarek 2017-08-27 18:57:27 +0200
7fd18e9e57 logging kalmarek 2017-08-27 18:50:56 +0200
56d944e8af correct columns of Q directly to intervals kalmarek 2017-08-27 18:46:31 +0200
9840268250 use threaded version of matrix reps kalmarek 2017-08-27 18:37:44 +0200
f3d813cb67 reworked reconstruct_sol with axpy! kalmarek 2017-08-27 18:37:09 +0200
33dc278762 threaded matrix_reps and perm_reps kalmarek 2017-08-27 18:35:35 +0200
6061f731b3 threaded generation of matrix reps kalmarek 2017-08-27 18:32:50 +0200
0cc0ad94a6 threaded orbit_decomposition kalmarek 2017-08-27 18:32:19 +0200
9328fa9187 single-threaded compute_SOS with @parallel option kalmarek 2017-08-27 18:30:49 +0200
9a62cc2444 threaded minimalprojections kalmarek 2017-08-27 18:29:38 +0200
94074750cf limit the accuracy of rationalization to sensible value kalmar 2017-08-04 21:27:10 +0200
8f88035bb7 in-place projection to augmentation ideal kalmar 2017-08-04 20:50:06 +0200
c4dcaf25fe @parallelising computation of SOS kalmar 2017-08-04 20:47:38 +0200
7d42f28b29 put rationalization and projection to augmentation in a separate function kalmar 2017-08-04 20:36:25 +0200
845d7733a4 indentation kalmar 2017-08-04 20:33:21 +0200

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