File: patterns.cdb

package info (click to toggle)
cadabra 1.46-6
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 5,244 kB
  • sloc: cpp: 33,188; ansic: 2,724; makefile: 329; yacc: 180; sh: 157; python: 45; lex: 38; lisp: 19
file content (23 lines) | stat: -rw-r--r-- 390 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 

# Test 1 - 3: Range wildcards.

@reset.
{m,n,p,q,r}::Indices(vector).
A_{ #{m,1..3} }::AntiSymmetric.
obj1:= A_{m n p p};
@canonicalise!(%);
tst1:= A_{m n p p} - @(obj1);
@collect_terms!(%);
@assert(tst1);

obj2:= A_{m p p};
@canonicalise!(%);
@collect_terms!(%);
@assert(obj2);

obj3:= A_{\mu\nu\nu};
@canonicalise!(%);
tst3:= A_{\mu\nu\nu} - @(obj3);
@collect_terms!(%);
@assert(tst3);