Skip to content

Commit 97f55ec

Browse files
committed
Add another young_reduce test
1 parent 42bbb4e commit 97f55ec

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

tests/youngreduce.cdb

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -129,3 +129,10 @@ def test12():
129129

130130
test12()
131131

132+
def test13():
133+
R_{a b c d}::RiemannTensor.
134+
A^{a b c}::AntiSymmetric.
135+
ex:= R_{a b c d} A^{a b c};
136+
young_reduce(ex, $R_{a b c d} A^{a b c}$);
137+
assert ex==0
138+
print("Test 13 passed")

0 commit comments

Comments
 (0)