Links for tropical-gemm