1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 18:25:30 +01:00
Commit Graph

648 Commits

Author SHA1 Message Date
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
9d3eec6812 fix: mixed-up projections 2017-07-27 20:35:39 +02:00
582b7bc3c7 avoid transposing Us for every constraint 2017-07-26 18:02:21 +02:00
5332d806cc Merge branch 'enh/sparsification' 2017-07-26 12:59:09 +02:00
335a2aa216 change rounding mode to :tight 2017-07-26 12:58:39 +02:00
66f860bac1 sparsify both on the forward and backward transform 2017-07-26 12:15:31 +02:00
3ff649683a FIXXX: clamp to 0 only those eps-close to 0, not < eps 2017-07-26 12:12:58 +02:00
33b45dd518 merge two sparsify functions 2017-07-26 10:29:11 +02:00
da32893d64 move setup-logging to the top of the file 2017-07-21 17:12:27 +02:00
a82eb13ef5 use views and broadcasting 2017-07-21 17:11:58 +02:00
95bc1eaff5 make EOI a one-liner 2017-07-21 17:11:25 +02:00
e74b4c49ef use the new definition of base-less mul! in GroupRings 2017-07-21 17:10:52 +02:00
b8a40c42c8 indentation 2017-07-17 15:40:54 +02:00
5d6074c368 rework ranOne_projections(::WreathProduct...) using emb functions
Still messy
2017-07-17 12:28:17 +02:00
6ecd63197b account for changes in order of characters 2017-07-17 12:27:28 +02:00
4e48917a38 characters of symmetric group are now implemented in Nemo 2017-07-17 12:26:10 +02:00
d7b7759e5d fix: delete superfluous parenthesis 2017-07-17 10:28:18 +02:00
d603bbd329 cut on allocating another GrupRingElement 2017-07-17 10:18:26 +02:00
143695ed24 Revert "parametrise central_projection by the type of character"
This reverts commit 820517a04e.
2017-07-17 10:12:09 +02:00
820517a04e parametrise central_projection by the type of character 2017-07-17 09:43:19 +02:00
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
aec153ca21 cosmetic 2017-07-17 09:39:46 +02:00
cb10afe6f6 save one value computation 2017-07-16 21:42:53 +02:00
680d888b68 keep permtype consistent with partitions (i.e. rev-sorted) 2017-07-13 17:47:40 +02:00
af74ae6fb0 add hand-crafted projections for PermutationGroup(5) 2017-07-12 20:23:27 +02:00
5906715902 use T to specify type of projection elements 2017-07-12 20:23:00 +02:00
8819269689 central projections tend to be dense 2017-07-12 20:18:42 +02:00
451245419c add characters for PermutationGroup(5) 2017-07-12 20:15:31 +02:00