fix readme (#8)

Author: GiggleLiu

README.md

@@ -76,6 +76,11 @@ julia> solve(problem, "counting max2")
 
 Here, `solve` function returns you a 0-dimensional array.
 For open graphs, this output tensor can have higher dimensions. Each entry corresponds to a different boundary condition.
+You can speed up the Tropical number computation when computing "size max" on CPU by using the `TropicalGEMM`
+
+```julia
+julia> using TropicalGEMM
+```
 
 #### 2. compute the independence polynomial
 

src/GraphTensorNetworks.jl

@@ -4,7 +4,7 @@ using OMEinsumContractionOrders: SlicedEinsum
 using Core: Argument
 using TropicalNumbers
 using OMEinsum
-using OMEinsum: timespace_complexity, collect_ixs
+using OMEinsum: timespace_complexity, getixsv
 using Graphs
 
 export timespace_complexity, @ein_str

src/configurations.jl

@@ -100,4 +100,4 @@ end
 for GP in [:Independence, :Matching, :MaximalIndependence, :Coloring]
     @eval symbols(gp::$GP) = labels(gp.code)
 end
-symbols(gp::MaxCut) = collect_ixs(gp.code)
+symbols(gp::MaxCut) = getixsv(gp.code)

src/graph_polynomials.jl

@@ -107,7 +107,7 @@ end
 ############### Problem specific implementations ################
 ### independent set ###
 function generate_tensors(fx, gp::Independence)
-    ixs = collect_ixs(gp.code)
+    ixs = getixsv(gp.code)
     n = length(unique!(vcat(ixs...)))
     T = typeof(fx(ixs[1][1]))
     return map(enumerate(ixs)) do (i, ix)
@@ -131,7 +131,7 @@ misv(val::T) where T = [one(T), val]
 
 ### coloring ###
 function generate_tensors(fx, c::Coloring{K}) where K
-    ixs = collect_ixs(c.code)
+    ixs = getixsv(c.code)
     T = eltype(fx(ixs[1][1]))
     return map(ixs) do ix
         # if the tensor rank is 1, create a vertex tensor.
@@ -153,7 +153,7 @@ coloringv(vals::Vector{T}) where T = vals
 
 ### matching ###
 function generate_tensors(fx, m::Matching)
-    ixs = collect_ixs(m.code)
+    ixs = getixsv(m.code)
     T = typeof(fx(ixs[1][1]))
     n = length(unique!(vcat(ixs...)))  # number of vertices
     tensors = []
@@ -180,7 +180,7 @@ end
 
 ### maximal independent set ###
 function generate_tensors(fx, mi::MaximalIndependence)
-    ixs = collect_ixs(mi.code)
+    ixs = getixsv(mi.code)
     T = eltype(fx(ixs[1][end]))
 	return map(ixs) do ix
         neighbortensor(fx(ix[end]), length(ix))
@@ -197,7 +197,7 @@ end
 
 ### max cut/spin glass problem ###
 function generate_tensors(fx, gp::MaxCut)
-    ixs = collect_ixs(gp.code)
+    ixs = getixsv(gp.code)
     return map(enumerate(ixs)) do (i, ix)
         maxcutb(fx(ix))
     end

src/networks.jl

@@ -96,7 +96,7 @@ Return a vector of unique labels in an Einsum token.
 """
 function labels(code::EinTypes)
     res = []
-    for ix in collect_ixs(code)
+    for ix in getixsv(code)
         for l in ix
             if l ∉ res
                 push!(res, l)