diff --git a/Project.toml b/Project.toml index 50ee7716d9..754ef57a3d 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "AbstractAlgebra" uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" -version = "0.41.1" +version = "0.41.2" [deps] InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240" diff --git a/src/generic/DirectSum.jl b/src/generic/DirectSum.jl index c621e6ab5e..6bc5999aea 100644 --- a/src/generic/DirectSum.jl +++ b/src/generic/DirectSum.jl @@ -252,12 +252,12 @@ function ModuleHomomorphism(D::DirectSumModule{T}, A::DirectSumModule{T}, m::Mat return ModuleHomomorphism(D, A, transpose(hvcat(Tuple([length(SD) for i = 1:length(SA)]), map(x->transpose(x.matrix), m)...))) end -function AbstractAlgebra.hom(M::DirectSumModule{T}, N::DirectSumModule{T}, mp::Vector{ModuleHomomorphism{T}}) where T +function hom(M::DirectSumModule{T}, N::DirectSumModule{T}, mp::Vector{ModuleHomomorphism{T}}) where T @assert length(M.m) == length(mp) == length(N.m) return hom(M, N, cat(map(matrix, mp)..., dims = (1,2))) end -function AbstractAlgebra.hom(A::AbstractAlgebra.Generic.DirectSumModule{T}, B::AbstractAlgebra.Generic.DirectSumModule{T}, M::Matrix{<:Map{<:AbstractAlgebra.FPModule{T}, <:AbstractAlgebra.FPModule{T}}}) where {T} +function hom(A::DirectSumModule{T}, B::DirectSumModule{T}, M::Matrix{<:Map{<:AbstractAlgebra.FPModule{T}, <:AbstractAlgebra.FPModule{T}}}) where {T} pro = canonical_projections(A) im = canonical_injections(B) s = hom(A, B, [zero(B) for i = 1:dim(A)]) diff --git a/src/generic/imports.jl b/src/generic/imports.jl index a4f68e7ca5..3e3820f85e 100644 --- a/src/generic/imports.jl +++ b/src/generic/imports.jl @@ -135,6 +135,7 @@ import ..AbstractAlgebra: factor_squarefree import ..AbstractAlgebra: gen import ..AbstractAlgebra: gens import ..AbstractAlgebra: get_cached! +import ..AbstractAlgebra: hom import ..AbstractAlgebra: identity_matrix import ..AbstractAlgebra: image_fn import ..AbstractAlgebra: inflate