 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
|
b491d2c572
|
fix tests for AutSymbol and flip_autsymbol
|
2017-05-12 21:21:39 +02:00 |
|
kalmar
|
2461b42e9c
|
tests for FPGroup and FreeGroup(n::Int)
|
2017-05-12 21:19:57 +02:00 |
|
kalmar
|
51694c4fbf
|
add FreeGroup(n::Int) convenience
|
2017-05-12 21:19:08 +02:00 |
|
kalmar
|
1284ded447
|
one(AutSymbol) is replaced by id_autsymbol
|
2017-05-12 21:18:38 +02:00 |
|
kalmar
|
639c05b4fa
|
further tests
|
2017-05-12 20:49:02 +02:00 |
|
kalmar
|
f2e5eebecf
|
update tests
|
2017-05-12 20:34:41 +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
|
a886929948
|
FP{Symbol, Group, GroupElem} -> Free{Symbol, Group, GroupElem}
|
2017-05-12 20:30:42 +02:00 |
|
kalmar
|
361abed62f
|
add abstract FPGroup <: Group
|
2017-05-12 20:29:04 +02:00 |
|
kalmar
|
1bd2d7fe25
|
update includes
|
2017-05-12 20:15:03 +02:00 |
|
kalmar
|
86ec33b8a0
|
mv FPGroup.jl -> FreeGroup.jl
|
2017-05-12 20:14:26 +02:00 |
|
kalmar
|
195c7c4392
|
move automorphism_groups.jl -> AutGroup.jl
|
2017-05-12 20:14:06 +02:00 |
|
kalmar
|
1fc4405b77
|
Add headers
|
2017-05-12 20:11:10 +02:00 |
|
kalmar
|
ffe0e901b2
|
Export AutSymbo, AugGroupElem, AutGroup; AutSymbols are internals
|
2017-05-12 20:10:34 +02:00 |
|
kalmar
|
53bc7fe05c
|
add elem_type, parent_type, generators
|
2017-05-12 20:09:03 +02:00 |
|
kalmar
|
39d64b7e69
|
update getperm
|
2017-05-12 20:08:27 +02:00 |
|
kalmar
|
f6f2258629
|
ASCII compatible subscriptify function
|
2017-05-12 20:06:42 +02:00 |
|
kalmar
|
51baeb1326
|
new functions defining AutSymbols actions
|
2017-05-12 20:05:32 +02:00 |
|
kalmar
|
b130417a38
|
move (==), hash, change_pow, inv
|
2017-05-12 20:04:03 +02:00 |
|
kalmar
|
26eb8b35cb
|
AutWord -> AutGroupElem
|
2017-05-12 20:02:41 +02:00 |
|
kalmar
|
7528ab631e
|
remove IdSymbol
|
2017-05-12 19:56:26 +02:00 |
|
kalmar
|
6993c284cd
|
AutGroup constructor
|
2017-05-12 19:55:50 +02:00 |
|
kalmar
|
5aa68207df
|
remove convert: its done in Groups.jl
|
2017-05-12 19:55:26 +02:00 |
|
kalmar
|
2c35d8427e
|
new definition of AutSymbol, AutGroupElem and its parent AutGroup
|
2017-05-12 19:55:07 +02:00 |
|
kalmar
|
bab1a64042
|
move AutSymbol call overload
|
2017-05-12 19:52:27 +02:00 |
|
kalmar
|
bd1208e2f8
|
skip G.rels tests
|
2017-05-12 19:50:17 +02:00 |
|
kalmar
|
84830f0d3a
|
remove rels from FPGroup making it effecively FreeGroup
|
2017-05-12 19:49:54 +02:00 |
|
kalmar
|
83e40972a7
|
define show for <:GSymbol
|
2017-05-12 19:48:33 +02:00 |
|
kalmar
|
3d944d2de2
|
define isone for <:GSymbol
|
2017-05-12 19:46:59 +02:00 |
|
kalmar
|
9dafd3c09c
|
remove unnecessary ::Bools
|
2017-05-12 19:46:08 +02:00 |
|
kalmar
|
2e6cd65d39
|
massive overhaul of tests
|
2017-05-11 18:30:23 +02:00 |
|
kalmar
|
0891f28c6f
|
include FPGroups.jl in Groups
|
2017-05-11 18:30:03 +02:00 |
|
kalmar
|
2a3baab61a
|
indentation
|
2017-05-11 18:28:29 +02:00 |
|
kalmar
|
f256f60ca3
|
headers
|
2017-05-11 18:28:00 +02:00 |
|
kalmar
|
9570b8c84a
|
remove unused
|
2017-05-11 18:27:05 +02:00 |
|
kalmar
|
0c699894fa
|
FreeGroup utility function
|
2017-05-11 18:26:37 +02:00 |
|
kalmar
|
8dd4d96b6f
|
actually (<) and (<=) for FPSymbols were never used
|
2017-05-11 18:25:23 +02:00 |
|
kalmar
|
5f90c0c7b1
|
add_rel! and quotientgroup for the future
|
2017-05-11 18:24:05 +02:00 |
|
kalmar
|
1c638e296c
|
FPSymbol inversion
|
2017-05-11 18:23:01 +02:00 |
|
kalmar
|
e2585b5733
|
(==), (<) and (<=) for FPSymbols
|
2017-05-11 18:22:37 +02:00 |
|
kalmar
|
6d8f244ee8
|
show for FPSymbol
|
2017-05-11 18:22:04 +02:00 |
|
kalmar
|
48a80760fd
|
add_gen! was never used
|
2017-05-11 18:21:40 +02:00 |
|
kalmar
|
1e8c9468de
|
G.gens return parentless symbols; use generators(G);
|
2017-05-11 18:21:05 +02:00 |
|
kalmar
|
6c312cfef3
|
hash, isone, change_pow, length for FPSymbol
|
2017-05-11 18:19:59 +02:00 |
|
kalmar
|
31cb855c9c
|
FPGroup type overloads
|
2017-05-11 18:18:06 +02:00 |
|
kalmar
|
f3c36f132b
|
parent_type, elem_type
|
2017-05-11 18:17:42 +02:00 |
|
kalmar
|
71c2367cae
|
exports
|
2017-05-11 18:17:08 +02:00 |