kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

move specific group-related code to groups/...

Browse Source
This commit is contained in:
kalmarek 2018-03-22 10:59:27 +01:00
parent a75ee1f645
commit 98b2417ae1
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
SAutFNs.jl → groups/autfreegroup.jl
View File

@ -1,4 +1,4 @@
module SAutFNs module SpecialAutomorphisms
using Nemo using Nemo
using Groups using Groups
@ -17,9 +17,8 @@ function generatingset(N::Int)
SAutFN = AutGroup(FreeGroup(N), special=true) SAutFN = AutGroup(FreeGroup(N), special=true)
S = gens(SAutFN); S = gens(SAutFN);
S = [S; [inv(s) for s in S]]
return SAutFN, unique(S) return SAutFN, unique([S; inv.(S)])
end end
function generatingset(parsed_args) function generatingset(parsed_args)
@ -77,4 +76,4 @@ end
groupname(N::Int) = "SAutF$(N)" groupname(N::Int) = "SAutF$(N)"
end # of module SAutFNs end # of module SpecialAutomorphisms

5
SLNs.jl → groups/speciallinear.jl
View File

@ -1,4 +1,4 @@
module SLNs module SpecialLinear
using Nemo using Nemo
using Groups using Groups
@ -21,6 +21,7 @@ function E(i::Int, j::Int, M::MatSpace, val=one(M.base_ring))
end end
function SLsize(n,p) function SLsize(n,p)
p == 0 && return Inf
result = BigInt(1) result = BigInt(1)
for k in 0:n-1 for k in 0:n-1
result *= p^n - p^k result *= p^n - p^k
@ -121,4 +122,4 @@ function groupname(N::Int, p::Int=0, X::Bool=false)
return name return name
end end
end # of module SLNs end # of module SpecialLinear