kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 02:05:30 +01:00
Code Issues Releases Wiki Activity

is_subsymbol function

Browse Source
This commit is contained in:
kalmar 2017-01-25 10:57:48 +01:00
parent 6b87bf44a3
commit c7e3c0b403
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Groups.jl
View File

@ -173,6 +173,9 @@ end
(^)(x::GWord, n::Integer) = power_by_squaring(x,n)
(^){T<:GSymbol}(x::T, n::Integer) = GWord(x)^n
is_subsymbol(s::GSymbol, t::GSymbol) =
s.gen == t.gen && (0 ≤ s.pow ≤ t.pow || 0 ≥ s.pow ≥ t.pow)
include("free_groups.jl")
include("automorphism_groups.jl")