Groups.jl

kalmar/Groups.jl

Fork 0

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

Commit Graph

Select branches

Hide Pull Requests

1712.07167

master

mk/update_to_PG_0.6

#1

#10

#11

#12

#13

#14

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#29

#3

#30

#31

#4

#5

#6

#7

#8

#9

v0.5.0

v0.5.1

v0.5.2

v0.6.0

v0.7.0

v0.7.1

v0.7.2

v0.7.3

v0.7.4

v0.7.5

v0.7.6

v0.7.7

v0.7.8

v0.8.0

9606a14743 finish reduce if both simplify_perms! and free_reduce! return true kalmar 2017-05-15 17:23:23 +0200
18ae84d9cd streamline and adapt simplify_perms! kalmar 2017-05-15 17:21:48 +0200
c20259e1b7 specific hash and == for AutGrouElem (as functions) kalmar 2017-05-15 17:20:44 +0200
3de09cbab5 remove specific deepcopy_internal -- handled by general in Groups.jl kalmar 2017-05-15 17:19:59 +0200
6121c38d7f separate AutGroup from AutSymbol (functional) overload kalmar 2017-05-15 17:09:18 +0200
b50d7f7a9c fix display of perm_autsymbols kalmar 2017-05-15 17:07:45 +0200
b65a202bc1 don't export AutSymbol kalmar 2017-05-15 17:06:57 +0200
60faa5d944 don't require Permutations and Combinatorics; Nemo is enough kalmar 2017-05-15 17:06:03 +0200
5772e09ed7 split tests into separate files kalmar 2017-05-15 10:12:46 +0200
2d3ed657e7 deepcopy_internal for FreeGroupElems kalmar 2017-05-15 09:54:28 +0200
bdca979fda add length(::AutSymbol) kalmar 2017-05-15 09:54:08 +0200
c925181116 fieldname is gens not generators kalmar 2017-05-15 09:53:46 +0200
a04fea9a09 make perm_autsymbol use PermutationGroup kalmar 2017-05-15 09:53:22 +0200
26f49ce963 deepcopy_internal of AutGroupElem kalmar 2017-05-15 09:52:46 +0200
82d05315ab coercion of AutSymbol to AutGroupElem kalmar 2017-05-15 09:52:10 +0200
fbee33153f more specific AutGroupElem overload kalmar 2017-05-15 09:51:35 +0200
e8ffc55b72 fix the AutGroup constructor kalmar 2017-05-15 09:51:03 +0200
51b7b7a748 another gen -> str kalmar 2017-05-15 09:50:26 +0200
9847f8addf remove using Permutations, import Base.convert kalmar 2017-05-15 09:49:34 +0200
c5ec6bb15e rename fieldname gen -> str kalmar 2017-05-15 09:48:41 +0200
90437139cb iterate over perm.d not over perm itself kalmar 2017-05-13 22:09:03 +0200
b491d2c572 fix tests for AutSymbol and flip_autsymbol kalmar 2017-05-12 21:21:39 +0200
2461b42e9c tests for FPGroup and FreeGroup(n::Int) kalmar 2017-05-12 21:19:57 +0200
51694c4fbf add FreeGroup(n::Int) convenience kalmar 2017-05-12 21:19:08 +0200
1284ded447 one(AutSymbol) is replaced by id_autsymbol kalmar 2017-05-12 21:18:38 +0200
639c05b4fa further tests kalmar 2017-05-12 20:49:02 +0200
f2e5eebecf update tests kalmar 2017-05-12 20:34:41 +0200
b955eed67b But so far we only implemented Aut(FreeGroup) kalmar 2017-05-12 20:32:33 +0200
117eddafd6 AutGroup is a FPGroup kalmar 2017-05-12 20:31:00 +0200
a886929948 FP{Symbol, Group, GroupElem} -> Free{Symbol, Group, GroupElem} kalmar 2017-05-12 20:30:42 +0200
361abed62f add abstract FPGroup <: Group kalmar 2017-05-12 20:29:04 +0200
1bd2d7fe25 update includes kalmar 2017-05-12 20:15:03 +0200
86ec33b8a0 mv FPGroup.jl -> FreeGroup.jl kalmar 2017-05-12 20:14:26 +0200
195c7c4392 move automorphism_groups.jl -> AutGroup.jl kalmar 2017-05-12 20:14:06 +0200
1fc4405b77 Add headers kalmar 2017-05-12 20:11:10 +0200
ffe0e901b2 Export AutSymbo, AugGroupElem, AutGroup; AutSymbols are internals kalmar 2017-05-12 20:10:34 +0200
53bc7fe05c add elem_type, parent_type, generators kalmar 2017-05-12 20:09:03 +0200
39d64b7e69 update getperm kalmar 2017-05-12 20:08:27 +0200
f6f2258629 ASCII compatible subscriptify function kalmar 2017-05-12 20:06:42 +0200
51baeb1326 new functions defining AutSymbols actions kalmar 2017-05-12 20:05:32 +0200
b130417a38 move (==), hash, change_pow, inv kalmar 2017-05-12 20:04:03 +0200
26eb8b35cb AutWord -> AutGroupElem kalmar 2017-05-12 20:02:41 +0200
7528ab631e remove IdSymbol kalmar 2017-05-12 19:56:26 +0200
6993c284cd AutGroup constructor kalmar 2017-05-12 19:55:50 +0200
5aa68207df remove convert: its done in Groups.jl kalmar 2017-05-12 19:55:26 +0200
2c35d8427e new definition of AutSymbol, AutGroupElem and its parent AutGroup kalmar 2017-05-12 19:55:07 +0200
bab1a64042 move AutSymbol call overload kalmar 2017-05-12 19:52:27 +0200
bd1208e2f8 skip G.rels tests kalmar 2017-05-12 19:50:17 +0200
84830f0d3a remove rels from FPGroup making it effecively FreeGroup kalmar 2017-05-12 19:49:54 +0200
83e40972a7 define show for <:GSymbol kalmar 2017-05-12 19:48:33 +0200
3d944d2de2 define isone for <:GSymbol kalmar 2017-05-12 19:46:59 +0200
9dafd3c09c remove unnecessary ::Bools kalmar 2017-05-12 19:46:08 +0200
2e6cd65d39 massive overhaul of tests kalmar 2017-05-11 18:30:23 +0200
0891f28c6f include FPGroups.jl in Groups kalmar 2017-05-11 18:30:03 +0200
2a3baab61a indentation kalmar 2017-05-11 18:28:29 +0200
f256f60ca3 headers kalmar 2017-05-11 18:28:00 +0200
9570b8c84a remove unused kalmar 2017-05-11 18:27:05 +0200
0c699894fa FreeGroup utility function kalmar 2017-05-11 18:26:37 +0200
8dd4d96b6f actually (<) and (<=) for FPSymbols were never used kalmar 2017-05-11 18:25:23 +0200
5f90c0c7b1 add_rel! and quotientgroup for the future kalmar 2017-05-11 18:24:05 +0200
1c638e296c FPSymbol inversion kalmar 2017-05-11 18:23:01 +0200
e2585b5733 (==), (<) and (<=) for FPSymbols kalmar 2017-05-11 18:22:37 +0200
6d8f244ee8 show for FPSymbol kalmar 2017-05-11 18:22:04 +0200
48a80760fd add_gen! was never used kalmar 2017-05-11 18:21:40 +0200
1e8c9468de G.gens return parentless symbols; use generators(G); kalmar 2017-05-11 18:21:05 +0200
6c312cfef3 hash, isone, change_pow, length for FPSymbol kalmar 2017-05-11 18:19:59 +0200
31cb855c9c FPGroup type overloads kalmar 2017-05-11 18:18:06 +0200
f3c36f132b parent_type, elem_type kalmar 2017-05-11 18:17:42 +0200
71c2367cae exports kalmar 2017-05-11 18:17:08 +0200
2d72393292 constructors kalmar 2017-05-11 18:16:51 +0200
6a29797557 the new definition of FPGroup <: Group kalmar 2017-05-11 18:16:21 +0200
de6f6bc52d introduce FPSymbol as concrete type of GSymbol, parentless kalmar 2017-05-11 18:14:59 +0200
cbfc3979bb remove free_groups.jl kalmar 2017-05-11 18:13:11 +0200
a54ebbcede docs and headers kalmar 2017-05-11 18:10:46 +0200
34f93e0a6e cosmetics kalmar 2017-05-11 18:09:55 +0200
038ece45c5 no arithmetic of GSymbols; kalmar 2017-05-11 18:09:39 +0200
b5139306f7 GSymbol has str fieldname, not gen kalmar 2017-05-11 18:09:09 +0200
3d9b27756f move the exports kalmar 2017-05-11 18:08:18 +0200
3077ec0e8b cosmetic changes to (*) and (^=power_by_squaring) kalmar 2017-05-11 18:07:57 +0200
d3adfdb8b6 GWord is never equal to GSymbol as == requires parent kalmar 2017-05-11 18:05:03 +0200
9b48932ab4 add doc to reduce function kalmar 2017-05-11 18:03:46 +0200
f9ccff01a8 deepcopy_internal override to protect ParentObject from duplication kalmar 2017-05-11 18:03:06 +0200
a3db7ab92c add parent; move GWord constructor and GSymbol -> GWord conversion kalmar 2017-05-11 18:01:55 +0200
4718c40bd1 move hash kalmar 2017-05-11 18:00:46 +0200
cf4529dce6 add doc and parent namefield to GWord kalmar 2017-05-11 17:59:37 +0200
a7c91bf858 no arithmetic on GSymbols is allowed kalmar 2017-05-11 17:58:19 +0200
c03f7bb895 one is no more kalmar 2017-05-11 17:57:18 +0200
6ae234cabb move deletion of identities into free_reduce kalmar 2017-05-11 17:52:14 +0200
12cf72b476 rename join_free_symbol to free_reduce kalmar 2017-05-11 17:51:16 +0200
7b564d5e89 but it makes more sense to define word for abstract GWords kalmar 2017-05-11 17:49:56 +0200
711d7dec12 define length and change_pow only for concrete subtypes of GSymbol kalmar 2017-05-11 17:47:15 +0200
1c7113932d no multiplication of GSymbols -- no Words without parents allowed kalmar 2017-05-11 17:45:00 +0200
528228e46e move inv and add parent inheritance kalmar 2017-05-11 17:43:33 +0200
ae1dac76fc IdSymbol, one, etc. are now replaced by overloading parent object kalmar 2017-05-11 17:40:49 +0200
ba3ca8a0ba show should be implemented for concrete subtypes of GSymbol kalmar 2017-05-11 17:38:07 +0200
eb71dfe26e doc for GSymbol kalmar 2017-05-11 17:36:59 +0200
fd04c2ba86 Word type is no more, its GroupElem kalmar 2017-05-11 17:36:33 +0200
e08a5c71b3 FPGroups is imported in Groups.jl, no need to import kalmar 2017-05-11 17:35:15 +0200
6795693ce8 temporary uses and imports kalmar 2017-05-11 17:34:07 +0200
68e5e8e3ea add FPGroups.jl kalmar 2017-05-09 17:46:52 +0200