|
0693455656
|
Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl
|
2017-09-10 13:39:52 +02:00 |
|
|
b46ed5ae96
|
Revert "ccall((:printf, "libc"), ...) produces segfault for large examples??"
This reverts commit 69a3ab8d87 .
This should be commented on machine-basis
|
2017-09-09 20:47:12 +02:00 |
|
|
d8f04957b6
|
replace isfile by exists
which returns true also for symlinks
|
2017-09-06 16:02:46 +02:00 |
|
|
a61cff986e
|
verbose&check for possible rank reduction in Uπs
|
2017-08-27 21:25:12 +02:00 |
|
|
3b723e7f0e
|
Add logging when verbose=true
|
2017-08-27 21:23:42 +02:00 |
|
|
6df4c790c0
|
Sparsification of a dense matrix is not required to be rank preserving
This can bite!
|
2017-08-27 21:23:14 +02:00 |
|
|
972697e2ba
|
cosmetic
|
2017-08-27 20:24:18 +02:00 |
|
|
be1251f274
|
Merge branch 'enh/logging'
|
2017-08-27 19:57:16 +02:00 |
|
|
b781dae356
|
@logtime(logger, ex) macro
|
2017-08-27 19:56:35 +02:00 |
|
|
69a3ab8d87
|
ccall((:printf, "libc"), ...) produces segfault for large examples??
|
2017-08-27 19:13:20 +02:00 |
|
|
f543d847ea
|
Save memory: ΔandSDPconstraints takes a lot of it
|
2017-08-27 19:12:21 +02:00 |
|
|
830ef95181
|
Merge branch 'enh/aug_correction'
|
2017-08-27 19:11:11 +02:00 |
|
|
757f89e54b
|
no need to limit precision in rationalise_and_project
since we project directly to intervals the computational load is negligible
|
2017-08-27 19:09:56 +02:00 |
|
|
2724612ea3
|
better logging in Orbit-wise.jl
|
2017-08-27 19:06:17 +02:00 |
|
|
0c40e16e9e
|
fix double assignment of constraints
|
2017-08-27 19:01:32 +02:00 |
|
|
8a6707eddd
|
rework addconstraints! with progress printing
|
2017-08-27 19:00:49 +02:00 |
|
|
db55927729
|
sparsify! in transform and in constrLHS
|
2017-08-27 18:59:16 +02:00 |
|
|
7dbd11bebf
|
eps-sparsify for both sparse and dense matrices
|
2017-08-27 18:58:13 +02:00 |
|
|
151a6ff6da
|
better density for dense matrices
|
2017-08-27 18:57:27 +02:00 |
|
|
7fd18e9e57
|
logging
|
2017-08-27 18:50:56 +02:00 |
|
|
56d944e8af
|
correct columns of Q directly to intervals
hopefully containing 0
|
2017-08-27 18:46:31 +02:00 |
|
|
9840268250
|
use threaded version of matrix reps
|
2017-08-27 18:37:44 +02:00 |
|
|
f3d813cb67
|
reworked reconstruct_sol with axpy!
|
2017-08-27 18:37:09 +02:00 |
|
|
33dc278762
|
threaded matrix_reps and perm_reps
|
2017-08-27 18:35:35 +02:00 |
|
|
6061f731b3
|
threaded generation of matrix reps
|
2017-08-27 18:32:50 +02:00 |
|
|
0cc0ad94a6
|
threaded orbit_decomposition
|
2017-08-27 18:32:19 +02:00 |
|
|
9328fa9187
|
single-threaded compute_SOS with @parallel option
|
2017-08-27 18:30:49 +02:00 |
|
|
9a62cc2444
|
threaded minimalprojections
|
2017-08-27 18:29:38 +02:00 |
|
|
94074750cf
|
limit the accuracy of rationalization to sensible value
to avoid running out of memory!
|
2017-08-04 21:27:10 +02:00 |
|
|
8f88035bb7
|
in-place projection to augmentation ideal
|
2017-08-04 20:50:06 +02:00 |
|
|
c4dcaf25fe
|
@parallelising computation of SOS
|
2017-08-04 20:47:38 +02:00 |
|
|
7d42f28b29
|
put rationalization and projection to augmentation in a separate function
to have gc collect unused matrices of Rationals after this is finished
|
2017-08-04 20:36:25 +02:00 |
|
|
845d7733a4
|
indentation
|
2017-08-04 20:33:21 +02:00 |
|
|
9ed8679c95
|
simplify groupring_square
|
2017-08-04 20:33:02 +02:00 |
|
|
b97a0e30dd
|
threaded matrix_reps
|
2017-08-04 18:25:10 +02:00 |
|
|
666fac1775
|
Threaded version of projection to the augmentation ideal
|
2017-08-04 15:30:12 +02:00 |
|
|
47a41ac9fe
|
Threaded version of reconstruct_sol
|
2017-08-03 11:35:34 +02:00 |
|
|
a460b71db9
|
redirect stderr to full_log
|
2017-08-03 11:34:38 +02:00 |
|
|
a6eed4cd11
|
add @time to reconstruct_sol
|
2017-08-01 10:30:33 +02:00 |
|
|
1f508ea85c
|
replace fixed rankOne_projections with automatically generated ones
|
2017-08-01 10:29:38 +02:00 |
|
|
c86f46666a
|
Cstar_reprs are usually sparse
|
2017-07-31 12:13:45 +02:00 |
|
|
cda9538653
|
fix Cstar_repr: explicit Float64 conversion
|
2017-07-31 12:13:14 +02:00 |
|
|
15140d4e39
|
use sparsified U\pi's by default
|
2017-07-28 12:45:04 +02:00 |
|
|
f6674337ed
|
sparsify only once during the reconstruction
|
2017-07-28 12:44:25 +02:00 |
|
|
706097931a
|
fix: central_projection asks for AbstractCharacter
|
2017-07-28 12:25:14 +02:00 |
|
|
4bb52bd34b
|
my Characters return Julia's Ints
|
2017-07-27 22:06:32 +02:00 |
|
|
93ba763402
|
Allow evaluation of Characters on GroupRingElems
|
2017-07-27 22:06:02 +02:00 |
|
|
536542c3a6
|
Introduce {Perm,DirectProd}Character <: AbstractCharacter <: Function
|
2017-07-27 22:05:15 +02:00 |
|
|
b89598c67c
|
slight(?!) optimisation to Cstar_repr
|
2017-07-27 22:02:07 +02:00 |
|
|
0a3b5b227d
|
accommodate latest changes in Nemo characters
|
2017-07-27 20:36:22 +02:00 |
|