mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-09-18 09:38:00 +02:00
Parametrising Automorphisms
This commit is contained in:
parent
c858b77b8c
commit
2a0e6ee4fb
@ -167,12 +167,14 @@ end
|
|||||||
|
|
||||||
(^)(x::GWord, n::Integer) = power_by_squaring(x,n)
|
(^)(x::GWord, n::Integer) = power_by_squaring(x,n)
|
||||||
|
|
||||||
type FGAutomorphism
|
|
||||||
domain::Vector{GSymbol}
|
|
||||||
image::Vector{GWord}
|
type FGAutomorphism{T<:GSymbol}
|
||||||
|
domain::Vector{T}
|
||||||
|
image::Vector{GWord{T}}
|
||||||
map::Function
|
map::Function
|
||||||
|
|
||||||
function FGAutomorphism(domain::Vector{FGSymbol}, image::Vector{GWord}, map::Function)
|
function FGAutomorphism{T}(domain::Vector{T}, image::Vector{GWord{T}}, map::Function)
|
||||||
length(domain) == length(unique(domain)) ||
|
length(domain) == length(unique(domain)) ||
|
||||||
throw(ArgumentError("The elements of $domain are not unique"))
|
throw(ArgumentError("The elements of $domain are not unique"))
|
||||||
length(domain) == length(image) ||
|
length(domain) == length(image) ||
|
||||||
|
Loading…
Reference in New Issue
Block a user