From e6a0ffd3d66fe0f2c104d4a56c9e63c1baa45a1c Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Fri, 27 Oct 2017 16:09:23 +0200
Subject: [PATCH] AutSymbol carries automorphism type, not expression

---
 src/AutGroup.jl | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/src/AutGroup.jl b/src/AutGroup.jl
index cb1a65d..7868ee1 100644
--- a/src/AutGroup.jl
+++ b/src/AutGroup.jl
@@ -4,10 +4,30 @@
 #
 ###############################################################################
 
+immutable RTransvect
+    i::Int
+    j::Int
+end
+
+immutable LTransvect
+    i::Int
+    j::Int
+end
+
+immutable FlipAut
+    i::Int
+end
+
+immutable PermAut
+    p::perm
+end
+
+immutable Identity end
+
 immutable AutSymbol <: GSymbol
    str::String
    pow::Int
-   ex::Expr
+   typ::Union{RTransvect, LTransvect, FlipAut, PermAut, Identity}
 end
 
 typealias AutGroupElem GWord{AutSymbol}