 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
|
1a51a87771
|
update to PermutationGroups-0.4
|
2023-08-26 10:25:33 +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
|
751850568c
|
make equality_data immutable operation
|
2023-03-22 21:45:04 +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
|
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
|
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
|
9006f8a4a1
|
make wl_ball thread safe: pre-compute normalforms!
|
2022-11-15 19:52:40 +01: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 |
|
Marek Kaluba
|
827969ae84
|
use KB.IndexAutomaton as rewriting for FPGroups
|
2022-10-13 23:41:05 +02:00 |
|
Marek Kaluba
|
c75ff00aa9
|
use KB.Settings to pass options to knuthbendix
|
2022-10-13 23:38:18 +02:00 |
|
Marek Kaluba
|
1345516521
|
replace KB.rewrite_from_left! → KB.rewrite!
|
2022-10-13 23:30:55 +02:00 |
|
Marek Kaluba
|
42d4c41d90
|
replace inv(A::Alphabet, ...) → inv(..., A)
|
2022-10-13 23:27:50 +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
|
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
|
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
|
db5d60134c
|
replace ThreadsX by Folds
|
2022-04-02 14:18:53 +02:00 |
|
Marek Kaluba
|
adb42c8919
|
move autFn and mcg to aut_groups folder
|
2022-04-02 14:17:40 +02:00 |
|
Marek Kaluba
|
20711aa1e8
|
remove the default rewriting(G::AbstractFPGroup)
It's better to show MethodError than to default to surprising behaviour.
|
2021-12-18 21:57:41 +01:00 |
|
Marek Kaluba
|
f2d2d4ee52
|
prettier printing for FPGroups
|
2021-12-18 20:03:47 +01:00 |
|
Marek Kaluba
|
5b5f3e3811
|
allow passing order directly to FPGroup constructor
|
2021-12-18 19:33:37 +01:00 |
|
Marek Kaluba
|
e770990d35
|
fix: specialize printing for Type{<:Automorphism}
|
2021-12-13 09:54:32 +01:00 |
|
Marek Kaluba
|
7ac7b3aa5b
|
formatting
|
2021-12-11 13:55:47 +01:00 |
|
Marek Kaluba
|
70bd59e9b9
|
shorten printing of types
|
2021-12-11 13:55:31 +01:00 |
|
Marek Kaluba
|
f883b5172e
|
use equality_data for checking ==
(defaults to word)
|
2021-12-11 13:53:17 +01:00 |