Commit Graph

140 Commits

Author SHA1 Message Date
Marek Kaluba a33b871754
simplify the constructors of the FreeGroup 2024-02-12 12:17:48 +01:00
Marek Kaluba 1a51a87771
update to PermutationGroups-0.4 2023-08-26 10:25:33 +02:00
Marek Kaluba 3260e66d37
format test/fp_groups.jl 2023-05-29 17:40:56 +02:00
Marek Kaluba 126c8bbc22
add test for hash/normalform 2023-05-25 11:58:32 +02:00
Marek Kaluba 038fc29b81
update benchmark on wl_ball 2023-03-22 21:44:33 +01:00
Marek Kaluba c69eff1540
freely reduce words upon * 2023-03-22 21:44:09 +01:00
Marek Kaluba a0d2186477
add tests for MatrixGroups 2023-03-15 18:30:55 +01:00
Marek Kaluba b52de81e06
update tests for show for SLn, Spn 2023-03-15 18:29:40 +01:00
Marek Kaluba e2646709fe
run tests for mcgs only locally 2022-10-14 01:15:11 +02:00
Marek Kaluba 29e2097f2f
formatting 2022-10-14 01:14:38 +02:00
Marek Kaluba c75ff00aa9
use KB.Settings to pass options to knuthbendix 2022-10-13 23:38:18 +02:00
Marek Kaluba 30d58445df
letters(A::Alphabet) are no more 2022-10-13 23:21:42 +02:00
Marek Kaluba 53773efac7
fix and test issymplectic 2022-04-03 18:40:02 +02:00
Marek Kaluba 6774d40d11
more coverage: MatrixGroups 2022-04-03 16:59:17 +02:00
Marek Kaluba f68a0c2f27
add tests for SpNs 2022-04-03 16:59:16 +02:00
Marek Kaluba de600de0a2
better reporting of timings in tests 2022-04-03 16:59:15 +02:00
Marek Kaluba 4431ae7144
bump julia to 1.6 2022-04-03 16:59:15 +02:00
Marek Kaluba 9e867a58e6
use NullLogger to suppress warnings 2022-04-03 16:59:15 +02:00
Marek Kaluba 93d97ff75f
fixing and ordering imports 2022-04-03 16:59:14 +02:00
Marek Kaluba 22a8809c6f
rm AbstractAlgebra 2022-04-03 16:59:14 +02:00
Marek Kaluba e78520f90b
add Constructions module with Direct/Wreath product 2022-04-03 16:59:13 +02:00
Marek Kaluba dd6588f018
add Homomorphisms 2022-04-02 14:24:01 +02:00
Marek Kaluba cb933c3f87
add implementation of MatrixGroups as fp groups 2022-04-02 14:21:42 +02:00
Marek Kaluba 72ea5c8123
disable test for sprint Automorphism on julia < 1.6 2021-12-18 20:06:24 +01:00
Marek Kaluba f2d2d4ee52
prettier printing for FPGroups 2021-12-18 20:03:47 +01:00
Marek Kaluba e770990d35
fix: specialize printing for Type{<:Automorphism} 2021-12-13 09:54:32 +01:00
Marek Kaluba b5e62c27e0
add tests for AutSigma₃.₀ 2021-08-13 16:54:45 +02:00
Marek Kaluba 4014b4f7b8
remove Alphabet arg from evaluate 2021-08-13 16:22:35 +02:00
Marek Kaluba 156e4a2af3
renumerate Dehn Twists 2021-07-21 16:26:22 +02:00
Marek Kaluba 596744e5b8
use the forward evaluation to test preserving of the relator 2021-07-20 11:02:12 +02:00
Marek Kaluba 3235b00959
fix test of the centrality of hyperelliptic τ 2021-07-20 10:16:59 +02:00
Marek Kaluba ef4470833a
remove init kwarg from prod (unsupported on julia-1.3) 2021-07-18 19:55:11 +02:00
Marek Kaluba a258c563d1
make smc acting on the right 2021-07-12 11:11:39 +02:00
Marek Kaluba a742bf32ec
add code for forward evaluation 2021-07-09 16:46:15 +02:00
Marek Kaluba 0c60dce731
fix test_throws 2021-07-07 12:11:45 +02:00
Marek Kaluba 9415906aa2
update AutSigma_41 tests 2021-07-07 10:41:34 +02:00
Marek Kaluba 394d9a7aac
Merge branch 'master' into enh/GroupsCore 2021-06-28 09:40:25 +02:00
Marek Kaluba fe347423d4
fix imports/exports and Project.toml 2021-06-21 19:14:42 +02:00
Marek Kaluba 8cd1f09d74
add exports, remove New module from tests 2021-06-21 18:45:10 +02:00
Marek Kaluba 26781bad5c
remove the old implementation 2021-06-21 18:16:04 +02:00
Marek Kaluba 39f4ef4b5f
test show methods 2021-06-21 17:56:28 +02:00
Marek Kaluba 8cb64d947d
create FreeGroup(::Alphabet) on the correct number of gens 2021-06-21 17:52:51 +02:00
Marek Kaluba 25934e70f4
don't run benchmarks during CI 2021-06-21 16:39:54 +02:00
Marek Kaluba 37241e5b25
move tests for AutFn 2021-06-21 16:37:33 +02:00
Marek Kaluba ef1a2f88da
don't run benchmarks during CI 2021-06-19 00:38:11 +02:00
Marek Kaluba 33086db01d
add tests for Aut(Σ₄.₁) 2021-06-10 12:55:21 +02:00
Marek Kaluba e48b06f6c4
move tests for AutFn 2021-06-10 12:54:27 +02:00
Marek Kaluba c0c688ed2d
add tests for automorphisms and iteration benchmarks 2021-05-26 12:08:31 +02:00
Marek Kaluba 2e560738f6
clean-up iteration 2021-05-25 22:27:22 +02:00
Marek Kaluba ac3d7f0977
implement and test GroupsCore interface for FreeGroup and FPGroup 2021-05-24 15:35:28 +02:00