|
|
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 |
|
|
|
6eebaf6945
|
use released version of AbstractAlgebra
|
2018-07-30 15:24:39 +02:00 |
|
|
|
43b6d5bf40
|
fix tests
|
2018-07-30 15:20:37 +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 |
|
|
|
7663381084
|
switch to AbstractAlgebra
|
2018-04-11 08:13:23 +02:00 |
|
|
|
c4f5bea063
|
Merge branch 'master' of https://github.com/kalmarek/Groups.jl
# Conflicts:
# test/WreathProd-tests.jl
|
2018-04-10 13:20:35 +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 |
|
|
|
777684db28
|
fix tests for parametrised Automorphisms
|
2018-04-09 13:01:21 +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 |
|
|
|
d46c5dafcc
|
Vector{Groups.FreeGroupElem} fixed itself
|
2018-04-03 15:43:17 +02:00 |
|
|
|
435d3d88ad
|
fix simplifyperms! test
|
2018-04-03 15:36:32 +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 |
|
|
|
f493ed7283
|
rewrite simplify_perms!
|
2018-03-28 12:20:03 +02:00 |
|
|
|
6b0499005f
|
rename field of PermAut p->perm
|
2018-03-28 12:19:18 +02:00 |
|
|
|
41abf789ef
|
eliminate GWord and replace is_subsymbol by issubsymbol
|
2018-03-28 00:54:52 +02:00 |
|
|
|
3dcef3189e
|
AutGroupElem -> Automorphism{N}
|
2018-03-27 21:49:22 +02:00 |
|
