diff --git a/main.jl b/main.jl
index 57f25e0..9dfb776 100644
--- a/main.jl
+++ b/main.jl
@@ -1,3 +1,8 @@
+using AbstractAlgebra
+using Nemo
+using PropertyT
+using Groups
+
 using SCS.SCSSolver
 # using Mosek
 # using CSDP