File: formQ0-examples.mac

package info (click to toggle)
maxima 5.49.0%2Bdsfg-1
  • links: PTS
  • area: main
  • in suites:
  • size: 128,932 kB
  • sloc: lisp: 437,845; fortran: 14,665; tcl: 10,143; sh: 4,598; makefile: 2,206; ansic: 447; java: 374; python: 262; perl: 201; xml: 60; awk: 28; sed: 15; javascript: 2
file content (30 lines) | stat: -rw-r--r-- 1,217 bytes parent folder | download | duplicates (3) 
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
 
load("formQ0.mac")$
load(itensor)$
dim:3$
decsym(g,0,2,[],[sym(all)])$
imetric(g)$
flipflag:true$
defcon(x,x,r2)$
components(r2([],[]),r^2)$
ishow(canform('kdels([a,b,c],[j,k,l])*Q0(x([],[a])*x([],[b])*x([],[c]))))$
/* output shown in paper:
                                         %1  %2 %3      j k l     2
                                      3 x   g      kdels         r
           %1  %2  %3      j k l                        %1 %2 %3
(%t9)     x   x   x   kdels         - -----------------------------
                           %1 %2 %3                 5
 */
ishow(canform('kdels([a,b,c,d],[j,k,l,m])
                     *Q0(x([],[a])*x([],[b])*x([],[c])*x([],[d]))))$
/* output shown in paper:
          %1 %2  %3 %4      j k l m      4
       3 g      g      kdels            r
                            %1 %2 %3 %4
(%t10) -----------------------------------
                       35
           %1  %2  %3 %4      j k l m      2
        6 x   x   g      kdels            r
                              %1 %2 %3 %4       %1  %2  %3  %4      j k l m
      - ------------------------------------ + x   x   x   x   kdels
                         7                                          %1 %2 %3 %4
 */