PREFACE This is a differential form pac age slightly singular.

This pac age is intended to provide a wor ing nowledge through calculating differential forms for students finished advanced calc. In short,not to gather formulas, but to calc and induce them from calculation. In this field we need various other nowledge about math and physics. I hope this pac age is useful for maxima people. In detail you should read nice boo s such that.... Differential Forms with Applications to the Physical Sciences written by Harley Flanders ISBN 0-486-66169-5 Dover (reprint) Differential Forms and Connections written by R.W.R.Darling ISBN 0-521-46800-0 Cambridge university Press The Geometry of Physics An Introduction written by Theodore Fran el ISBN 0-521-53927-7 Cambridge university Press Differential Forms written by Henri Cartan ISBN 0-486-45010-4 Dover (reprint) Geometrical methods of mathematical physics written by Bernand F.Schutz Cambridge university Press I thin this pac age is intermediate between vect pac age and tensor pac age in maxima. So in this time,I did not implement bundle spaces, though especially need S1-bundle. I don't li e too formalism such as other CAS's diff-form pac ag e. Because non-usability of these pac age prevents from using bundle spaces,as bundle is a natural tool for peoples using it for thin ing. My todo-list is to implement bundles with natural usability. I welcome All comments, advices,bug reports.to maxima mailing list or me (go.maxima@gmail.com) A little new thing I implemented is to use clifford operator for see ing integra l factor. If exist,(f^-1 is integral factor),d(w)=f^(-1)df @ w. then @--->&(clifford) d(w)/w is possible,because we calculate w & w -->A (some numbers),in clifford al gebra 1/w=w/A. d(w)/w---> d(w)&w/A. when &-->@,use some quantization,@ is independent from metric. when calculating with &,we introduce metric parameter automatically for example u1,u2,u3,such that dx&dx=u1,...then u1-->0,u2-->0,u3=\=0,&-->@. This calculation is illegal only within differential forms, but regal clifford-grassman algebra. Usually in such a case we use an Ideal on d ifferential forms. But I thin it is essential that limit of metric brea s clifford structure,but c annot affect grassman structure,so after this limit, we can change & to @ . See example.txt. hodge star operator is written with clifford algebra in definition,but user need not to recognize that. hodge star is named h_st(). poisson bra et with symplectic form is much useful,if you may explicitly give h amilton operator.

To multiple unit pseudo scalar is almost same hodge star.(at most,differnt sign + or -) this J() is defined and used to define antidifferential operator antid(). INTRODUCTION There is two way for starting. One way is load("diff_form.mac"). This mean to use no grobal coords,basis others . As it were clean start. All wor may be done in f_star() or fstar_with_clf(). you can change coords freely. Other way is batch("new_cartan_test4.bat").This mean to use global coords,basis. But to change coords locally is allways possible in f_star() or fstar_with_clf() . A example of this grobal way is seen in lorentz_example.txt It is important for using this pac age well that we awa e to distinction between global variables and local variables. for example (%i21) fstar_with_clf([x,y,z],[x,y,z],(r:x^2+y^2+z^2,d((x*Dy@Dz+y*Dz@Dx+z*Dx@Dy) /(sqrt(r))))); for usage f_star(coordinates,calc area) fstar_with_clf(new coordinates,representing standered coordinate with new one,ca lc area) now basis is[Dx,Dy,Dz],norm_table,scale_factor ,all this local. but r:x^2+y^2+z ^2 is not local,only r is global. (%i22) format(%,%poly(Dx,Dy,Dz),factor); after this,if foget that r was global, (%i23) fstar_with_clf([r,phi,th],[r*sin(th)*cos(phi),r*sin(th)*sin(phi),r*cos(th )], d(x)@d(y)@d(z))); error #0: f_star(newcoords=[z^2+y^2+x^2,phi,th],....... so (%i24) ill(r); then (%i23) is OK. nest2([d,h_st,d],f*d(x)) is equal d(h_st(d(f*d(x)))) d(x) is equal Dx,so Dx@Dy is d(x)@d(y),but internaly in d(x)@d(y) exterior deriv ative are done. ALL files diff_form.mac one initial file ,(only local coordinate environment) new_cartan_test4.mac another initial file,(global coordinate and local coords en vironment) cartan_new.lisp derived from share/calculus/cartan.lisp add & operator and others (for future us e) f_star_test4.mac main functions f_star(),fstar_with_clf(),inner(),Lie(),these functions run under any dimension hodge_test3.mac hodge star operator h_st() under any dimension helpfunc.mac utilities or help function vtof1(),vtof2(),J(),antid(),others

poisson.mac poisson brac et on simplectic manifold (dim 2*n) p_bra et() frobenius.mac calculate integral factor.trans_toexact(),see example.txt curvture2.mac add_tan(),cross(),ma e_tan(),only dim 2,or 3,this is experimental,see surface_ex ample.txt readme_diff_form.txt this file. lorentz_example.txt surface_example.txt example.txt