1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 14:35:28 +01:00
Commit Graph

318 Commits

Author SHA1 Message Date
920bc1f28d
fix evaluate 2020-03-14 08:56:26 -07:00
68abfafd29
introduce evaluate function 2020-03-12 18:36:17 -05:00
6fd89c5a61
tweak the reduce! constant 2020-03-12 18:35:53 -05:00
5414988e98
periodically reduce words in automorphism evaluation
to avoid exponential explosion in length (when possible)
2020-03-12 00:18:33 -05:00
4bcd851031
fix FPGroups and add basic tests 2019-11-15 23:56:36 +01:00
dd4ed1497c
move from G() to Base.one(G) 2019-11-14 09:21:11 +01:00
32e968a79b
small update to hashing Automorphisms 2019-11-14 09:20:23 +01:00
8a42e33b6d
update to AA-v0.7 → bump to v0.2.3 2019-10-30 16:25:09 +01:00
998a9cdf43
remove MltGrp/AddGrp 2019-10-30 16:22:58 +01:00
fc4b01a193
broaden signature of generate_balls to include NCRingElems 2019-06-30 19:55:56 +02:00
54825b4964
add AbstractAlgebra.mul! 2019-06-05 10:58:44 +02:00
femtocleaner[bot]
be7b401762 Fix deprecations 2018-09-26 18:03:07 +00:00
883b85a7dc re-parametrize WreathProducts 2019-01-09 16:44:04 +01:00
d579dd8f35 widen generate_balls's signature 2019-01-09 16:43:44 +01:00
1aa64647c8 replace strings with Symbols 2019-01-03 03:37:37 +01:00
3cc6262356 simplify type of AutSymbols 2019-01-03 03:37:02 +01:00
44f08716d2 iterate directly over groups (removes elements) 2019-01-02 15:49:52 +01:00
4dcc9121a0 don't use try-catch in constructing WreatProductElements 2019-01-02 15:48:38 +01:00
74a559a17b change WreathProducts accordingly 2019-01-02 15:47:58 +01:00
e8b90ab54a base DirectPowerElem on N-tuples 2019-01-02 15:45:46 +01:00
38e327c385 replace DirectProduct -> DirectPower 2019-01-02 10:30:25 +01:00
3b1694f851 iteration for GFField 2018-09-21 19:10:28 +02:00
37af8ec218 remove automatic AdditiveGroup from WreathProductElem 2018-09-21 19:08:21 +02:00
68763ca37b fix warnings with ^(..., n::Integer) 2018-09-21 18:47:02 +02:00
b5af5fc9b5 remove "Base.{...}" 2018-09-21 18:46:17 +02:00
fbc4d8aec7 fix problems with importing × 2018-09-21 18:36:13 +02:00
46e2dc5faf the new iterator protocol for AddGrp and MltGrp 2018-09-21 18:34:50 +02:00
0750a47853 rework DirectProdIter to the new iteration protocol 2018-09-21 18:14:48 +02:00
e28c296bce PermGroup is iterable in AbstractAlgebra master 2018-09-21 18:10:34 +02:00
0286ca7c4d replace converts by constructors 2018-09-21 18:09:13 +02:00
77efcdff3e trivial changes for julia-0.7 2018-09-21 18:08:44 +02:00
e6d67ca3f7 add DirectPowerIter struct to iterate over DirectProduct 2018-08-08 14:12:55 +02:00
60c04f0dbd fix type instability in domain 2018-08-07 23:51:15 +02:00
84d601817c avoid creation of parent in perm_autsymbol and skip perm check 2018-08-01 23:21:47 +02:00
87a7285ba5 don't use length for permutation 2018-08-01 22:39:43 +02:00
d373a0c7c2 add comment why specialized deepcopy for GWords is necessary 2018-07-30 15:20:12 +02:00
7f25d96038 Automorphism: initialize hash to 0x0 2018-07-30 15:19:18 +02:00
e9ae22cfe9 convenience (S)Aut(G) and (G::WreathProduct)(n,p) constructors 2018-07-30 15:01:20 +02:00
0a20c5bb73 change hashing constant for reproducible hash of Automorphisms 2018-07-30 15:00:02 +02:00
192230c8d3 throw uniformly DomainError on check 2018-07-30 14:59:11 +02:00
0de75f1262 convenience constructors for DirectProduct 2018-07-30 14:56:28 +02:00
8a40d76143 add setindex!(::DirectProductGroupElem) 2018-07-30 14:54:54 +02:00
5ac1ea7ba8 rename Automorphism.typ -> Automorphism.fn 2018-07-30 14:54:09 +02:00
d78f1ec38a remove specialized deepcopy 2018-07-30 14:53:20 +02:00
78abdc3181 fix elem_types: they dispatch on TYPE of parent 2018-07-30 14:07:42 +02:00
1783ba5065 fix indentation 2018-07-30 14:05:47 +02:00
0ab4df2ce5 WreathProduct uses the additive group of a ring by default 2018-07-30 14:03:51 +02:00
93253115ab Introduce AddGrp, MltGrp etc.
for the additive group of a ring.
2018-07-30 14:03:04 +02:00
fe0e22f0bf align to perms acting on the right 2018-07-30 13:54:15 +02:00
158ce5ee27 replace Nemo -> AbstractAlgebra 2018-07-30 08:30:27 +02:00