Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/ein/mk-operators.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/ein/mk-operators.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3495, Fri Dec 11 20:34:26 2015 UTC revision 3496, Fri Dec 11 23:51:32 2015 UTC
# Line 48  Line 48 
48    
49      val outerTT : shape * shape -> Ein.ein      val outerTT : shape * shape -> Ein.ein
50      val outerFF : dim * shape * shape -> Ein.ein      val outerFF : dim * shape * shape -> Ein.ein
51        val outerTF : dim * shape * shape -> Ein.ein
52        val outerFT : dim * shape * shape -> Ein.ein
53    
54    
55      val innerTT : shape * ids -> Ein.ein      val innerTT : shape * ids -> Ein.ein
56      val innerFF : shape * dim * ids -> Ein.ein      val innerFF : shape * dim * ids -> Ein.ein
# Line 388  Line 391 
391          }          }
392      end      end
393    
394        fun outerTF(dim,alpha,beta) =let
395            val expindexA= specialize(alpha,0)
396            val expindexB= specialize(beta,length(alpha))
397        in
398            E.EIN{
399            params = [E.TEN(subst_flag,alpha),E.FLD(dim)],
400            index = alpha@beta,
401            body = E.Opn(E.Prod,[E.Lift(E.Tensor(0, expindexA)),E.Field(1, expindexB)])
402            }
403        end
404    
405        fun outerFT(dim,alpha,beta) =let
406            val expindexA= specialize(alpha,0)
407            val expindexB= specialize(beta,length(alpha))
408        in
409            E.EIN{
410            params = [E.FLD(dim),E.TEN(subst_flag,alpha)],
411            index = alpha@beta,
412            body = E.Opn(E.Prod,[E.Field(0, expindexA),E.Lift(E.Tensor(1, expindexB))])
413            }
414        end
415    
416    
417    (*************************** inner product **********************************)    (*************************** inner product **********************************)
418      (* generic inner product: <T_{\alpha i} * T_{i \beta}>_{\alpha \beta} *)      (* generic inner product: <T_{\alpha i} * T_{i \beta}>_{\alpha \beta} *)

Legend:
Removed from v.3495  
changed lines
  Added in v.3496

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0