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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/ein/ein-rep-fn.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/ein/ein-rep-fn.sml

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

revision 2495, Wed Oct 23 21:28:25 2013 UTC revision 2496, Tue Oct 29 05:29:46 2013 UTC
# Line 45  Line 45 
45  and ein_exp  and ein_exp
46        = Const of real        = Const of real
47        | Tensor of tensor_id * alpha        | Tensor of tensor_id * alpha
48        | Field of f        | Field of field_id* alpha
49        | Krn of (mu*mu) list * pos        | Krn of tensor_id* (mu*mu) list * pos
50        | Delta of mu * mu        | Delta of mu * mu
51        | Value of index_id        | Value of index_id
52        | Epsilon of index_id * index_id * index_id        | Epsilon of index_id * index_id * index_id
   
53        | Sum of alpha * ein_exp        | Sum of alpha * ein_exp
54        | Neg of ein_exp        | Neg of ein_exp
55        | Add of ein_exp list        | Add of ein_exp list
# Line 59  Line 58 
58        | Div of ein_exp * ein_exp        | Div of ein_exp * ein_exp
59        | Partial of alpha        | Partial of alpha
60        | Apply of ein_exp * ein_exp        | Apply of ein_exp * ein_exp
61        | Conv of ein_exp * alpha        | Conv of field_id * alpha * tensor_id * alpha
62        | Probe of ein_exp * ein_exp        | Probe of ein_exp * ein_exp
63    
64        | Img of V*(ein_exp list)        | Img of field_id*alpha*pos list
65    
66        withtype alpha= mu list        withtype alpha= mu list
67        and pos=ein_exp        and pos=ein_exp
68        and f =field_id* alpha  
       and V=field_id* alpha* pos list  
69    end    end

Legend:
Removed from v.2495  
changed lines
  Added in v.2496

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