[~/work/Program/maxima/]kenrou% ls tensor tensor.mc [~/work/Program/maxima/]kenrou% maxima AKCL (Austin Kyoto Common Lisp) Thu Feb 1 19:01:45 JST 2007 Maxima 4.155 (with enhancements by W. Schelter). Type (run) to start Maxima. >(run) Maxima 4.153 Sun Aug 19 12:02:38 CDT 1990 (with enhancements by W. Schelter). (C1) loadfile("tensor")$ tensor being loaded. Loading tensor Finished loading tensor (C15) load("/home/kenrou/lisp/maxima/share/eigen.mc")$ batching /home/kenrou/lisp/maxima/share/eigen.mc (C16) a : rp(rp([1,2], [sin(x), cos(x), tan(x)]), [1, x, x^2, x^4]); 2 4 (D16) [[[SIN(X), X SIN(X), X SIN(X), X SIN(X)], 2 4 [COS(X), X COS(X), X COS(X), X COS(X)], 2 4 [TAN(X), X TAN(X), X TAN(X), X TAN(X)]], 2 4 [[2 SIN(X), 2 X SIN(X), 2 X SIN(X), 2 X SIN(X)], 2 4 [2 COS(X), 2 X COS(X), 2 X COS(X), 2 X COS(X)], 2 4 [2 TAN(X), 2 X TAN(X), 2 X TAN(X), 2 X TAN(X)]]] (C17) tensortype(a); (D17) [2, 3, 4] (C18) tensorrank(a); (D18) 3 (C19) b : [s, t]; (D19) [S, T] (C20) c : rp(a, b); (D20) [[[[S SIN(X), T SIN(X)], [S X SIN(X), T X SIN(X)], 2 2 4 4 [S X SIN(X), T X SIN(X)], [S X SIN(X), T X SIN(X)]], 2 2 [[S COS(X), T COS(X)], [S X COS(X), T X COS(X)], [S X COS(X), T X COS(X)], 4 4 [S X COS(X), T X COS(X)]], [[S TAN(X), T TAN(X)], [S X TAN(X), T X TAN(X)], 2 2 4 4 [S X TAN(X), T X TAN(X)], [S X TAN(X), T X TAN(X)]]], [[[2 S SIN(X), 2 T SIN(X)], [2 S X SIN(X), 2 T X SIN(X)], 2 2 4 4 [2 S X SIN(X), 2 T X SIN(X)], [2 S X SIN(X), 2 T X SIN(X)]], [[2 S COS(X), 2 T COS(X)], [2 S X COS(X), 2 T X COS(X)], 2 2 4 4 [2 S X COS(X), 2 T X COS(X)], [2 S X COS(X), 2 T X COS(X)]], [[2 S TAN(X), 2 T TAN(X)], [2 S X TAN(X), 2 T X TAN(X)], 2 2 4 4 [2 S X TAN(X), 2 T X TAN(X)], [2 S X TAN(X), 2 T X TAN(X)]]]] (C21) tensortype(c); (D21) [2, 3, 4, 2] (C22) d : rp(b, a); 2 4 (D22) [[[[S SIN(X), S X SIN(X), S X SIN(X), S X SIN(X)], 2 4 [S COS(X), S X COS(X), S X COS(X), S X COS(X)], 2 4 [S TAN(X), S X TAN(X), S X TAN(X), S X TAN(X)]], 2 4 [[2 S SIN(X), 2 S X SIN(X), 2 S X SIN(X), 2 S X SIN(X)], 2 4 [2 S COS(X), 2 S X COS(X), 2 S X COS(X), 2 S X COS(X)], 2 4 [2 S TAN(X), 2 S X TAN(X), 2 S X TAN(X), 2 S X TAN(X)]]], 2 4 [[[T SIN(X), T X SIN(X), T X SIN(X), T X SIN(X)], 2 4 [T COS(X), T X COS(X), T X COS(X), T X COS(X)], 2 4 [T TAN(X), T X TAN(X), T X TAN(X), T X TAN(X)]], 2 4 [[2 T SIN(X), 2 T X SIN(X), 2 T X SIN(X), 2 T X SIN(X)], 2 4 [2 T COS(X), 2 T X COS(X), 2 T X COS(X), 2 T X COS(X)], 2 4 [2 T TAN(X), 2 T X TAN(X), 2 T X TAN(X), 2 T X TAN(X)]]]] (C23) tensortype(d); (D23) [2, 2, 3, 4] (C24) e : [-1, 2, 0, 3]; (D24) [- 1, 2, 0, 3] (C25) tensortype(e); (D25) [4] (C26) f : tvcntrct(d, e); 4 4 (D26) [[[(3 S X + 2 S X - S) SIN(X), (3 S X + 2 S X - S) COS(X), 4 4 (3 S X + 2 S X - S) TAN(X)], [(6 S X + 4 S X - 2 S) SIN(X), 4 4 (6 S X + 4 S X - 2 S) COS(X), (6 S X + 4 S X - 2 S) TAN(X)]], 4 4 [[(3 T X + 2 T X - T) SIN(X), (3 T X + 2 T X - T) COS(X), 4 4 (3 T X + 2 T X - T) TAN(X)], [(6 T X + 4 T X - 2 T) SIN(X), 4 4 (6 T X + 4 T X - 2 T) COS(X), (6 T X + 4 T X - 2 T) TAN(X)]]] (C27) tensortype(f); (D27) [2, 2, 3] (D28) [[[[[- S SIN(X), 2 S SIN(X), 0, 3 S SIN(X)], [- S X SIN(X), 2 S X SIN(X), 0, 3 S X SIN(X)], 2 2 2 [- S X SIN(X), 2 S X SIN(X), 0, 3 S X SIN(X)], 4 4 4 [- S X SIN(X), 2 S X SIN(X), 0, 3 S X SIN(X)]], [[- S COS(X), 2 S COS(X), 0, 3 S COS(X)], [- S X COS(X), 2 S X COS(X), 0, 3 S X COS(X)], 2 2 2 [- S X COS(X), 2 S X COS(X), 0, 3 S X COS(X)], 4 4 4 [- S X COS(X), 2 S X COS(X), 0, 3 S X COS(X)]], [[- S TAN(X), 2 S TAN(X), 0, 3 S TAN(X)], [- S X TAN(X), 2 S X TAN(X), 0, 3 S X TAN(X)], 2 2 2 [- S X TAN(X), 2 S X TAN(X), 0, 3 S X TAN(X)], 4 4 4 [- S X TAN(X), 2 S X TAN(X), 0, 3 S X TAN(X)]]], [[[- 2 S SIN(X), 4 S SIN(X), 0, 6 S SIN(X)], [- 2 S X SIN(X), 4 S X SIN(X), 0, 6 S X SIN(X)], 2 2 2 [- 2 S X SIN(X), 4 S X SIN(X), 0, 6 S X SIN(X)], 4 4 4 [- 2 S X SIN(X), 4 S X SIN(X), 0, 6 S X SIN(X)]], [[- 2 S COS(X), 4 S COS(X), 0, 6 S COS(X)], [- 2 S X COS(X), 4 S X COS(X), 0, 6 S X COS(X)], 2 2 2 [- 2 S X COS(X), 4 S X COS(X), 0, 6 S X COS(X)], 4 4 4 [- 2 S X COS(X), 4 S X COS(X), 0, 6 S X COS(X)]], [[- 2 S TAN(X), 4 S TAN(X), 0, 6 S TAN(X)], [- 2 S X TAN(X), 4 S X TAN(X), 0, 6 S X TAN(X)], 2 2 2 [- 2 S X TAN(X), 4 S X TAN(X), 0, 6 S X TAN(X)], 4 4 4 [- 2 S X TAN(X), 4 S X TAN(X), 0, 6 S X TAN(X)]]]], [[[[- T SIN(X), 2 T SIN(X), 0, 3 T SIN(X)], [- T X SIN(X), 2 T X SIN(X), 0, 3 T X SIN(X)], 2 2 2 [- T X SIN(X), 2 T X SIN(X), 0, 3 T X SIN(X)], 4 4 4 [- T X SIN(X), 2 T X SIN(X), 0, 3 T X SIN(X)]], [[- T COS(X), 2 T COS(X), 0, 3 T COS(X)], [- T X COS(X), 2 T X COS(X), 0, 3 T X COS(X)], 2 2 2 [- T X COS(X), 2 T X COS(X), 0, 3 T X COS(X)], 4 4 4 [- T X COS(X), 2 T X COS(X), 0, 3 T X COS(X)]], [[- T TAN(X), 2 T TAN(X), 0, 3 T TAN(X)], [- T X TAN(X), 2 T X TAN(X), 0, 3 T X TAN(X)], 2 2 2 [- T X TAN(X), 2 T X TAN(X), 0, 3 T X TAN(X)], 4 4 4 [- T X TAN(X), 2 T X TAN(X), 0, 3 T X TAN(X)]]], [[[- 2 T SIN(X), 4 T SIN(X), 0, 6 T SIN(X)], [- 2 T X SIN(X), 4 T X SIN(X), 0, 6 T X SIN(X)], 2 2 2 [- 2 T X SIN(X), 4 T X SIN(X), 0, 6 T X SIN(X)], 4 4 4 [- 2 T X SIN(X), 4 T X SIN(X), 0, 6 T X SIN(X)]], [[- 2 T COS(X), 4 T COS(X), 0, 6 T COS(X)], [- 2 T X COS(X), 4 T X COS(X), 0, 6 T X COS(X)], 2 2 2 [- 2 T X COS(X), 4 T X COS(X), 0, 6 T X COS(X)], 4 4 4 [- 2 T X COS(X), 4 T X COS(X), 0, 6 T X COS(X)]], [[- 2 T TAN(X), 4 T TAN(X), 0, 6 T TAN(X)], [- 2 T X TAN(X), 4 T X TAN(X), 0, 6 T X TAN(X)], 2 2 2 [- 2 T X TAN(X), 4 T X TAN(X), 0, 6 T X TAN(X)], 4 4 4 [- 2 T X TAN(X), 4 T X TAN(X), 0, 6 T X TAN(X)]]]]] (D29) [2, 2, 3, 4, 4] (C30) ff : cntrlst2(g); 4 (D30) [[[3 S X SIN(X) + 2 S X SIN(X) - S SIN(X), 4 3 S X COS(X) + 2 S X COS(X) - S COS(X), 4 3 S X TAN(X) + 2 S X TAN(X) - S TAN(X)], 4 [6 S X SIN(X) + 4 S X SIN(X) - 2 S SIN(X), 4 6 S X COS(X) + 4 S X COS(X) - 2 S COS(X), 4 6 S X TAN(X) + 4 S X TAN(X) - 2 S TAN(X)]], 4 [[3 T X SIN(X) + 2 T X SIN(X) - T SIN(X), 4 3 T X COS(X) + 2 T X COS(X) - T COS(X), 4 3 T X TAN(X) + 2 T X TAN(X) - T TAN(X)], 4 [6 T X SIN(X) + 4 T X SIN(X) - 2 T SIN(X), 4 6 T X COS(X) + 4 T X COS(X) - 2 T COS(X), 4 6 T X TAN(X) + 4 T X TAN(X) - 2 T TAN(X)]]] (C31) tensortype(ff); (D31) [2, 2, 3] (C31) tensortype(ff); (D31) [2, 2, 3] (C32) ff[2][1][2]; 4 (D32) 3 T X COS(X) + 2 T X COS(X) - T COS(X) (C33) ratsimp(f - ff); (D33) [[[0, 0, 0], [0, 0, 0]], [[0, 0, 0], [0, 0, 0]]] (C34) fff : cntrct(g, 4, 5); 4 (D34) [[[3 S X SIN(X) + 2 S X SIN(X) - S SIN(X), 4 3 S X COS(X) + 2 S X COS(X) - S COS(X), 4 3 S X TAN(X) + 2 S X TAN(X) - S TAN(X)], 4 [6 S X SIN(X) + 4 S X SIN(X) - 2 S SIN(X), 4 6 S X COS(X) + 4 S X COS(X) - 2 S COS(X), 4 6 S X TAN(X) + 4 S X TAN(X) - 2 S TAN(X)]], 4 [[3 T X SIN(X) + 2 T X SIN(X) - T SIN(X), 4 3 T X COS(X) + 2 T X COS(X) - T COS(X), 4 3 T X TAN(X) + 2 T X TAN(X) - T TAN(X)], 4 [6 T X SIN(X) + 4 T X SIN(X) - 2 T SIN(X), 4 6 T X COS(X) + 4 T X COS(X) - 2 T COS(X), 4 6 T X TAN(X) + 4 T X TAN(X) - 2 T TAN(X)]]] (C35) tensortype(D34); (D35) [2, 2, 3] (C36) cntrct(fff, 1, 2); 4 4 (D36) [6 T X SIN(X) + 3 S X SIN(X) + 4 T X SIN(X) + 2 S X SIN(X) - 2 T SIN(X) 4 4 - S SIN(X), 6 T X COS(X) + 3 S X COS(X) + 4 T X COS(X) + 2 S X COS(X) 4 4 - 2 T COS(X) - S COS(X), 6 T X TAN(X) + 3 S X TAN(X) + 4 T X TAN(X) + 2 S X TAN(X) - 2 T TAN(X) - S TAN(X)] (C37) tensortype(D36); (D37) [3] (C38) kill(a,b,c,d,e,f,ff,fff,s,t); (D38) DONE (C39) a : rp(rp([1,2], [3,4,5]), rp([6,5,4,3], [-1,2,-3,4,-5])); (D39) [[[[- 18, 36, - 54, 72, - 90], [- 15, 30, - 45, 60, - 75], [- 12, 24, - 36, 48, - 60], [- 9, 18, - 27, 36, - 45]], [[- 24, 48, - 72, 96, - 120], [- 20, 40, - 60, 80, - 100], [- 16, 32, - 48, 64, - 80], [- 12, 24, - 36, 48, - 60]], [[- 30, 60, - 90, 120, - 150], [- 25, 50, - 75, 100, - 125], [- 20, 40, - 60, 80, - 100], [- 15, 30, - 45, 60, - 75]]], [[[- 36, 72, - 108, 144, - 180], [- 30, 60, - 90, 120, - 150], [- 24, 48, - 72, 96, - 120], [- 18, 36, - 54, 72, - 90]], [[- 48, 96, - 144, 192, - 240], [- 40, 80, - 120, 160, - 200], [- 32, 64, - 96, 128, - 160], [- 24, 48, - 72, 96, - 120]], [[- 60, 120, - 180, 240, - 300], [- 50, 100, - 150, 200, - 250], [- 40, 80, - 120, 160, - 200], [- 30, 60, - 90, 120, - 150]]]] (C40) tensortype(a); (D40) [2, 3, 4, 5] (C41) b : [x, y]; (D41) [X, Y] (C42) c : rp(a, b); (D42) [[[[[- 18 X, - 18 Y], [36 X, 36 Y], [- 54 X, - 54 Y], [72 X, 72 Y], [- 90 X, - 90 Y]], [[- 15 X, - 15 Y], [30 X, 30 Y], [- 45 X, - 45 Y], [60 X, 60 Y], [- 75 X, - 75 Y]], [[- 12 X, - 12 Y], [24 X, 24 Y], [- 36 X, - 36 Y], [48 X, 48 Y], [- 60 X, - 60 Y]], [[- 9 X, - 9 Y], [18 X, 18 Y], [- 27 X, - 27 Y], [36 X, 36 Y], [- 45 X, - 45 Y]]], [[[- 24 X, - 24 Y], [48 X, 48 Y], [- 72 X, - 72 Y], [96 X, 96 Y], [- 120 X, - 120 Y]], [[- 20 X, - 20 Y], [40 X, 40 Y], [- 60 X, - 60 Y], [80 X, 80 Y], [- 100 X, - 100 Y]], [[- 16 X, - 16 Y], [32 X, 32 Y], [- 48 X, - 48 Y], [64 X, 64 Y], [- 80 X, - 80 Y]], [[- 12 X, - 12 Y], [24 X, 24 Y], [- 36 X, - 36 Y], [48 X, 48 Y], [- 60 X, - 60 Y]]], [[[- 30 X, - 30 Y], [60 X, 60 Y], [- 90 X, - 90 Y], [120 X, 120 Y], [- 150 X, - 150 Y]], [[- 25 X, - 25 Y], [50 X, 50 Y], [- 75 X, - 75 Y], [100 X, 100 Y], [- 125 X, - 125 Y]], [[- 20 X, - 20 Y], [40 X, 40 Y], [- 60 X, - 60 Y], [80 X, 80 Y], [- 100 X, - 100 Y]], [[- 15 X, - 15 Y], [30 X, 30 Y], [- 45 X, - 45 Y], [60 X, 60 Y], [- 75 X, - 75 Y]]]], [[[[- 36 X, - 36 Y], [72 X, 72 Y], [- 108 X, - 108 Y], [144 X, 144 Y], [- 180 X, - 180 Y]], [[- 30 X, - 30 Y], [60 X, 60 Y], [- 90 X, - 90 Y], [120 X, 120 Y], [- 150 X, - 150 Y]], [[- 24 X, - 24 Y], [48 X, 48 Y], [- 72 X, - 72 Y], [96 X, 96 Y], [- 120 X, - 120 Y]], [[- 18 X, - 18 Y], [36 X, 36 Y], [- 54 X, - 54 Y], [72 X, 72 Y], [- 90 X, - 90 Y]]], [[[- 48 X, - 48 Y], [96 X, 96 Y], [- 144 X, - 144 Y], [192 X, 192 Y], [- 240 X, - 240 Y]], [[- 40 X, - 40 Y], [80 X, 80 Y], [- 120 X, - 120 Y], [160 X, 160 Y], [- 200 X, - 200 Y]], [[- 32 X, - 32 Y], [64 X, 64 Y], [- 96 X, - 96 Y], [128 X, 128 Y], [- 160 X, - 160 Y]], [[- 24 X, - 24 Y], [48 X, 48 Y], [- 72 X, - 72 Y], [96 X, 96 Y], [- 120 X, - 120 Y]]], [[[- 60 X, - 60 Y], [120 X, 120 Y], [- 180 X, - 180 Y], [240 X, 240 Y], [- 300 X, - 300 Y]], [[- 50 X, - 50 Y], [100 X, 100 Y], [- 150 X, - 150 Y], [200 X, 200 Y], [- 250 X, - 250 Y]], [[- 40 X, - 40 Y], [80 X, 80 Y], [- 120 X, - 120 Y], [160 X, 160 Y], [- 200 X, - 200 Y]], [[- 30 X, - 30 Y], [60 X, 60 Y], [- 90 X, - 90 Y], [120 X, 120 Y], [- 150 X, - 150 Y]]]]] (C43) tensortype(c); (D43) [2, 3, 4, 5, 2] (C44) d : exchnext(c, 4)$ (C45) tensortype(d); (D45) [2, 3, 4, 2, 5] (C46) f : exchnext(d, 3)$ (C47) tensortype(f); (D47) [2, 3, 2, 4, 5] (C48) g : exchnext(f, 2)$ (C49) tensortype(g); (D49) [2, 2, 3, 4, 5] (C50) h : exchnext(g, 1); (D50) [[[[[- 18 X, 36 X, - 54 X, 72 X, - 90 X], [- 15 X, 30 X, - 45 X, 60 X, - 75 X], [- 12 X, 24 X, - 36 X, 48 X, - 60 X], [- 9 X, 18 X, - 27 X, 36 X, - 45 X]], [[- 24 X, 48 X, - 72 X, 96 X, - 120 X], [- 20 X, 40 X, - 60 X, 80 X, - 100 X], [- 16 X, 32 X, - 48 X, 64 X, - 80 X], [- 12 X, 24 X, - 36 X, 48 X, - 60 X]], [[- 30 X, 60 X, - 90 X, 120 X, - 150 X], [- 25 X, 50 X, - 75 X, 100 X, - 125 X], [- 20 X, 40 X, - 60 X, 80 X, - 100 X], [- 15 X, 30 X, - 45 X, 60 X, - 75 X]]], [[[- 36 X, 72 X, - 108 X, 144 X, - 180 X], [- 30 X, 60 X, - 90 X, 120 X, - 150 X], [- 24 X, 48 X, - 72 X, 96 X, - 120 X], [- 18 X, 36 X, - 54 X, 72 X, - 90 X]], [[- 48 X, 96 X, - 144 X, 192 X, - 240 X], [- 40 X, 80 X, - 120 X, 160 X, - 200 X], [- 32 X, 64 X, - 96 X, 128 X, - 160 X], [- 24 X, 48 X, - 72 X, 96 X, - 120 X]], [[- 60 X, 120 X, - 180 X, 240 X, - 300 X], [- 50 X, 100 X, - 150 X, 200 X, - 250 X], [- 40 X, 80 X, - 120 X, 160 X, - 200 X], [- 30 X, 60 X, - 90 X, 120 X, - 150 X]]]], [[[[- 18 Y, 36 Y, - 54 Y, 72 Y, - 90 Y], [- 15 Y, 30 Y, - 45 Y, 60 Y, - 75 Y], [- 12 Y, 24 Y, - 36 Y, 48 Y, - 60 Y], [- 9 Y, 18 Y, - 27 Y, 36 Y, - 45 Y]], [[- 24 Y, 48 Y, - 72 Y, 96 Y, - 120 Y], [- 20 Y, 40 Y, - 60 Y, 80 Y, - 100 Y], [- 16 Y, 32 Y, - 48 Y, 64 Y, - 80 Y], [- 12 Y, 24 Y, - 36 Y, 48 Y, - 60 Y]], [[- 30 Y, 60 Y, - 90 Y, 120 Y, - 150 Y], [- 25 Y, 50 Y, - 75 Y, 100 Y, - 125 Y], [- 20 Y, 40 Y, - 60 Y, 80 Y, - 100 Y], [- 15 Y, 30 Y, - 45 Y, 60 Y, - 75 Y]]], [[[- 36 Y, 72 Y, - 108 Y, 144 Y, - 180 Y], [- 30 Y, 60 Y, - 90 Y, 120 Y, - 150 Y], [- 24 Y, 48 Y, - 72 Y, 96 Y, - 120 Y], [- 18 Y, 36 Y, - 54 Y, 72 Y, - 90 Y]], [[- 48 Y, 96 Y, - 144 Y, 192 Y, - 240 Y], [- 40 Y, 80 Y, - 120 Y, 160 Y, - 200 Y], [- 32 Y, 64 Y, - 96 Y, 128 Y, - 160 Y], [- 24 Y, 48 Y, - 72 Y, 96 Y, - 120 Y]], [[- 60 Y, 120 Y, - 180 Y, 240 Y, - 300 Y], [- 50 Y, 100 Y, - 150 Y, 200 Y, - 250 Y], [- 40 Y, 80 Y, - 120 Y, 160 Y, - 200 Y], [- 30 Y, 60 Y, - 90 Y, 120 Y, - 150 Y]]]]] (C51) tensortype(h); (D51) [2, 2, 3, 4, 5] (C52) i : rp(b, a)$ (C53) tensortype(i); (D53) [2, 2, 3, 4, 5] (C54) ratsimp(i - h); (D54) [[[[[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]]], [[[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]]]], [[[[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]]], [[[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]]]]] (C55) tensortype(c); (D55) [2, 3, 4, 5, 2] (C56) exchttype(c, 2, 4); (D56) [[[[[- 18 X, - 18 Y], [- 24 X, - 24 Y], [- 30 X, - 30 Y]], [[- 15 X, - 15 Y], [- 20 X, - 20 Y], [- 25 X, - 25 Y]], [[- 12 X, - 12 Y], [- 16 X, - 16 Y], [- 20 X, - 20 Y]], [[- 9 X, - 9 Y], [- 12 X, - 12 Y], [- 15 X, - 15 Y]]], [[[36 X, 36 Y], [48 X, 48 Y], [60 X, 60 Y]], [[30 X, 30 Y], [40 X, 40 Y], [50 X, 50 Y]], [[24 X, 24 Y], [32 X, 32 Y], [40 X, 40 Y]], [[18 X, 18 Y], [24 X, 24 Y], [30 X, 30 Y]]], [[[- 54 X, - 54 Y], [- 72 X, - 72 Y], [- 90 X, - 90 Y]], [[- 45 X, - 45 Y], [- 60 X, - 60 Y], [- 75 X, - 75 Y]], [[- 36 X, - 36 Y], [- 48 X, - 48 Y], [- 60 X, - 60 Y]], [[- 27 X, - 27 Y], [- 36 X, - 36 Y], [- 45 X, - 45 Y]]], [[[72 X, 72 Y], [96 X, 96 Y], [120 X, 120 Y]], [[60 X, 60 Y], [80 X, 80 Y], [100 X, 100 Y]], [[48 X, 48 Y], [64 X, 64 Y], [80 X, 80 Y]], [[36 X, 36 Y], [48 X, 48 Y], [60 X, 60 Y]]], [[[- 90 X, - 90 Y], [- 120 X, - 120 Y], [- 150 X, - 150 Y]], [[- 75 X, - 75 Y], [- 100 X, - 100 Y], [- 125 X, - 125 Y]], [[- 60 X, - 60 Y], [- 80 X, - 80 Y], [- 100 X, - 100 Y]], [[- 45 X, - 45 Y], [- 60 X, - 60 Y], [- 75 X, - 75 Y]]]], [[[[- 36 X, - 36 Y], [- 48 X, - 48 Y], [- 60 X, - 60 Y]], [[- 30 X, - 30 Y], [- 40 X, - 40 Y], [- 50 X, - 50 Y]], [[- 24 X, - 24 Y], [- 32 X, - 32 Y], [- 40 X, - 40 Y]], [[- 18 X, - 18 Y], [- 24 X, - 24 Y], [- 30 X, - 30 Y]]], [[[72 X, 72 Y], [96 X, 96 Y], [120 X, 120 Y]], [[60 X, 60 Y], [80 X, 80 Y], [100 X, 100 Y]], [[48 X, 48 Y], [64 X, 64 Y], [80 X, 80 Y]], [[36 X, 36 Y], [48 X, 48 Y], [60 X, 60 Y]]], [[[- 108 X, - 108 Y], [- 144 X, - 144 Y], [- 180 X, - 180 Y]], [[- 90 X, - 90 Y], [- 120 X, - 120 Y], [- 150 X, - 150 Y]], [[- 72 X, - 72 Y], [- 96 X, - 96 Y], [- 120 X, - 120 Y]], [[- 54 X, - 54 Y], [- 72 X, - 72 Y], [- 90 X, - 90 Y]]], [[[144 X, 144 Y], [192 X, 192 Y], [240 X, 240 Y]], [[120 X, 120 Y], [160 X, 160 Y], [200 X, 200 Y]], [[96 X, 96 Y], [128 X, 128 Y], [160 X, 160 Y]], [[72 X, 72 Y], [96 X, 96 Y], [120 X, 120 Y]]], [[[- 180 X, - 180 Y], [- 240 X, - 240 Y], [- 300 X, - 300 Y]], [[- 150 X, - 150 Y], [- 200 X, - 200 Y], [- 250 X, - 250 Y]], [[- 120 X, - 120 Y], [- 160 X, - 160 Y], [- 200 X, - 200 Y]], [[- 90 X, - 90 Y], [- 120 X, - 120 Y], [- 150 X, - 150 Y]]]]] (C57) tensortype(D56); (D57) [2, 5, 4, 3, 2] (C58) zerotensor([4,3,2]); (D58) [[[0, 0], [0, 0], [0, 0]], [[0, 0], [0, 0], [0, 0]], [[0, 0], [0, 0], [0, 0]], [[0, 0], [0, 0], [0, 0]]] (C59) quit(); Bye. [~/work/Program/maxima/]kenrou%