share/tensor/car_iden.dem

   1 /* Copyright (C) 2003 Valerij Pipin <pip@iszf.irk.ru>
   2  *
   3  * This program is free software; you can redistribute it and/or
   4  * modify it under the terms of the GNU General Public License as
   5  * published by the Free Software Foundation; either version 2 of
   6  * the License, or (at your option) any later version.
   7  *
   8  * This program is distributed in the hope that it will be
   9  * useful, but WITHOUT ANY WARRANTY; without even the implied
  10  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  11  * PURPOSE.  See the GNU General Public License for more details.
  12  *
  13  * Proving Cartan's identities with ITENSOR.
  14  *
  15 */
  16 if get('itensor,'version)=false then load(itensor);
  17 (showtime:true,dummyx:z,allsym:false)$
  18 decsym(a,2,0,[anti(all)],[]);
  19 decsym(a,3,0,[anti(all)],[]);
  20 decsym(a,4,0,[anti(all)],[]);
  21 decsym(a,5,0,[anti(all)],[]);
  22 canform(liediff(v,extdiff(a([i1,i2]),i3))-extdiff(liediff(v,a([i1,i2])),i3));
  23 canform(liediff(v,extdiff(a([i1,i2,i3]),i4))-extdiff(liediff(v,a([i1,i2,i3])),i4));
  24 canform(liediff(v,extdiff(a([i1,i2,i3,i4]),i5))-extdiff(liediff(v,a([i1,i2,i3,i4])),i5));
  25 canform(liediff(v,extdiff(a([i1,i2,i3,i4,i5]),i6))-extdiff(liediff(v,a([i1,i2,i3,i4,i5])),i6));
  26 showtime:false;
  27 /* End of demo -- comment line needed by MAXIMA to resume demo menu */