use AbstractAlgebra in mcg

This commit is contained in:
kalmarek 2018-07-31 15:52:16 +02:00
parent 0d2f15c887
commit 8a2d6086cb

View File

@ -1,6 +1,6 @@
module MappingClassGroups
using Nemo
using AbstractAlgebra
using Groups
###############################################################################
@ -80,7 +80,7 @@ function generatingset(N::Int)
(A[2i+3]*A[2i+2]*A[2i+4]*A[2i+3])*( n(i+1)*A[2i+2]*A[2i+1]*A[2i] )
end
push!(relations, X*n(N)*inv(n(N)*X))
# push!(relations, X*n(N)*inv(n(N)*X))
relations = [relations; [inv(rel) for rel in relations]]
Groups.add_rels!(MCGroup, Dict(rel => MCGroup() for rel in relations))