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

305 Commits

Author SHA1 Message Date
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
1597784ac5 add the standard linear representation for Automorphisms 2018-04-10 13:14:45 +02:00
df554480ea parametrize WreathProduct over Integers 2018-04-10 13:09:50 +02:00
f2fb7f53cd move ==(::GSymbol, ::GSymbol) to Groups.jl 2018-04-09 13:00:50 +02:00
b8abe64656 Parametrise Automorphisms on Integer type 2018-04-09 12:59:47 +02:00
3ac9231032 replace free_reduce! -> freereduce! 2018-04-02 18:19:55 +02:00
3ff1f1897e fix simplify_perms! → simplifyperms!
Currently it passes twice over W.symbols, but should be correct
2018-04-02 18:18:12 +02:00
f9ede91343 replace delete_ids! -> deleteids! 2018-04-02 18:15:12 +02:00
c880b51346 remove isone(::GSymbol) 2018-03-29 19:37:32 +02:00
d1db939a63 newnew version of hash and == 2018-03-29 19:24:15 +02:00
d83af99fbc rework reduce! and sumplify_perms! using delete_ids! 2018-03-29 19:23:24 +02:00
40cf8a4e9f new version of reduce! and free_reduce using delete_ids!
delete_ids requires second pass of W.symbols, but is so much easier to
get it right!
2018-03-29 19:19:34 +02:00
eed218da3c rework hash, == 2018-03-28 12:28:47 +02:00
e6b1b2a663 make id always have length 0 2018-03-28 12:21:50 +02:00