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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
# Test 1-2: declarations overwrite old ones
#
{m,n,p}::Indices.
{m,n,p,q,r,s}::Indices.
F2:= F_{m n} F_{m n};
G2:= @(F2) @(F2);
tst1:= F_{m n} F_{m n} F_{p q} F_{p q} - @(G2);
@collect_terms!(%);
@assert(tst1);
@reset.
{ a_{1}, a_{3}, a_{2} }::SortOrder.
obj2:= a_{3} a_{2} a_{1};
@prodsort!(%);
tst2:= a_{1} a_{3} a_{2} - @(obj2);
@collect_terms!(%);
@assert(tst2);
@reset.
{ a_{2}, a_{1}, a_{3} }::SortOrder.
obj3:= a_{3} a_{2} a_{1};
@prodsort!(%);
tst3:= a_{2} a_{1} a_{3} - @(obj3);
@collect_terms!(%);
@assert(tst3);
@reset.
{a,b,c}::AntiCommuting.
{d,e}::AntiCommuting.
obj3:= d b a c e;
@prodsort!(%);
tst3:= a b c d e + @(obj3);
@collect_terms!(%);
@assert(tst3);
@reset.
{a,b,c,d,e}::AntiCommuting.
obj4:= d b a c e;
@prodsort!(%);
tst4:= a b c d e - @(obj4);
@collect_terms!(%);
@assert(tst4);
# Test 5: Inherit<..> testing.
#
@reset.
D{#}::Derivative.
{A,B,C,D}::AntiCommuting.
obj5:= D(B C) A;
@prodsort!(%);
tst5:= A D(B C) - @(obj5);
@collect_terms!(%);
@assert(tst5);
# Test 6: Inherit<..> testing.
#
@reset.
D{#}::Derivative.
{A,B,C,D}::AntiCommuting.
obj6:= D(B C D) A;
@prodsort!(%);
tst6:= - A D(B C D) - @(obj6);
@collect_terms!(%);
@assert(tst6);
# Test 8: Inherit<..> testing.
#
@reset.
D{#}::Derivative.
{A,B,C,E}::AntiCommuting.
obj8:= D_{E}(B C) A;
@prodsort!(%);
tst8:= - A D_{E}(B C) - @(obj8);
@collect_terms!(%);
@assert(tst8);
|
