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

188 Commits

Author SHA1 Message Date
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
c056c99c1f use dictionary for characters values 2017-07-12 20:15:09 +02:00
9d8f001363 use sign(::perm) 2017-07-12 20:11:43 +02:00
78490e6ca8 visual changes to central projection 2017-07-09 14:55:19 +02:00
94fd8f0bf9 fix: can not assign in short-circut eval 2017-07-06 09:03:05 +02:00
7a39775fff Merge branch 'master' into enh/sparsification 2017-07-05 13:24:21 +02:00
94607bfaac don't redirect errors to full_log 2017-07-05 13:23:54 +02:00
8810836fab specialise that mreps should be a dict 2017-07-05 13:23:26 +02:00
ca3e606ab6 use the dot-syntax to broadcast abs 2017-07-05 13:22:59 +02:00
b3f596d8d8 save sparsified U\pis for futher experiments 2017-07-05 13:19:41 +02:00
e648d2c370 another sparsify 2017-07-05 13:19:12 +02:00
c0e2577684 sparsify by default 2017-07-05 13:14:58 +02:00
760270d2e0 new, unified sparsify 2017-07-05 13:14:34 +02:00
f3874828e7 increase the default precision in check_distance_to_positive_cone 2017-07-05 13:03:25 +02:00
dad6576365 better specialised groupring_square 2017-07-05 12:28:29 +02:00
6b9d2b5d28 update to the latest version of IntervalArithmetic 2017-07-05 12:24:49 +02:00
bfdc08e91d require IntervalArithmetic v0.9.1 2017-06-25 09:34:16 +02:00
310165b864 broader arrays in signature of distance_to_cone 2017-06-25 09:33:25 +02:00
0e89b12e90 move functions 2017-06-25 09:31:52 +02:00
ac18923631 use IntervalArithmetic instead of ValidatedNumerics 2017-06-25 09:29:31 +02:00
ff4f9e7857 faster version of reconstruct_sol 2017-06-23 13:38:45 +02:00
fd32ddbe82 use the given precision as rationalisation precision 2017-06-23 13:30:37 +02:00
709f030cb5 Nemo is already in scope 2017-06-22 21:06:51 +02:00
b7d9731f8b update to IntervalArithmetic v0.10.0 2017-06-22 15:48:06 +02:00
1053a28970 remove left-over usings/imports 2017-06-22 15:31:55 +02:00
4bde63f580 final integration via includes 2017-06-22 15:15:55 +02:00
be1c473e4a cleaning using and imports 2017-06-22 15:15:43 +02:00
3c0ecd2e73 DirectProducts and WreathProducts are in Groups now 2017-06-22 15:14:15 +02:00