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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/translate/translate-basis.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/translate/translate-basis.sml

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

revision 2584, Tue Apr 15 03:22:58 2014 UTC revision 2585, Thu Apr 17 03:52:19 2014 UTC
# Line 201  Line 201 
201                                          val gg2=print(Int.toString(length(xs)))                                          val gg2=print(Int.toString(length(xs)))
202                          in                          in
203                                      [assignEin(y, mk.dotimes(d1, dd@[d2]),xs)] end ),                                      [assignEin(y, mk.dotimes(d1, dd@[d2]),xs)] end ),
204                  (BV.op_Ddot,         fn (y, [_, Ty.DIM d1,  Ty.SHAPE dd, Ty.DIM d2], xs) =>let                  (BV.op_Ddot,         fn (y, [_, Ty.DIM d1,  Ty.SHAPE dd, Ty.DIM d2], xs) =>
205                                          val g=print "*******\n"                                          [assignEin(y, mk.divergence(d1, dd),xs)] ),
                                         val gg2=print(Int.toString(length(xs)))  
                                                 in  
                                         [assignEin(y, mk.divergence(d1, dd),xs)] end ),  
206    
207    
208                  (BV.op_norm,            fn (y, [sv], xs) => (case shapeVarToTensor sv                  (BV.op_norm,            fn (y, [sv], xs) => (case shapeVarToTensor sv
# Line 216  Line 213 
213                  (BV.op_cross,            simpleEOp mk.crossProduct),                  (BV.op_cross,            simpleEOp mk.crossProduct),
214                  (BV.op_outer,           fn (y, [Ty.DIM d1, Ty.DIM d2], xs) =>                  (BV.op_outer,           fn (y, [Ty.DIM d1, Ty.DIM d2], xs) =>
215                                  [assignEin(y, (mk.outerProduct(d1, d2)), xs)]),                                  [assignEin(y, (mk.outerProduct(d1, d2)), xs)]),
216               (*   (BV,op_outerField,      fn (y, _, xs)=>  (* Any Shape fields
217                                          []),*)                   (BV.op_outerField,      fn (y, [_, Ty.DIM d1, Ty.SHAPE dd1, Ty.SHAPE dd2], xs)=>
218                                            [assignEin(y, mk.outerField(d1, dd1, dd2),   xs)]),
219    *)
220                    (BV.op_outerField,      fn (y, [_, Ty.DIM d1], xs)=>
221                                                [assignEin(y, mk.outerField(d1),   xs)]),
222    
223    
224                  (BV.op_inner,           fn (y, [sh1, sh2, _], xs) => let                  (BV.op_inner,           fn (y, [sh1, sh2, _], xs) => let
225                                              val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1                                              val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1
226                                              val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2                                              val ty2 as DstTy.TensorTy dd2 = shapeVarToTensor sh2
# Line 225  Line 228 
228                                              [assignEin(y, (mk.innerProduct(dd1,dd2)),xs)]                                              [assignEin(y, (mk.innerProduct(dd1,dd2)),xs)]
229                                          end),                                          end),
230    
231                  (BV.op_innerField,           fn (y,  _, xs) =>                  (BV.op_innerField,           fn (y,  [_,Ty.SHAPE dd1,Ty.DIM d,Ty.SHAPE dd2,_], xs) =>
232                                                        let
233                                                  [assignEin(y, mk.addField(2, []),xs)]),                                                      val _=print(String.concat["Translate Inner product Field. "])
234                                                    in
235                                                    [assignEin(y, mk.innerProductField(dd1,d,dd2),xs)] end ),
236    
237                  (BV.op_colon,           fn (y, [sh1, sh2, _], xs) => let                  (BV.op_colon,           fn (y, [sh1, sh2, _], xs) => let
238                                              val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1                                              val ty1 as DstTy.TensorTy dd1 = shapeVarToTensor sh1

Legend:
Removed from v.2584  
changed lines
  Added in v.2585

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