Commit Graph

663 Commits

Author SHA1 Message Date
kalmarek 7517a8feb9
tests and imports for findlast, findprev 2020-04-20 00:52:06 +02:00
kalmarek dfce36c099
add tests for iteration for GWords 2020-04-20 00:36:35 +02:00
kalmarek ea7813b5dc
add codecov 2020-04-20 00:19:39 +02:00
kalmarek d94be2df4b
add github workflow runtests 2020-04-20 00:04:09 +02:00
kalmarek b6634b3735
Merge pull request #7 from kalmarek/enh/rework_push_append_mul
Enh/rework push append mul
2020-04-20 00:01:29 +02:00
kalmarek a63fd76ca8
drop julia 1.0, 1.2, 1.3 from travis 2020-04-19 23:51:40 +02:00
kalmarek 5b1ab66797
rework push!, pushfirst!, append!, prepend! and rmul! 2020-04-19 23:50:13 +02:00
kalmarek c3eb34eee8
Merge pull request #6 from kalmarek/rework_replace
Rework replace
2020-03-28 15:47:07 +01:00
kalmarek 7bc26ece79
fix bug in reduce!(::Automorphism) 2020-03-25 16:25:21 +01:00
kalmarek 6d22c82ab3
create a general/saner homomorphism evaluation architecture 2020-03-25 15:43:38 +01:00
kalmarek ebefc7e399
reshuffle AutGroup 2020-03-25 15:42:20 +01:00
kalmarek c1f54ad41e
bump Groups to v0.4 2020-03-25 13:48:58 +01:00
kalmarek 0bee697ed8
update to AbstractAlgebra v0.9 2020-03-25 13:48:44 +01:00
kalmarek 622f5bc6b3
fix coercion to FPGroup 2020-03-25 13:46:32 +01:00
kalmarek 7d95338e33
fix tests 2020-03-25 05:25:02 +01:00
kalmarek ac4ee69fc6
general cleanup 2020-03-25 05:24:34 +01:00
kalmarek b125871697
unify the two definitions of generate_balls; rename to metric_ball 2020-03-25 05:23:06 +01:00
kalmarek 12be3b75bc
add missing constructors and converts 2020-03-25 05:21:57 +01:00
kalmarek f8aedc207f
make FPGroups more connected to their freepreimages 2020-03-25 05:00:16 +01:00
kalmarek 2196b7d256
find and replace, finally 2020-03-25 04:42:47 +01:00
kalmarek afa0988ebc
separate arithmetic 2020-03-25 04:41:23 +01:00
kalmarek e84152a9cf
separate hashing and freereduce 2020-03-25 04:40:14 +01:00
kalmarek 43ad81d4dd
separate GWords 2020-03-25 04:19:02 +01:00
kalmarek 263444c2a9
add basic fallbacks 2020-03-25 04:16:21 +01:00
kalmarek b92276ade2
separate GSymbols 2020-03-25 04:05:28 +01:00
kalmarek 5f0a33d335
overhaul findnext, findprev and replace 2020-03-25 03:54:12 +01:00
kalmarek 9bb2aba6f6
add issubword, issubsymbol 2020-03-25 03:38:33 +01:00
kalmarek f7bf1598ee
make multiplication abstract 2020-03-25 03:36:36 +01:00
kalmarek a3db467bd1
make one fully abstract method 2020-03-25 03:33:43 +01:00
kalmarek 99d5bc2f8c
fast equality for Automorphisms 2020-03-25 03:28:45 +01:00
kalmarek 8248039d63
simplify actions of PermAut and FlipAut 2020-03-25 00:51:53 +01:00
kalmarek a1ebf530f4
in automoprhism evaluation no need to freereduce!
Symbols already do so, where appropriate
2020-03-25 00:47:45 +01:00
kalmarek b9c2a90bae
rename *_autsymbol to more descriptive names 2020-03-25 00:46:23 +01:00
kalmarek 02ce259eb4
rewrite simplifyperms! in the new word api 2020-03-25 00:43:04 +01:00
kalmarek 6c53b3b7c0
favour append! and prepend! in place of rmul! and lmul! 2020-03-25 00:42:23 +01:00
kalmarek 189850858f
add to syllables commit 2020-03-25 00:38:07 +01:00
kalmarek bc1063f0fd
use the new reduce for Automorphisms and FPWords 2020-03-25 00:27:47 +01:00
kalmarek 8688d42250
reduce defaults to freereduce now 2020-03-24 23:56:30 +01:00
kalmarek 8abebbbd0c
use the new api in freereduce! 2020-03-24 23:55:42 +01:00
kalmarek b2d6c14515
use syllables api for GWords 2020-03-24 23:53:29 +01:00
kalmarek 7b211014e3
create and use uniform API for GSymbols 2020-03-24 23:47:50 +01:00
kalmarek 5810eeb4ae
create uniform hash interface using hash_internal 2020-03-24 23:44:03 +01:00
kalmarek 920bc1f28d
fix evaluate 2020-03-14 08:56:26 -07:00
kalmarek 68abfafd29
introduce evaluate function 2020-03-12 18:36:17 -05:00
kalmarek 6fd89c5a61
tweak the reduce! constant 2020-03-12 18:35:53 -05:00
kalmarek 5414988e98
periodically reduce words in automorphism evaluation
to avoid exponential explosion in length (when possible)
2020-03-12 00:18:33 -05:00
kalmarek eb15593c21
bump version to 0.3.0 2019-11-15 23:56:37 +01:00
kalmarek 4bcd851031
fix FPGroups and add basic tests 2019-11-15 23:56:36 +01:00
kalmarek dd4ed1497c
move from G() to Base.one(G) 2019-11-14 09:21:11 +01:00
kalmarek 32e968a79b
small update to hashing Automorphisms 2019-11-14 09:20:23 +01:00