Commit Graph

663 Commits

Author SHA1 Message Date
Marek Kaluba 0fb84a9c61
add a few @inbounds 2021-05-24 01:40:54 +02:00
Marek Kaluba 1c971cb3b1
slightly more efficient equality_data 2021-05-24 01:07:59 +02:00
Marek Kaluba 6fba013f0b
set default word_type to Word{UInt8} 2021-05-16 23:23:16 +02:00
Marek Kaluba 75b7d9fab3
formatting 2021-05-16 23:22:33 +02:00
Marek Kaluba 84bfbd7408
remove threading in == for Automorphisms 2021-05-16 23:16:35 +02:00
Marek Kaluba 5da33782aa
add new_transvections for Aut(F_n) 2021-05-16 22:47:20 +02:00
Marek Kaluba f4858fba14
move normalform! to equality_data
heuristic: compute normalform! only if length of automorphism is greater 
than 8
2021-05-16 22:30:50 +02:00
Marek Kaluba 6405a1868e
rename _hashing_data to equality_data 2021-05-16 22:27:54 +02:00
Marek Kaluba 472e78af27
generalize signatures of wlmetric_ball 2021-05-09 19:37:26 +02:00
Marek Kaluba 217be597c3
first working version of new AutomoprhismGroups 2021-05-09 18:54:29 +02:00
Marek Kaluba 31a0620da3
add literal_pow(^, s::GSymbol, ::Val{-1}) = inv(s) 2021-05-07 18:16:58 +02:00
Marek Kaluba 6e14d30903
move rewrite_from_left!(v, w, ::Alphabet) to KnuthBendix.jl 2021-05-07 18:15:02 +02:00
Marek Kaluba 4c8eccf72b
new iteration based on OrderedSet 2021-05-07 18:14:13 +02:00
Marek Kaluba cdd36f680a
new hashing && bitflags 2021-05-07 18:11:11 +02:00
Marek Kaluba 44df0016bc
add general FPGroups 2021-05-05 02:35:12 +02:00
Marek Kaluba be1602d11f
fix gens 2021-05-05 02:33:36 +02:00
Marek Kaluba 288f06c070
add rewriting function to AbstractFPGroups 2021-05-05 02:32:27 +02:00
Marek Kaluba 9d7596acf1
first try on the new FPGroups 2021-05-05 01:10:28 +02:00
Marek Kaluba 711988b98a
sort out imports + first adjustments to Group Interface 2021-04-11 18:44:03 +02:00
Marek Kaluba 990c8dd1c3
remove DirectPower, WreathProduct
these are included in GroupsCore
2021-04-11 01:27:01 +02:00
Marek Kaluba 41eb7224dd
Merge pull request #14 from kalmarek/fix/iterate
bump to 0.5.2
2020-11-10 17:14:06 +01:00
kalmarek 317d2a4028
bump to 0.5.2 2020-11-10 17:13:13 +01:00
Marek Kaluba bb811cb76e
Merge pull request #13 from kalmarek/fix/iterate
fix iteration over Automorphisms
2020-11-10 17:12:36 +01:00
kalmarek ad295fd436
fix iteration over Automorphisms 2020-11-10 17:03:10 +01:00
kalmarek a8a14206d1
Merge pull request #12 from kalmarek/fix/wlmetric_ball_serial
fix error in wlmetric_ball_serial
2020-10-14 23:39:52 +02:00
kalmarek 3a540ead07
bump to 0.5.1 2020-10-14 23:29:23 +02:00
kalmarek 57a65e3760
travis again 2020-10-14 23:04:10 +02:00
kalmarek 98fea2a75b
move LICENCE.md → LICENCE 2020-10-14 22:59:30 +02:00
kalmarek d1dd108683
update copyright 2020-10-14 22:56:44 +02:00
kalmarek 59272b3b42
fix error in wlmetric_ball_serial 2020-10-09 17:37:57 +02:00
kalmarek 6e856dd7c2
satisfy registrator demands 2020-10-09 15:29:19 +02:00
kalmarek bc23ce0a90
Merge pull request #11 from kalmarek/enh/speeding_up
Enh/speeding up
2020-10-09 15:13:24 +02:00
kalmarek 11fcc8e57a
add TagBot 2020-10-09 15:02:16 +02:00
kalmarek 2d66b4f56e
format and bump to 0.5.0 2020-10-09 14:01:59 +02:00
kalmarek 837312d020
more threading using ThreadsX;
rename generate_balls → wlmetric_ball
2020-10-09 13:50:11 +02:00
kalmarek 8923912367
get rid of Markdown docstrings 2020-10-07 03:10:10 +02:00
kalmarek 1c659d5216
asynchronously compute images in == for Automorphisms 2020-10-07 02:40:18 +02:00
kalmarek 38fbed7f76
improvements in freereduce 2020-10-07 02:39:00 +02:00
kalmarek a4e0b821b9
use rmul!/lmul! in the definitions of R/LTransvect 2020-10-07 02:38:22 +02:00
kalmarek 8532767170
rework hashing using hints from FNV-1a algorithm 2020-10-07 02:37:29 +02:00
kalmarek 873361af73
allow numbers > 9 in subscriptify 2020-10-07 02:33:58 +02:00
kalmarek 2674652221
Merge pull request #10 from kalmarek/fix/dealias_inverse_of_id
fix: dealias inv(id) from id
2020-04-21 17:14:27 +02:00
kalmarek 6a9620cbc6
bump version to 0.4.2 2020-04-21 16:45:53 +02:00
kalmarek 512394e69b
fix: dealias inv(id) from id 2020-04-20 03:25:25 +02:00
kalmarek a5fd4421d5
Merge pull request #9 from kalmarek/v0.4.1
even more tests
2020-04-20 02:48:54 +02:00
kalmarek 51f3ad6cdb
test for abelianize of Identity 2020-04-20 02:44:28 +02:00
kalmarek 834a8eb107
bump version to 0.4.1 2020-04-20 02:41:38 +02:00
kalmarek cdbd483e9e
more tests for AutGroup 2020-04-20 02:41:24 +02:00
kalmarek a6aabf4541
even more tests 2020-04-20 02:02:57 +02:00
kalmarek 38f121d8ee
Merge pull request #8 from kalmarek/enh/github_actions
add github workflow runtests
2020-04-20 01:02:47 +02:00