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

304 Commits

Author SHA1 Message Date
bfa1ad73ef better inverse function 2017-01-21 17:15:59 +01:00
58c90d244d (==) and reduce! functions as suggested by ScottPJones 2017-01-21 17:15:33 +01:00
1189c38504 Separation between Groups, FreeGroups and AutGroups 2017-01-19 10:14:37 +01:00
cec6f98392 move FreeGroups to Groups 2017-01-18 17:52:57 +01:00
04e72bf17a oh boy, we need a lot of work to make unique work... 2017-01-18 17:51:58 +01:00
4aa92cda36 a better (iterative) reduce 2017-01-18 17:50:29 +01:00
9c06c9b161 Added AutSymbol&AutWord; Sorted out one() as Group identity 2017-01-18 17:49:50 +01:00
2a0e6ee4fb Parametrising Automorphisms 2017-01-17 17:54:56 +01:00
c858b77b8c Reshuffling of definitions 2017-01-17 17:54:30 +01:00
4cb85478d8 Ignore even more files 2017-01-17 15:14:16 +01:00
d3dc8dce94 Major Overhaul: abstract types: Word, GSymbol
Signed-off-by: kalmar <kalmar@amu.edu.pl>
2017-01-17 15:13:54 +01:00
d21d10228b bite the bullet: implement FreeGroups 2017-01-17 08:01:22 +01:00
0ff0eefbd5 Explain why the linear to AutF4 fails (for low dim reps) 2017-01-16 21:26:10 +01:00
f04cd75d73 remove unnecessary function arguments annotations 2017-01-16 21:25:14 +01:00
c1bd866dd4 Cosmetics 2017-01-14 15:25:12 +01:00
b80e32f3a8 Parallel compute_SOS 2017-01-14 15:24:16 +01:00
2508dba1e4 Initial AutF4 work (naive basis, etc) 2017-01-13 18:42:43 +01:00
fb2fa1c3ac SemiDirect Products of matrix groups 2017-01-13 18:42:07 +01:00
a61205d7f5 comment solving, results are cached 2017-01-13 18:41:21 +01:00
ad6c0a2365 infos 2017-01-13 18:39:02 +01:00
80b2ad0987 Precomputed values for SL(3,Z) 2017-01-13 18:23:28 +01:00
deedcf707b Use the norm function; shuffle returns of check_solution 2017-01-13 18:07:41 +01:00
bbd3027f95 early unique in basis generation 2017-01-13 18:05:29 +01:00
aa184ebb29 initialize product_matrix as zeros 2017-01-13 18:04:20 +01:00
a8bf216c7e cosmetic 2017-01-13 18:03:08 +01:00
95618eb0f9 better use of findfirst in create_product_matrix 2017-01-13 18:02:34 +01:00
239521f159 workaround norm(vector,p) type-instability (p=1, Inf) 2017-01-13 18:00:14 +01:00
73500f4931 Augmentation epsilon function 2017-01-13 17:59:30 +01:00
0cf908ee13 Separate GroupAlgebras logic from multiplication 2017-01-13 17:59:01 +01:00
e6f3051d83 remove ipnb 2017-01-13 17:58:02 +01:00
91140ce5fa SL(3,Z) specific code 2017-01-09 01:03:46 +01:00
90ef2e2c8c Abstract group-unspecific functions 2017-01-09 01:01:31 +01:00
53dec056e0 Rationalizing properly done 2017-01-09 00:59:40 +01:00
ce2ebc7284 finally straighten printing of GroupAlgebraElements 2017-01-09 00:54:31 +01:00
723957f415 Rename coordinates to coefficients 2016-12-23 00:51:06 +01:00
2476101af3 Revert "Move parametrising GroupAlgebraElements by the Vector-type"
This reverts commit 0d5a2c0bc5.
2016-12-22 22:12:52 +01:00
0d5a2c0bc5 Move parametrising GroupAlgebraElements by the Vector-type 2016-12-22 20:25:55 +01:00
8d1fbf0f62 A more performant version of SOS decomposition 2016-12-22 02:39:18 +01:00
5bc90f49e1 The performant version of group_star_multiplication 2016-12-22 00:59:06 +01:00
5dc0dff3ff Remove old checks for length of GAE and basis 2016-12-21 23:48:02 +01:00
668fd4e16a GroupAlgebraElements are longer than SDP matrix 2016-12-21 23:45:58 +01:00
c2ba0c170c gitignore 2016-12-21 16:06:59 +01:00
70b6b987ab Remove GAP code for SL(3,Z); we do everything in julia now; 2016-12-21 16:06:01 +01:00
f433ab8e6e Final changes to incorporate full *-product matrix & constraints 2016-12-21 16:03:19 +01:00
5b3f944cd0 Move Generation of Laplacian to julia (for Linear Groups) 2016-12-21 16:02:03 +01:00
9257f57aef GroupAlgebra elements are way longer than the product matrix 2016-12-21 15:58:44 +01:00
d479ebd91c Better printing for Group Algebra elements 2016-12-21 15:41:56 +01:00
267abd9b9f product_matrix and basis for linear groups (in julia) 2016-12-21 10:00:22 +01:00
3a79623c48 DomainError -> ArgumentError as the former don't accept message 2016-12-21 09:57:32 +01:00
cb15964bfd Warn in multiplication of elts of K[G], when discarding a product 2016-12-20 17:57:42 +01:00