kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 06:30:29 +01:00
Code Issues Releases Wiki Activity

bump to 0.7 and update compats

Browse Source
This commit is contained in:
Marek Kaluba 2021-09-28 15:47:09 +02:00
parent bee0f55378
commit f00de84d29
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
3 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
Project.toml
View File

@ -1,7 +1,7 @@
name = "Groups" name = "Groups"
uuid = "5d8bd718-bd84-11e8-3b40-ad14f4a32557" uuid = "5d8bd718-bd84-11e8-3b40-ad14f4a32557"
authors = ["Marek Kaluba <kalmar@amu.edu.pl>"] authors = ["Marek Kaluba <kalmar@amu.edu.pl>"]
version = "0.6.0" version = "0.7.0"
[deps] [deps]
GroupsCore = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120" GroupsCore = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120"
@ -11,13 +11,13 @@ Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
ThreadsX = "ac1d9e8a-700a-412c-b207-f0111f4b6c0d" ThreadsX = "ac1d9e8a-700a-412c-b207-f0111f4b6c0d"
[compat] [compat]
AbstractAlgebra = "0.15, 0.16" AbstractAlgebra = "0.22"
GroupsCore = "^0.3" GroupsCore = "0.4"
KnuthBendix = "^0.2.1" KnuthBendix = "0.3"
OrderedCollections = "1" OrderedCollections = "1"
PermutationGroups = "^0.3" PermutationGroups = "0.3"
ThreadsX = "^0.1.0" ThreadsX = "0.1"
julia = "1.3, 1.4, 1.5, 1.6" julia = "1.3"
[extras] [extras]
AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"

2
src/groups/sautFn.jl
View File

@ -10,7 +10,7 @@ function SpecialAutomorphismGroup(F::FreeGroup; ordering = KnuthBendix.LenLex, k
maxrules = 1000*n maxrules = 1000*n
rws = KnuthBendix.RewritingSystem(rels, ordering(A)) rws = KnuthBendix.RewritingSystem(rels, ordering(A))
@time KnuthBendix.knuthbendix!(rws; maxrules=maxrules, kwargs...) KnuthBendix.knuthbendix!(rws; maxrules=maxrules, kwargs...)
return AutomorphismGroup(F, S, rws, ntuple(i -> gens(F, i), n)) return AutomorphismGroup(F, S, rws, ntuple(i -> gens(F, i), n))
end end

1
src/types.jl
View File

@ -84,7 +84,6 @@ end
## GroupElement Interface for FPGroupElement ## GroupElement Interface for FPGroupElement
Base.parent(f::AbstractFPGroupElement) = f.parent Base.parent(f::AbstractFPGroupElement) = f.parent
GroupsCore.parent_type(::Type{<:AbstractFPGroupElement{G}}) where {G} = G
function Base.:(==)(g::AbstractFPGroupElement, h::AbstractFPGroupElement) function Base.:(==)(g::AbstractFPGroupElement, h::AbstractFPGroupElement)
@boundscheck @assert parent(g) === parent(h) @boundscheck @assert parent(g) === parent(h)