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

workaround for Nemo-v0.6.3+: perm is no longer a type, it's a function

This commit is contained in:
kalmarek 2017-10-04 21:31:53 +02:00
parent 66a38d89aa
commit 106abbe5c1
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
AutFN_orbit.jl
View File

@ -2,6 +2,9 @@ using ArgParse
using SCS
using Nemo
if VERSION >= v"0.6.0"
import Nemo.Generic.perm
end
using PropertyT
using Groups

4
SL_orbit.jl
View File

@ -2,6 +2,10 @@ using ArgParse
using SCS.SCSSolver
using Nemo
if VERSION >= v"0.6.0"
import Nemo.Generic.perm
end
using PropertyT
using Groups