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

120 Commits

Author SHA1 Message Date
c60679874d slight revision of products 2017-02-11 13:31:01 +01:00
7cc456770d create constraints from pm not the other way round 2017-02-11 13:30:17 +01:00
c5de9c206f total rewrite with the aim of modularisation 2017-02-11 13:28:26 +01:00
c59ebe5086 beautify rationalize of algebra elt 2017-02-11 13:27:14 +01:00
9fd48445eb Make algebra elts work with SparseVectors 2017-02-11 13:26:30 +01:00
e69f5d13b6 Splitted into Groups.jl package 2017-01-26 10:28:41 +01:00
56b63058e3 fix printing of GSymbol: No special (id) symbol 2017-01-23 11:30:07 +01:00
3e4f7a36a2 remove comment: ScottPJones advice 2017-01-23 11:29:05 +01:00
57a54843d4 rename reduce! -> freegroup_reduce! 2017-01-23 11:25:36 +01:00
31fe54b75b change name IDSymbol -> IdSymbol 2017-01-23 11:23:36 +01:00
6fe2e62836 compose consecutive permutation automorphisms 2017-01-21 17:24:32 +01:00
9eeeb452f0 make pow a keyword argument for all primitive AutSymbols 2017-01-21 17:22:55 +01:00
cb5b70c74d full change_pow function for AutSymbol 2017-01-21 17:21:45 +01:00
b19d8b7185 IdSymbol for AutSymbols 2017-01-21 17:20:15 +01:00
5572b0c1ce Make AutGroups into standalone module 2017-01-21 17:19:08 +01:00
cb47c62f5d (==) and hash functions for AutGroups 2017-01-21 17:17:45 +01:00
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