267 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	60faa5d944	don't require Permutations and Combinatorics; Nemo is enough	2017-05-15 17:06:03 +02:00
kalmar	5772e09ed7	split tests into separate files	2017-05-15 10:12:46 +02:00
kalmar	2d3ed657e7	deepcopy_internal for FreeGroupElems	2017-05-15 09:54:28 +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	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