add 2 procs to speed-up checking

2017-10-04 21:33:20 +02:00 · 2017-10-04 21:33:20 +02:00 · 84869c14fc
parent 330319abbc
commit 84869c14fc
1 changed files with 1 additions and 0 deletions
--- a/AutFN_orbit.jl
+++ b/AutFN_orbit.jl
@ -5,6 +5,7 @@ using Nemo
 if VERSION >= v"0.6.0"
   import Nemo.Generic.perm
 end
+addprocs(2)
 using PropertyT

 using Groups