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