 Marek Kaluba
|
9d1678d099
|
add basic tests for FPGroups
|
2021-05-24 14:46:54 +02:00 |
|
Marek Kaluba
|
711988b98a
|
sort out imports + first adjustments to Group Interface
|
2021-04-11 18:44:03 +02:00 |
|
Marek Kaluba
|
990c8dd1c3
|
remove DirectPower, WreathProduct
these are included in GroupsCore
|
2021-04-11 01:27:01 +02:00 |
|
kalmarek
|
ad295fd436
|
fix iteration over Automorphisms
|
2020-11-10 17:03:10 +01:00 |
|
kalmarek
|
59272b3b42
|
fix error in wlmetric_ball_serial
|
2020-10-09 17:37:57 +02:00 |
|
kalmarek
|
6e856dd7c2
|
satisfy registrator demands
|
2020-10-09 15:29:19 +02:00 |
|
kalmarek
|
837312d020
|
more threading using ThreadsX;
rename generate_balls → wlmetric_ball
|
2020-10-09 13:50:11 +02:00 |
|
kalmarek
|
512394e69b
|
fix: dealias inv(id) from id
|
2020-04-20 03:25:25 +02:00 |
|
kalmarek
|
51f3ad6cdb
|
test for abelianize of Identity
|
2020-04-20 02:44:28 +02:00 |
|
kalmarek
|
cdbd483e9e
|
more tests for AutGroup
|
2020-04-20 02:41:24 +02:00 |
|
kalmarek
|
a6aabf4541
|
even more tests
|
2020-04-20 02:02:57 +02:00 |
|
kalmarek
|
38f121d8ee
|
Merge pull request #8 from kalmarek/enh/github_actions
add github workflow runtests
|
2020-04-20 01:02:47 +02:00 |
|
kalmarek
|
7517a8feb9
|
tests and imports for findlast, findprev
|
2020-04-20 00:52:06 +02:00 |
|
kalmarek
|
dfce36c099
|
add tests for iteration for GWords
|
2020-04-20 00:36:35 +02:00 |
|
kalmarek
|
5b1ab66797
|
rework push!, pushfirst!, append!, prepend! and rmul!
|
2020-04-19 23:50:13 +02:00 |
|
kalmarek
|
7bc26ece79
|
fix bug in reduce!(::Automorphism)
|
2020-03-25 16:25:21 +01:00 |
|
kalmarek
|
6d22c82ab3
|
create a general/saner homomorphism evaluation architecture
|
2020-03-25 15:43:38 +01:00 |
|
kalmarek
|
0bee697ed8
|
update to AbstractAlgebra v0.9
|
2020-03-25 13:48:44 +01:00 |
|
kalmarek
|
7d95338e33
|
fix tests
|
2020-03-25 05:25:02 +01:00 |
|
kalmarek
|
4bcd851031
|
fix FPGroups and add basic tests
|
2019-11-15 23:56:36 +01:00 |
|
kalmarek
|
dd4ed1497c
|
move from G() to Base.one(G)
|
2019-11-14 09:21:11 +01:00 |
|
kalmarek
|
8a42e33b6d
|
update to AA-v0.7 → bump to v0.2.3
|
2019-10-30 16:25:09 +01:00 |
|
kalmarek
|
998a9cdf43
|
remove MltGrp/AddGrp
|
2019-10-30 16:22:58 +01:00 |
|
kalmarek
|
fc4b01a193
|
broaden signature of generate_balls to include NCRingElems
|
2019-06-30 19:55:56 +02:00 |
|
kalmarek
|
883b85a7dc
|
re-parametrize WreathProducts
|
2019-01-09 16:44:04 +01:00 |
|
kalmarek
|
1aa64647c8
|
replace strings with Symbols
|
2019-01-03 03:37:37 +01:00 |
|
kalmarek
|
2a359f52b1
|
additional tests for WreathProducts
|
2019-01-03 02:43:48 +01:00 |
|
kalmarek
|
9fd136ac06
|
rename test file
|
2019-01-02 15:55:37 +01:00 |
|
kalmarek
|
29be715c46
|
fix tests
|
2019-01-02 15:50:14 +01:00 |
|
kalmarek
|
df007e5fb6
|
fix travis
|
2018-09-21 19:38:24 +02:00 |
|
kalmarek
|
fdab6278d5
|
Merge branch 'master' into enh/julia-v0.7
|
2018-09-21 19:22:50 +02:00 |
|
kalmarek
|
65d6a75bcb
|
update tests
|
2018-09-21 19:11:37 +02:00 |
|
kalmarek
|
77efcdff3e
|
trivial changes for julia-0.7
|
2018-09-21 18:08:44 +02:00 |
|
kalmarek
|
d2fd78a2b6
|
fix: DirectProductGroup constructor throws MethodError
|
2018-09-16 19:09:56 +02:00 |
|
kalmarek
|
43b6d5bf40
|
fix tests
|
2018-07-30 15:20:37 +02:00 |
|
kalmarek
|
158ce5ee27
|
replace Nemo -> AbstractAlgebra
|
2018-07-30 08:30:27 +02:00 |
|
kalmarek
|
1597784ac5
|
add the standard linear representation for Automorphisms
|
2018-04-10 13:14:45 +02:00 |
|
kalmarek
|
df554480ea
|
parametrize WreathProduct over Integers
|
2018-04-10 13:09:50 +02:00 |
|
kalmarek
|
777684db28
|
fix tests for parametrised Automorphisms
|
2018-04-09 13:01:21 +02:00 |
|
kalmarek
|
d46c5dafcc
|
Vector{Groups.FreeGroupElem} fixed itself
|
2018-04-03 15:43:17 +02:00 |
|
kalmarek
|
435d3d88ad
|
fix simplifyperms! test
|
2018-04-03 15:36:32 +02:00 |
|
kalmarek
|
e6b1b2a663
|
make id always have length 0
|
2018-03-28 12:21:50 +02:00 |
|
kalmarek
|
41abf789ef
|
eliminate GWord and replace is_subsymbol by issubsymbol
|
2018-03-28 00:54:52 +02:00 |
|
kalmarek
|
3dcef3189e
|
AutGroupElem -> Automorphism{N}
|
2018-03-27 21:49:22 +02:00 |
|
kalmarek
|
8cd10c0bfa
|
make sure we don't reduce if not asked
|
2018-03-27 20:15:28 +02:00 |
|
kalmarek
|
81b580a92b
|
Not so simple arithmetic: ϱ₁₂*ϱ₂₁⁻¹*λ₁₂*ε₂ == σ₂₁₃₄
|
2018-03-22 17:28:07 +01:00 |
|
kalmarek
|
8f990d9014
|
use tuples & domain in Automorphism evaluations
|
2018-03-22 17:27:31 +01:00 |
|
kalmarek
|
0233aedc41
|
use perms{Int8} in AutGroup and in tests
|
2018-03-22 17:24:23 +01:00 |
|
kalmarek
|
c18e2156b5
|
Merge branch 'master' into enh/julia-v0.6
|
2017-11-15 20:34:30 +01:00 |
|
kalmarek
|
d3d5633ab9
|
fix tests
|
2017-10-27 16:20:06 +02:00 |
|
kalmarek
|
04d1591c7d
|
actually cache and use savedhash + tests
|
2017-10-27 16:16:43 +02:00 |
|
kalmarek
|
271e96b44f
|
make tests pass
|
2017-10-24 15:28:02 +02:00 |
|
kalmarek
|
54e8eb0b43
|
remove .func field from autsymbol
|
2017-10-24 15:25:37 +02:00 |
|
kalmarek
|
261f7761eb
|
use the new Nemo.Generic module
|
2017-09-15 18:54:32 +02:00 |
|
kalmarek
|
2e208032d2
|
use the new 0.6 syntax: structs, where etc.
one test broken
|
2017-09-13 16:47:31 +02:00 |
|
kalmar
|
ec787e9d21
|
Tests for WreathProducts
|
2017-07-23 17:09:50 +02:00 |
|
kalmar
|
8335001397
|
add minimal internal arithmetic for Freesymbols
|
2017-07-23 17:08:32 +02:00 |
|
kalmar
|
f8dfa91980
|
update FreeGroupsSymbols manipulation
|
2017-07-23 17:06:34 +02:00 |
|
kalmar
|
93d380094e
|
define GG, FF globally for inner testsets
|
2017-07-23 17:03:28 +02:00 |
|
kalmar
|
8a8d2237c5
|
Add tests for DirectProductGroups
|
2017-07-23 03:27:03 +02:00 |
|
kalmar
|
4492c4451e
|
fix skipped tests
|
2017-07-11 16:26:26 +02:00 |
|
kalmar
|
e0af8ded6e
|
adjust to changes in replace_all
|
2017-07-06 09:19:53 +02:00 |
|
kalmar
|
5baa5935c3
|
fix for tests
|
2017-07-06 09:13:36 +02:00 |
|
kalmar
|
acbaa148bf
|
fix tests
|
2017-07-05 16:26:35 +02:00 |
|
kalmar
|
2df2dd7bd6
|
add tests catching the problems
|
2017-07-05 16:21:16 +02:00 |
|
kalmar
|
40fb5566d7
|
uncomment FreeGroup-tests.jl
|
2017-05-15 17:30:38 +02:00 |
|
kalmar
|
ab16d05b94
|
update AutGroup-tests
|
2017-05-15 17:30:18 +02:00 |
|
kalmar
|
5772e09ed7
|
split tests into separate files
|
2017-05-15 10:12:46 +02:00 |
|
kalmar
|
b491d2c572
|
fix tests for AutSymbol and flip_autsymbol
|
2017-05-12 21:21:39 +02:00 |
|
kalmar
|
2461b42e9c
|
tests for FPGroup and FreeGroup(n::Int)
|
2017-05-12 21:19:57 +02:00 |
|
kalmar
|
639c05b4fa
|
further tests
|
2017-05-12 20:49:02 +02:00 |
|
kalmar
|
f2e5eebecf
|
update tests
|
2017-05-12 20:34:41 +02:00 |
|
kalmar
|
bd1208e2f8
|
skip G.rels tests
|
2017-05-12 19:50:17 +02:00 |
|
kalmar
|
2e6cd65d39
|
massive overhaul of tests
|
2017-05-11 18:30:23 +02:00 |
|
kalmar
|
c9c52f3182
|
New tests to check correctness of sigmas, rhos, lambdas and epsilons
|
2017-02-10 16:01:19 +01:00 |
|
kalmar
|
31ad7d17eb
|
Changes in test to accommodate change in AutSymbol
|
2017-02-10 16:00:49 +01:00 |
|
kalmar
|
78808d2430
|
modify tests to accomodate changes
|
2017-02-02 11:47:23 +01:00 |
|
kalmar
|
e98784bd98
|
rename freegroup_reduce → reduce
|
2017-01-31 16:56:49 +01:00 |
|
kalmar
|
c3ee520521
|
Merge branch 'master' into cosmetics
|
2017-01-31 16:55:23 +01:00 |
|
kalmar
|
9755b9365c
|
fix basic tests for construction of automorphisms
|
2017-01-27 13:04:52 +01:00 |
|
kalmar
|
26e3d74800
|
Merge branch 'enh/word_replacement'
|
2017-01-26 13:29:06 +01:00 |
|
kalmar
|
6f27d39a83
|
tests of the replacement functions
|
2017-01-26 12:52:24 +01:00 |
|
kalmar
|
2bbe1a6b61
|
add tests for hash
|
2017-01-25 15:57:42 +01:00 |
|
kalmar
|
7d5973b11c
|
tests of the conversion
|
2017-01-25 12:18:18 +01:00 |
|
kalmar
|
0d36b96c49
|
amend tests for Aut(F_4)
|
2017-01-24 13:17:33 +01:00 |
|
kalmar
|
ea9b9402a2
|
Tests for the specific example of Aut(F_4)
|
2017-01-24 13:09:49 +01:00 |
|
kalmar
|
57f0559eae
|
cosmetics
|
2017-01-24 12:30:45 +01:00 |
|
kalmar
|
7b208584a2
|
tests for automorphism_groups
|
2017-01-24 12:23:25 +01:00 |
|
kalmar
|
06894fd6d1
|
create package from existing code
|
2017-01-23 17:05:38 +01:00 |
|
kalmar
|
66e82e5bda
|
Groups.jl generated files.
license: MIT
authors: kalmar
years: 2017
user:
Julia Version 0.5.1-pre+0 [6a1e339*]
|
2017-01-23 16:45:24 +01:00 |