add tangent type test

Author: lkdvos

test/mooncake/tangent.jl

@@ -0,0 +1,58 @@
+using Test, TestExtras
+using TensorKit
+using Mooncake
+using Random
+using JET, AllocCheck
+
+@isdefined(TestSetup) || include("../setup.jl")
+using .TestSetup
+using .TestSetup: _repartition
+
+mode = Mooncake.ReverseMode
+rng = Random.default_rng()
+
+spacelist = (
+    (ℂ^2, (ℂ^3)', ℂ^3, ℂ^2, (ℂ^2)'),
+    (
+        Vect[Z2Irrep](0 => 1, 1 => 1),
+        Vect[Z2Irrep](0 => 1, 1 => 2)',
+        Vect[Z2Irrep](0 => 2, 1 => 2)',
+        Vect[Z2Irrep](0 => 2, 1 => 3),
+        Vect[Z2Irrep](0 => 2, 1 => 2),
+    ),
+    (
+        Vect[FermionParity](0 => 1, 1 => 1),
+        Vect[FermionParity](0 => 1, 1 => 2)',
+        Vect[FermionParity](0 => 2, 1 => 1)',
+        Vect[FermionParity](0 => 2, 1 => 3),
+        Vect[FermionParity](0 => 2, 1 => 2),
+    ),
+    (
+        Vect[U1Irrep](0 => 2, 1 => 1, -1 => 1),
+        Vect[U1Irrep](0 => 2, 1 => 1, -1 => 1),
+        Vect[U1Irrep](0 => 2, 1 => 2, -1 => 1)',
+        Vect[U1Irrep](0 => 1, 1 => 1, -1 => 2),
+        Vect[U1Irrep](0 => 1, 1 => 2, -1 => 1)',
+    ),
+    (
+        Vect[SU2Irrep](0 => 2, 1 // 2 => 1),
+        Vect[SU2Irrep](0 => 1, 1 => 1),
+        Vect[SU2Irrep](1 // 2 => 1, 1 => 1)',
+        Vect[SU2Irrep](1 // 2 => 2),
+        Vect[SU2Irrep](0 => 1, 1 // 2 => 1, 3 // 2 => 1)',
+    ),
+    (
+        Vect[FibonacciAnyon](:I => 2, :τ => 1),
+        Vect[FibonacciAnyon](:I => 1, :τ => 2)',
+        Vect[FibonacciAnyon](:I => 2, :τ => 2)',
+        Vect[FibonacciAnyon](:I => 2, :τ => 3),
+        Vect[FibonacciAnyon](:I => 2, :τ => 2),
+    ),
+)
+eltypes = (Float64, ComplexF64)
+
+
+@timedtestset "Mooncake - Tangent type: $(TensorKit.type_repr(sectortype(eltype(V)))) ($T)" for V in spacelist, T in eltypes
+    A = randn(T, V[1] ⊗ V[2] ← V[4] ⊗ V[5])
+    Mooncake.TestUtils.test_data(rng, A)
+end