AutFn.jl
|
remove Alphabet arg from evaluate
|
2021-08-13 16:22:35 +02:00 |
AutSigma3.jl
|
add tests for AutSigma₃.₀
|
2021-08-13 16:54:45 +02:00 |
AutSigma_41.jl
|
add tests for AutSigma₃.₀
|
2021-08-13 16:54:45 +02:00 |
benchmarks.jl
|
add exports, remove New module from tests
|
2021-06-21 18:45:10 +02:00 |
fp_groups.jl
|
fix test_throws
|
2021-07-07 12:11:45 +02:00 |
free_groups.jl
|
add exports, remove New module from tests
|
2021-06-21 18:45:10 +02:00 |
runtests.jl
|
add tests for AutSigma₃.₀
|
2021-08-13 16:54:45 +02:00 |