defcon in itensor



This is one way:

components(ONE([],[]),1);
defcon(V,V,ONE);


Viktor



-----Original Message-----
From: maxima-bounces at math.utexas.edu [mailto:maxima-bounces at math.utexas.edu]
On Behalf Of Yaroslav Alekseev
Sent: Sunday, February 13, 2011 4:58 PM
To: maxima at math.utexas.edu
Subject: defcon in itensor


Hi to all!
How to define the property: contarct(V([],[j])*V([j],[]))=1 ?
I get from Maxima:

Maxima 5.23.2 http://maxima.sourceforge.net
using Lisp SBCL 1.0.43
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) load(itensor);
STYLE-WARNING: redefining MAXIMA::$NAME in DEFUN
STYLE-WARNING: redefining MAXIMA::DERIV in DEFUN
STYLE-WARNING: redefining MAXIMA::SDIFF in DEFUN
STYLE-WARNING: redefining MAXIMA::I-$DEPENDENCIES in DEFUN
STYLE-WARNING: redefining MAXIMA::$DECSYM in DEFUN
STYLE-WARNING: redefining MAXIMA::$CANFORM in DEFUN
(%o1)      /usr/local/share/maxima/5.23.2/share/tensor/itensor.lisp
(%i2) imetric(g);
(%o2)                                done
(%i3) defcon(V,V,1);
(%o3)                                done
(%i4) contract(V([],[j])*V([j],[]));

apply: found 1 where a function was expected.
  -- an error. To debug this try: debugmode(true);
(%i5)


-- 
Yaroslav
_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima