File: formQ0-examples.mac

package info (click to toggle)
maxima 5.47.0-9
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 193,104 kB
  • sloc: lisp: 434,678; fortran: 14,665; tcl: 10,990; sh: 4,577; makefile: 2,763; ansic: 447; java: 328; 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 (2) 
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
 */