Sponsored links: Algebra eBooks
 

Related

contract-ev-load

load(itensor);

imetric(g);

ishow(g([j,k],[])*g([...

Calculate

contract-load

load(itensor);

imetric(a);

ishow('levi_civita([k...

Calculate

contract-depends-diag_matrix-diff-exp-gcd-load-matrix-ratfac

load(ctensor);

(cframe_flag:false,gc...

load(itensor);

Calculate

contract-load

load(itensor);

ishow('levi_civita([r...

ishow(contract(%));

Calculate

contract-load

load(itensor);

ishow(g([],[i,j])*A([...

contract(%o2);

Calculate

contract-tcontract

tcontract(a^2+b^2,[a,...

Calculate

contract-load

load(itensor);

imetric(g);

ishow(g([],[i,j])*R([...

Calculate

contract-load

load(itensor);

imetric(g);

ishow(g([],[i,j])*R([...

Calculate

contract-load

load(itensor);

imetric(a);

ishow('levi_civita([k...

Calculate

contract

Run Example
(%i1)tcontract(a^2+b^2,[a,b]);
resolvante 
generale 
 
NOTE: To compile the system do 
load("sym/compile"); 
define: warning: redefining the built-in function resolvante_produit_sym
define: warning: redefining the built-in function resolvante_unitaire
define: warning: redefining the built-in function resolvante_alternee1
define: warning: redefining the built-in function resolvante_klein
define: warning: redefining the built-in function resolvante_klein3
define: warning: redefining the built-in function resolvante_vierer
define: warning: redefining the built-in function resolvante_diedrale
define: warning: redefining the built-in function resolvante_bipartite
                                       2
(%o1)                                 a
(%i2) 
Run Example
tcontract(a^24+b^24,[a,b]);
resolvante 
generale 
 
NOTE: To compile the system do 
load("sym/compile"); 
define: warning: redefining the built-in function resolvante_produit_sym
define: warning: redefining the built-in function resolvante_unitaire
define: warning: redefining the built-in function resolvante_alternee1
define: warning: redefining the built-in function resolvante_klein
define: warning: redefining the built-in function resolvante_klein3
define: warning: redefining the built-in function resolvante_vierer
define: warning: redefining the built-in function resolvante_diedrale
define: warning: redefining the built-in function resolvante_bipartite
                                       24
(%o1)                                 a
(%i2) 
Run Example
load(itensor);
(%o1)         /usr/share/maxima/5.21.1/share/tensor/itensor.lisp
(%i2) ishow(g([],[i,j])*A([j],[]));
                                     i j
(%t2)                               g    A
                                          j
(%o2)                      g([], [i, j]) A([j], [])
(%i3) show(ratexpand(contract(g([],[i,j])*A([j],[]))));
(%o3)                   show(g([], [i, j]) A([j], []))
(%i4) 

Related Help

Help for Contract