add Validated Numerics if we want to use Interval

2017-06-09 11:56:00 +02:00 · 2017-06-09 11:56:00 +02:00 · 0eae65169e
parent 17ce9ff2fc
commit 0eae65169e
1 changed files with 2 additions and 0 deletions
--- a/Orb_AutFN.jl
+++ b/Orb_AutFN.jl
@ -5,6 +5,8 @@ using SCS
 using GroupRings
 using PropertyT

+using ValidatedNumerics
+
 import Nemo: Group, GroupElem
 using ArgParse