From 61ef3a6c5f221903e887794fb40611b1718a382b Mon Sep 17 00:00:00 2001 From: Janis Erdmanis Date: Tue, 23 May 2023 01:09:34 +0300 Subject: [PATCH] removing convert method on Vector{<:Group} --- src/groups.jl | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/groups.jl b/src/groups.jl index dfed3a6..574c9b9 100644 --- a/src/groups.jl +++ b/src/groups.jl @@ -16,11 +16,6 @@ import Base./ name(x::G) where G <: Group = name(G) -#Base.convert(::Type{Vector{G}}, x::Vector) where G <: Group = G[ G <| i for i in x] -#Base.convert(::Type{Vector{G}}, x::Vector) where G <: Group = G[convert(G, i) for i in x] -#Base.convert(::Type{Vector{G}}, x::Vector) where G <: Group = G[] - - Base.rand(prg::PRG, ::Type{G}, N::Integer; nr::Integer = 0) where G <: Group = Vector{G} <| rand(prg, spec(G), N; nr) Base.ones(x::Vector{G}) where G <: Group = [one(i) for i in x] # need to extend this