Home My Page Projects Code Snippets Project Openings diderot

# SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/ein/mkoperators.sml
 [diderot] / branches / charisee / src / compiler / ein / mkoperators.sml

# Diff of /branches/charisee/src/compiler/ein/mkoperators.sml

revision 3048, Wed Mar 11 20:00:27 2015 UTC revision 3054, Thu Mar 12 19:44:39 2015 UTC
# Line 437  Line 437
437          params = [E.FLD(dim)], index= [i,j],          params = [E.FLD(dim)], index= [i,j],
438          body= E.Field(0, [E.V 1,E.V 0])          body= E.Field(0, [E.V 1,E.V 0])
439      }      }
440            (************************* determinant *************************)
441            fun detT d =E.EIN{
442                params = [E.TEN(1,[d,d])],
443                index= [],
444                body= E.Sub(E.Prod[E.Tensor(0, [E.C 0,E.C 0]),E.Tensor(0, [E.C 1,E.C 1])],
445                    E.Prod[E.Tensor(0, [E.C 0,E.C 1]),E.Tensor(0, [E.C 1,E.C 0])])
446            }
447            (*
448
449            (*Transpose Field F_{ji}*)
450            fun transposeF(dim,i,j) =E.EIN{
451            params = [E.FLD(dim)], index= [i,j],
452            body= E.Field(0, [E.V 1,E.V 0])
453            }*)
454
455
456      (************************* other tensor ops *************************)      (************************* other tensor ops *************************)
457      fun modulate dim =E.EIN{      fun modulate dim =E.EIN{

Legend:
 Removed from v.3048 changed lines Added in v.3054