1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
//////
// $Id: tr.yts,v 1.2 2006/03/26 12:49:15 ayalpinkus Exp $
// Tests for Tr
//////
Testing("-- Tr (trace of tensor)");
Verify(Tr(a),Hold(Tr(a)));
Verify(Tr({}),0);
Verify(Tr({a,b}),a+b);
Verify(Tr({{}}),0);
Verify(Tr({{a}}),a);
Verify(Tr({{},a}),{});
Verify(Simplify(Tr({{a},b})-{a+b}),{0});
Verify(Tr({{},{}}),0);
Verify(Tr({{},{{}}}),Hold({}+{{}})); // bug in list addition?
//Verify(Tr({{a,b},{c}}),Hold({a,b}+{c})); // bug in list addition?
Verify(Tr({{a,b},{c,d}}),a+d);
Verify(Tr({{a,b},{c,d},{e,f}}),a+d);
Verify(Tr({{a,b,c},{d,e,f},{g,h,i}}),a+e+i);
Verify(Tr({{a,b,c},{d,e,f}}),a+e);
Verify(Tr({{{a,b}},{{c,d}}}),a);
Verify(Tr({{{{a},{b}}},{{{c},d}}}),{a});
Verify(Tr({{{{{a,b}}}},{{{c,d}}}}),{{a,b}});
Verify(Tr({{{{{a,b}}}},{{{c},{d}}}}),{{{a,b}}});
Verify(Tr({{{}}}),0);
Verify(Tr({{{a}}}),a);
Verify(Tr({{{{a}}},{{{b}}}}),a);
Verify(Tr({{{{a},{b}}},{{{c},{d}}}}),a);
Verify(Tr({{{{a,b}}},{{{c,d}}}}),a);
Verify(Tr({{{{a,b}},{{c,d}}}}),a);
Verify(Tr({{{{{{a,b},{c}}}}},{{{d},{e,f,g}}}}),{{{{a, b}, {c}}}});
//////
//////
|
