Commit Graph

663 Commits

Author SHA1 Message Date
Marek Kaluba 1fbd7b875b
Merge pull request #31 from kalmarek/mk/update_to_PG_0.6
Update to PermutationGroups-0.6
2024-02-13 12:08:48 +01:00
Marek Kaluba c13226a625
bump to v0.8 2024-02-13 11:16:04 +01:00
Marek Kaluba 7776ac4c6e
Merge branch 'master' into mk/update_to_PG_0.6 2024-02-12 14:04:07 +01:00
Marek Kaluba 6ca9497dab
tweak the printing of FPGroup 2024-02-12 12:38:28 +01:00
Marek Kaluba f4d018f087
update constructions to PG-0.6 2024-02-12 12:37:33 +01:00
Marek Kaluba add9a6f287
when everything fails in == try rewriting inv(g)*h 2024-02-12 12:36:04 +01:00
Marek Kaluba ba6d58ec77
rewrite/fix deepcopy_internal 2024-02-12 12:33:57 +01:00
Marek Kaluba a33b871754
simplify the constructors of the FreeGroup 2024-02-12 12:17:48 +01:00
Marek Kaluba efbb4eada8
remove the show overload for Type{<:FPGroupElement} 2024-02-12 12:16:32 +01:00
Marek Kaluba 148a472dd2
add PoissonSampler for FPGroupElements
Words of length following the Poisson(λ=8) distribution are
chosen uniformly at random.
2024-02-12 12:16:03 +01:00
Marek Kaluba 5993cb328f
normalform! should be a no-op for normalized words 2024-02-12 11:36:17 +01:00
Marek Kaluba 8137e40998
make LettersMap a bit safer to use 2024-02-12 11:34:51 +01:00
Marek Kaluba 866e431c1a
Merge pull request #30 from kalmarek/mk/update_PG_0_4
update to PermutationGroups-0.4
2023-08-26 10:36:37 +02:00
Marek Kaluba 22cf6297a9
bump version to 0.7.8 2023-08-26 10:25:34 +02:00
Marek Kaluba 1a51a87771
update to PermutationGroups-0.4 2023-08-26 10:25:33 +02:00
Marek Kaluba d385992e92
Merge pull request #29 from kalmarek/fix/#28_normalform_hashing
Fix for #28: normalform & hashing
2023-06-12 17:16:55 +02:00
Marek Kaluba c8805d6890
bump to 0.7.7 2023-05-29 17:41:47 +02:00
Marek Kaluba 3260e66d37
format test/fp_groups.jl 2023-05-29 17:40:56 +02:00
Marek Kaluba eacb32af68
add separating dot between indices 2023-05-25 12:19:30 +02:00
Marek Kaluba 126c8bbc22
add test for hash/normalform 2023-05-25 11:58:32 +02:00
Marek Kaluba 93a841359b
add missing normalform! before hashing 2023-05-25 11:57:32 +02:00
Marek Kaluba 7230106bfc
Merge pull request #27 from kalmarek/enh/simplify_wlmetric
simplify wlmetric_ball
2023-03-22 23:59:07 +01:00
Marek Kaluba 751850568c
make equality_data immutable operation 2023-03-22 21:45:04 +01: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 a1bc334fb2
make AutomorphismGroup mutable
parent field of an automorphism is now a pointer (i.e. 8 bytes)
2023-03-22 21:43:00 +01:00
Marek Kaluba 1f1e51917a
remove threaded wlmetric_ball
* the threaded version was hardly faster
* there was a memory leak (?) that was gone with -t 1
* simplifies the whole thing
2023-03-22 21:41:37 +01:00
Marek Kaluba 8bd3f7ede6
fix CI badge in readme 2023-03-15 23:00:50 +01:00
Marek Kaluba 448857ef03
Merge pull request #26 from kalmarek/enh/matrix_groups
add support for general matrix groups
2023-03-15 19:25:07 +01:00
Marek Kaluba af3913d085
more formatting 2023-03-15 19:07:14 +01:00
Marek Kaluba 3cdef72977
format aut_groups 2023-03-15 18:37:10 +01:00
Marek Kaluba 29af9659d9
format MatrixGroups module 2023-03-15 18:32:27 +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 46c95dbb83
add general matrix groups 2023-03-15 18:26:45 +01:00
Marek Kaluba 40cd92e3c4
simplify parametrisation of SLn and Spn 2023-03-15 18:25:55 +01:00
Marek Kaluba 116439d074
move show functions to abstract.jl 2023-03-15 17:20:52 +01:00
Marek Kaluba a380959614
add AbstractMatrixGroup 2023-03-15 17:11:22 +01:00
Marek Kaluba f096a869b8
rename matrix_repr to simply matrix 2023-03-15 17:04:05 +01:00
Marek Kaluba b7a6f4e952
bump version 0.7.5 2022-11-15 19:53:52 +01:00
Marek Kaluba 9006f8a4a1
make wl_ball thread safe: pre-compute normalforms! 2022-11-15 19:52:40 +01:00
Marek Kaluba 22c21706d8
switch to old CompatHelper
the gh action JuliaRegisters/compathelper-action@1 is still not released
2022-10-17 14:57:10 +02:00
Marek Kaluba 161c146642
Merge pull request #24 from kalmarek/mk/update_to_KB_0.4
update to KnuthBendix-0.4
2022-10-14 19:36:51 +02:00
Marek Kaluba 12f2ff92a7
update README 2022-10-14 14:05:01 +02:00
Marek Kaluba fe955850c3
bump version to 0.7.4 2022-10-14 11:53:21 +02:00
Marek Kaluba 93c6b96c5d
bump KnuthBendix to 0.4 2022-10-14 11:53:15 +02:00
Marek Kaluba 6b707b5ff6
update gh workflows 2022-10-14 02:31:20 +02: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 5752d67009
tidy a bit alphabet/ordering/rewriting requirements 2022-10-14 01:03:19 +02:00