Merge branch 'master' into matrixalgebra

Author: lkdvos

.github/workflows/CompatCheck.yml

@@ -0,0 +1,35 @@
+name: Compat Check
+
+on:
+  push:
+    branches:
+      - 'master'
+      - 'main'
+      - 'release-'
+    tags: '*'
+  pull_request:
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  test:
+    name: Compat bounds check - ${{ matrix.julia-version }}
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        downgrade_mode: ['alldeps']
+        julia-version: ['1.10', '1']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: ${{ matrix.julia-version }}
+      - uses: julia-actions/julia-downgrade-compat@v2
+        with:
+          mode: ${{ matrix.downgrade_mode }}
+          skip: Random, LinearAlgebra, Test, Combinatorics
+      - uses: julia-actions/julia-buildpkg@v1
+      - uses: julia-actions/julia-runtest@v1

Project.toml

@@ -39,12 +39,12 @@ PackageExtensionCompat = "1"
 Random = "1"
 ScopedValues = "1.3.0"
 Strided = "2"
-TensorKitSectors = "0.1"
+TensorKitSectors = "0.1.4, 0.2"
 TensorOperations = "5.1"
 Test = "1"
 TestExtras = "0.2,0.3"
 TupleTools = "1.1"
-VectorInterface = "0.4, 0.5"
+VectorInterface = "0.4.8, 0.5"
 Zygote = "0.7"
 julia = "1.10"
 

src/planar/preprocessors.jl

@@ -211,7 +211,7 @@ function _construct_braidingtensors!(ex, preargs, indexmap) # ex is guaranteed t
         newargs = Vector{Any}(undef, length(args))
         newargs[1] = args[1]
         success = true
-        indices = TO.getindices(ex)
+        indices = [TO.getindices(arg) for arg in args]
         for i in 2:length(ex.args)
             indexmapa = copy(indexmap)
             newargs[i], successa = _construct_braidingtensors!(args[i], preargs, indexmapa)

test/planar.jl

@@ -284,4 +284,13 @@ end
 
         @test tr1 ≈ tr2 ≈ tr3 ≈ tr4 ≈ tr5 ≈ tr6 ≈ tr7
     end
+    @testset "Issue 262" begin
+        V = ℂ^2
+        A = rand(T, V ← V)
+        B = rand(T, V ← V')
+        C = rand(T, V' ← V)
+        @planar D1[i; j] := A[i; j] + B[i; k] * C[k; j]
+        @planar D2[i; j] := B[i; k] * C[k; j] + A[i; j]
+        @test D1 ≈ D2
+    end
 end