add comment

2017-03-13 20:38:07 +01:00 · 2017-03-13 20:38:07 +01:00 · 59e6e6d07f
commit 59e6e6d07f
parent 44f91c31a4
1 changed files with 5 additions and 0 deletions
--- a/SL3Z.jl
+++ b/SL3Z.jl
@ -110,8 +110,13 @@ end



+#=
+To use file property(T).jl (specifically: check_property_T function)
+You need to define:

+function ΔandSDPconstraints(identity, S):: (Δ, sdp_constraints)

+=#

 using GroupAlgebras
 using PropertyT