1load("cartan_new.lisp")$ 2infix("@")$ 3infix("&")$ 4infix("|")$ 5 6/*matrix_element_mult:lambda([x,y],x@y)$*/ 7load("hodge_test3.mac")$ 8load("f_star_test4.mac")$ 9load("helpfunc.mac")$ 10load("coeflist.lisp")$ 11load("format.lisp")$ 12load("diag")$ 13load("poisson.mac")$ 14load("frobenius.mac")$ 15load("curvture2.mac")$ 16/* 17fstar_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*/ 21