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

import Group, GroupElem

This commit is contained in:
kalmar 2017-06-06 18:47:10 +02:00
parent 16cbd949be
commit 8dc5577254
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Orb_AutFN.jl
View File

@ -5,6 +5,7 @@ using SCS
using GroupRings
using PropertyT
import Nemo: Group, GroupElem
using ArgParse
include("OrbitDecomposition.jl")