 Marek Kaluba
|
6ca9497dab
|
tweak the printing of FPGroup
|
2024-02-12 12:38:28 +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
|
126c8bbc22
|
add test for hash/normalform
|
2023-05-25 11:58:32 +02:00 |
|
Marek Kaluba
|
c69eff1540
|
freely reduce words upon *
|
2023-03-22 21:44:09 +01:00 |
|
Marek Kaluba
|
af3913d085
|
more formatting
|
2023-03-15 19:07:14 +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
|
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
|
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 |
|
Marek Kaluba
|
f00de84d29
|
bump to 0.7 and update compats
|
2021-09-28 15:47:09 +02:00 |
|
Marek Kaluba
|
b191457526
|
fix: AbstractFPGroupElement change order of args in FPGroupElement
|
2021-07-05 15:05:03 +02:00 |
|
Marek Kaluba
|
29b6675a8a
|
introduce AbstractFPGroupElement
|
2021-06-29 16:52:35 +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
|
26781bad5c
|
remove the old implementation
|
2021-06-21 18:16:04 +02:00 |
|
Marek Kaluba
|
711988b98a
|
sort out imports + first adjustments to Group Interface
|
2021-04-11 18:44:03 +02:00 |
|
kalmarek
|
8923912367
|
get rid of Markdown docstrings
|
2020-10-07 03:10:10 +02:00 |
|
kalmarek
|
12be3b75bc
|
add missing constructors and converts
|
2020-03-25 05:21:57 +01:00 |
|
kalmarek
|
43ad81d4dd
|
separate GWords
|
2020-03-25 04:19:02 +01:00 |
|
kalmarek
|
b92276ade2
|
separate GSymbols
|
2020-03-25 04:05:28 +01:00 |