Sponsored links: Algebra eBooks
 

Related

contract-load-ratexpand

load(itensor);

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

show(ratexpand(contra...

Calculate

contract-load

load(itensor);

imetric(a);

ishow(a([-s],[2])*a([...

Calculate

contract-load

load(itensor);

ishow(a([-s],[2])*a([...

ishow(contract(%));

Calculate

contract-load

load(itensor);

ishow(a([-s],[2])*a([...

ishow(contract(%));

Calculate

contract-load

load(itensor);

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

contract(%o2);

Calculate

contract-load

load(itensor);

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

contract(%);

Calculate

contract-load

load(itensor);

imetric(g);

ishow(a([-s],[2])*a([...

Calculate

contract-load

load(itensor);

imetric(g);

ishow(contract( g([],...

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