From c7e3c0b403f46f33f7f1568f4122383b3d68415a Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 25 Jan 2017 10:57:48 +0100
Subject: [PATCH] is_subsymbol function

---
 src/Groups.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Groups.jl b/src/Groups.jl
index 97b7a41..6b5f11e 100644
--- a/src/Groups.jl
+++ b/src/Groups.jl
@@ -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")