share/diff_form/diff_form.mac

   1 load("cartan_new.lisp")$
   2 infix("@")$
   3 infix("&")$
   4 infix("|")$
   5
   6 /*matrix_element_mult:lambda([x,y],x@y)$*/
   7 load("hodge_test3.mac")$
   8 load("f_star_test4.mac")$
   9 load("helpfunc.mac")$
  10 load("coeflist.lisp")$
  11 load("format.lisp")$
  12 load("diag")$
  13 load("poisson.mac")$
  14 load("frobenius.mac")$
  15 load("curvture2.mac")$
  16 /*
  17 fstar_with_clf([phi,theta],[sin(phi)*cos(theta),sin(phi)*sin(theta),cos(phi)],
  18         (pu1:sin(phi)*cos(theta),pu2:sin(phi)*sin(theta),pu3:cos(phi),
  19                 h_st(pu1*d(pu2)@d(pu3)++pu2*d(pu3)@d(pu1)+pu3*d(pu1)@d(pu2))))$
  20 */