|
|
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 |
|
|
|
6ca9497dab
|
tweak the printing of FPGroup
|
2024-02-12 12:38:28 +01:00 |
|
|
|
f4d018f087
|
update constructions to PG-0.6
|
2024-02-12 12:37:33 +01:00 |
|
|
|
add9a6f287
|
when everything fails in == try rewriting inv(g)*h
|
2024-02-12 12:36:04 +01:00 |
|
|
|
ba6d58ec77
|
rewrite/fix deepcopy_internal
|
2024-02-12 12:33:57 +01:00 |
|
|
|
a33b871754
|
simplify the constructors of the FreeGroup
|
2024-02-12 12:17:48 +01:00 |
|
|
|
efbb4eada8
|
remove the show overload for Type{<:FPGroupElement}
|
2024-02-12 12:16:32 +01:00 |
|
|
|
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 |
|
|
|
5993cb328f
|
normalform! should be a no-op for normalized words
|
2024-02-12 11:36:17 +01:00 |
|
|
|
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 |
|
|
|
22cf6297a9
|
bump version to 0.7.8
|
2023-08-26 10:25:34 +02:00 |
|
|
|
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 |
|
|
|
c8805d6890
|
bump to 0.7.7
|
2023-05-29 17:41:47 +02:00 |
|
|
|
3260e66d37
|
format test/fp_groups.jl
|
2023-05-29 17:40:56 +02:00 |
|
|
|
eacb32af68
|
add separating dot between indices
|
2023-05-25 12:19:30 +02:00 |
|
|
|
126c8bbc22
|
add test for hash/normalform
|
2023-05-25 11:58:32 +02:00 |
|
|
|
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 |
|
|
|
751850568c
|
make equality_data immutable operation
|
2023-03-22 21:45:04 +01:00 |
|
|
|
038fc29b81
|
update benchmark on wl_ball
|
2023-03-22 21:44:33 +01:00 |
|
|
|
c69eff1540
|
freely reduce words upon *
|
2023-03-22 21:44:09 +01:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
af3913d085
|
more formatting
|
2023-03-15 19:07:14 +01:00 |
|
|
|
3cdef72977
|
format aut_groups
|
2023-03-15 18:37:10 +01:00 |
|
|
|
29af9659d9
|
format MatrixGroups module
|
2023-03-15 18:32:27 +01:00 |
|
|
|
a0d2186477
|
add tests for MatrixGroups
|
2023-03-15 18:30:55 +01:00 |
|
|
|
b52de81e06
|
update tests for show for SLn, Spn
|
2023-03-15 18:29:40 +01:00 |
|
|
|
46c95dbb83
|
add general matrix groups
|
2023-03-15 18:26:45 +01:00 |
|
|
|
40cd92e3c4
|
simplify parametrisation of SLn and Spn
|
2023-03-15 18:25:55 +01:00 |
|
|
|
116439d074
|
move show functions to abstract.jl
|
2023-03-15 17:20:52 +01:00 |
|
|
|
a380959614
|
add AbstractMatrixGroup
|
2023-03-15 17:11:22 +01:00 |
|
|
|
f096a869b8
|
rename matrix_repr to simply matrix
|
2023-03-15 17:04:05 +01:00 |
|
|
|
b7a6f4e952
|
bump version 0.7.5
|
2022-11-15 19:53:52 +01:00 |
|
|
|
9006f8a4a1
|
make wl_ball thread safe: pre-compute normalforms!
|
2022-11-15 19:52:40 +01:00 |
|
|
|
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 |
|
|
|
12f2ff92a7
|
update README
|
2022-10-14 14:05:01 +02:00 |
|
|
|
fe955850c3
|
bump version to 0.7.4
|
2022-10-14 11:53:21 +02:00 |
|
|
|
93c6b96c5d
|
bump KnuthBendix to 0.4
|
2022-10-14 11:53:15 +02:00 |
|
|
|
6b707b5ff6
|
update gh workflows
|
2022-10-14 02:31:20 +02:00 |
|
|
|
e2646709fe
|
run tests for mcgs only locally
|
2022-10-14 01:15:11 +02:00 |
|
|
|
29e2097f2f
|
formatting
|
2022-10-14 01:14:38 +02:00 |
|
|
|
5752d67009
|
tidy a bit alphabet/ordering/rewriting requirements
|
2022-10-14 01:03:19 +02:00 |
|
|
|
827969ae84
|
use KB.IndexAutomaton as rewriting for FPGroups
|
2022-10-13 23:41:05 +02:00 |
|
