kalmarek
|
30f44cca71
|
remove outer keyword (it was wrong!)
|
2017-10-04 21:34:59 +02:00 |
kalmarek
|
261f7761eb
|
use the new Nemo.Generic module
|
2017-09-15 18:54:32 +02:00 |
kalmarek
|
32a76f9efa
|
remove Compat
|
2017-09-13 11:22:21 +02:00 |
kalmar
|
02c1022846
|
use @compat for types, etc
|
2017-07-06 09:22:56 +02:00 |
kalmar
|
95ac3940d7
|
FreeGroup and AutGroup are AbstractFPGroups
|
2017-07-06 09:17:17 +02:00 |
kalmar
|
392214b697
|
fix: don't shadow gens function
|
2017-07-06 09:04:48 +02:00 |
kalmar
|
5d51855d17
|
add unified gens(G::FPGroup) function
|
2017-07-05 16:26:14 +02:00 |
kalmar
|
7db7119a29
|
show for AutGroup
|
2017-05-15 17:29:12 +02:00 |
kalmar
|
d3a9f8d3f6
|
perm_autsymbol(::Vector{Int}) convenience function
|
2017-05-15 17:23:49 +02:00 |
kalmar
|
9606a14743
|
finish reduce if both simplify_perms! and free_reduce! return true
|
2017-05-15 17:23:23 +02:00 |
kalmar
|
18ae84d9cd
|
streamline and adapt simplify_perms!
|
2017-05-15 17:21:48 +02:00 |
kalmar
|
c20259e1b7
|
specific hash and == for AutGrouElem (as functions)
|
2017-05-15 17:20:44 +02:00 |
kalmar
|
3de09cbab5
|
remove specific deepcopy_internal -- handled by general in Groups.jl
|
2017-05-15 17:19:59 +02:00 |
kalmar
|
6121c38d7f
|
separate AutGroup from AutSymbol (functional) overload
|
2017-05-15 17:09:18 +02:00 |
kalmar
|
b50d7f7a9c
|
fix display of perm_autsymbols
|
2017-05-15 17:07:45 +02:00 |
kalmar
|
b65a202bc1
|
don't export AutSymbol
|
2017-05-15 17:06:57 +02:00 |
kalmar
|
bdca979fda
|
add length(::AutSymbol)
|
2017-05-15 09:54:08 +02:00 |
kalmar
|
c925181116
|
fieldname is gens not generators
|
2017-05-15 09:53:53 +02:00 |
kalmar
|
a04fea9a09
|
make perm_autsymbol use PermutationGroup
|
2017-05-15 09:53:22 +02:00 |
kalmar
|
26f49ce963
|
deepcopy_internal of AutGroupElem
|
2017-05-15 09:52:46 +02:00 |
kalmar
|
82d05315ab
|
coercion of AutSymbol to AutGroupElem
|
2017-05-15 09:52:10 +02:00 |
kalmar
|
fbee33153f
|
more specific AutGroupElem overload
|
2017-05-15 09:51:35 +02:00 |
kalmar
|
e8ffc55b72
|
fix the AutGroup constructor
|
2017-05-15 09:51:03 +02:00 |
kalmar
|
51b7b7a748
|
another gen -> str
|
2017-05-15 09:50:26 +02:00 |
kalmar
|
9847f8addf
|
remove using Permutations, import Base.convert
|
2017-05-15 09:49:34 +02:00 |
kalmar
|
c5ec6bb15e
|
rename fieldname gen -> str
|
2017-05-15 09:48:41 +02:00 |
kalmar
|
90437139cb
|
iterate over perm.d not over perm itself
|
2017-05-13 22:09:03 +02:00 |
kalmar
|
1284ded447
|
one(AutSymbol) is replaced by id_autsymbol
|
2017-05-12 21:18:38 +02:00 |
kalmar
|
b955eed67b
|
But so far we only implemented Aut(FreeGroup)
|
2017-05-12 20:32:33 +02:00 |
kalmar
|
117eddafd6
|
AutGroup is a FPGroup
|
2017-05-12 20:31:00 +02:00 |
kalmar
|
195c7c4392
|
move automorphism_groups.jl -> AutGroup.jl
|
2017-05-12 20:14:06 +02:00 |