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: trace.yts,v 1.2 2006/03/26 12:49:15 ayalpinkus Exp $
// Tests for Trace
//////
Testing("-- Trace");
Verify(Trace(a),Hold(Trace(a)));
Verify(Trace({}),0);
Verify(Trace({a,b}),a+b);
Verify(Trace({{}}),0);
Verify(Trace({{a}}),a);
Verify(Trace({{},a}),{});
Verify(Simplify(Trace({{a},b})-{a+b}),{0});
Verify(Trace({{},{}}),0);
Verify(Trace({{},{{}}}),Hold({}+{{}})); // bug in list addition?
Verify(Trace({{a,b},{c}}),Hold({a,b}+{c})); // bug in list addition?
Verify(Trace({{a,b},{c,d}}),a+d);
Verify(Trace({{a,b},{c,d},{e,f}}),a+d);
Verify(Trace({{a,b,c},{d,e,f},{g,h,i}}),a+e+i);
Verify(Trace({{a,b,c},{d,e,f}}),a+e);
Verify(Trace({{{a,b}},{{c,d}}}),a);
Verify(Trace({{{{a},{b}}},{{{c},d}}}),{a});
Verify(Trace({{{{{a,b}}}},{{{c,d}}}}),{{a,b}});
Verify(Trace({{{{{a,b}}}},{{{c},{d}}}}),{{{a,b}}});
Verify(Trace({{{}}}),0);
Verify(Trace({{{a}}}),a);
Verify(Trace({{{{a}}},{{{b}}}}),a);
Verify(Trace({{{{a},{b}}},{{{c},{d}}}}),a);
Verify(Trace({{{{a,b}}},{{{c,d}}}}),a);
Verify(Trace({{{{a,b}},{{c,d}}}}),a);
Verify(Trace({{{{{{a,b},{c}}}}},{{{d},{e,f,g}}}}),{{{{a, b}, {c}}}});
//////
//////
|
