Commit Graph

663 Commits

Author SHA1 Message Date
Marek Kaluba 27e768639d
first try at compiled automorphisms 2021-07-17 20:11:32 +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 eef13c9afa
Since SMC act from the left(!) distinguish Aut(Left|Right)Perm 2021-07-07 10:36:40 +02:00
Marek Kaluba 99fd238cf2
permute π₁Σ generators to maintain coherent order with Aut(F_n) 2021-07-07 10:34:42 +02:00
Marek Kaluba 3629b07626
add gens_idcs to SymplecticMappingClass 2021-07-07 10:33:34 +02:00
Marek Kaluba 79a4450ef9
create mcg_twists from Aut(F_n) directly 2021-07-07 10:32:13 +02:00
Marek Kaluba 15a737bfa5
add PermAut(omorphisms) 2021-07-05 15:05:57 +02:00
Marek Kaluba 939d231bbe
pretty printing for automorphisms 2021-07-05 15:05:37 +02:00
Marek Kaluba b191457526
fix: AbstractFPGroupElement change order of args in FPGroupElement 2021-07-05 15:05:03 +02:00
Marek Kaluba 2f5401be83
add maxrules to SpecialAutomorphismGroup 2021-06-29 16:54:00 +02:00
Marek Kaluba 29b6675a8a
introduce AbstractFPGroupElement 2021-06-29 16:52:35 +02:00
Marek Kaluba 642cd46e7d
Merge pull request #18 from kalmarek/fix/Int4Pair
fix error in packed Int4 pair
2021-06-28 09:41:39 +02:00
Marek Kaluba 394d9a7aac
Merge branch 'master' into enh/GroupsCore 2021-06-28 09:40:25 +02:00
Marek Kaluba f438d0483b
fix error in packed Int4 pair 2021-06-28 09:29:32 +02:00
Marek Kaluba 5ede922ab8
update TagBot 2021-06-21 22:19:42 +02:00
Marek Kaluba fce88b8dd8
update CI badge 2021-06-21 20:48:16 +02:00
Marek Kaluba 73131307bf
Merge pull request #17 from kalmarek/enh/v0.6.0
v0.6.0 built on GroupsCore and Words
2021-06-21 20:45:07 +02:00
Marek Kaluba 56da96acff
add basic README 2021-06-21 20:36:12 +02:00
Marek Kaluba 00e1a954f7
run CI on julia-1.3 and julia-1 2021-06-21 19:17:30 +02:00
Marek Kaluba fe347423d4
fix imports/exports and Project.toml 2021-06-21 19:14:42 +02:00
Marek Kaluba 9436301271
rename files in src 2021-06-21 18:53:22 +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 7d5c7ac623
remove fishy part in normalform! that was never hit 2021-06-21 17:56:29 +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 2992244a24
make evaluate[!] a general thing for AutomorphismGroups 2021-06-21 16:37:15 +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 d238854095
first working version of Automorphisms of surface groups 2021-06-08 16:20:11 +02:00
Marek Kaluba 979ffaccfa
some eye-candy 2021-06-08 16:20:10 +02:00
Marek Kaluba 66a33e7c72
make evaluate[!] a general thing for AutomorphismGroups 2021-06-08 16:20:10 +02:00
Marek Kaluba e7740b9716 WIP: mcgs 2021-05-28 18:54:21 +02:00
Marek Kaluba f74b48b890 separate SAut(F_n) from AutomorphismGroups 2021-05-28 14:20:17 +02:00
Marek Kaluba 190fe1f201
bump to v0.6.0 2021-05-26 12:18:14 +02:00
Marek Kaluba 3a88728e0a
add New.FreeGroup(n::Integer) method 2021-05-26 12:12:26 +02:00
Marek Kaluba c0c688ed2d
add tests for automorphisms and iteration benchmarks 2021-05-26 12:08:31 +02:00
Marek Kaluba 1c7f0a5f01
better show 2021-05-26 12:07:15 +02:00
Marek Kaluba e424bdc575
optimize evaluation with tmp storage 2021-05-26 12:06:40 +02:00
Marek Kaluba 812b2e15a1
fix bug with isone on Automorphism 2021-05-26 12:03:28 +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
Marek Kaluba 9d1678d099
add basic tests for FPGroups 2021-05-24 14:46:54 +02:00
Marek Kaluba 60f3b686ba
use KnuthBendix.print_repr 2021-05-24 01:41:37 +02:00