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

SCM Repository

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

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

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

revision 3997, Sun Jun 19 15:55:49 2016 UTC revision 3998, Sun Jun 19 17:12:03 2016 UTC
# Line 177  Line 177 
177                                          [assignEin(y, Mk.divFS(d, dd),xs)]),                                          [assignEin(y, Mk.divFS(d, dd),xs)]),
178                  (BV.div_ss,             fn (y, [_,Ty.DIM d], xs) =>                  (BV.div_ss,             fn (y, [_,Ty.DIM d], xs) =>
179                                              [assignEin(y, Mk.divSS d,xs)]),                                              [assignEin(y, Mk.divSS d,xs)]),
180                    (BV.div_ts,             fn (y, [_,Ty.DIM d, Ty.SHAPE dd], xs) =>
181                                                    [assignEin(y, Mk.divTS(d, dd), xs)]),
182                  (BV.exp_ri,             simpleOp(Op.Power)),                  (BV.exp_ri,             simpleOp(Op.Power)),
183                  (BV.exp_rr,             basisFn MathFuns.pow),                  (BV.exp_rr,             basisFn MathFuns.pow),
184                  (BV.curl2D,              simpleEOp Mk.curl2d),                  (BV.curl2D,              simpleEOp Mk.curl2d),
# Line 302  Line 304 
304                  (BV.fn_max,             simpleOp Op.Max),                  (BV.fn_max,             simpleOp Op.Max),
305                  (BV.fn_min,             simpleOp Op.Min),                  (BV.fn_min,             simpleOp Op.Min),
306                  (*  modulate is vector * vector pointwise multiplication *)                  (*  modulate is vector * vector pointwise multiplication *)
307                  (BV.fn_modulate,        fn (y,[Ty.DIM dd1], xs) =>                  (BV.fn_modulate_tt,        fn (y,[shp], xs) => let
308                                  [assignEin(y, (Mk.modulate dd1),xs)]),                                  val DstTy.TensorTy dd1 = shapeVarToTensor shp
309                                    in [assignEin(y, (Mk.modulateTT dd1),xs)]
310                                    end),
311                    (BV.fn_modulate_ff,        fn (y,[ _,Ty.DIM d1, Ty.SHAPE dd], xs) =>
312                                    [assignEin(y, (Mk.modulateFF (dd,d1)),xs)]),
313                    (BV.fn_modulate_tf,        fn (y,[ _,Ty.DIM d1, Ty.SHAPE dd], xs) =>
314                                    [assignEin(y, (Mk.modulateTF(dd, d1)),xs)]),
315                    (BV.fn_modulate_ft,        fn (y,[ _,Ty.DIM d1, Ty.SHAPE dd], xs) =>
316                                    [assignEin(y, (Mk.modulateFT (dd,d1)),xs)]),
317    
318                  (BV.fn_normalize_t,   fn (y, [shp], xs) =>let                  (BV.fn_normalize_t,   fn (y, [shp], xs) =>let
319                      val DstTy.TensorTy dd1 = shapeVarToTensor shp                      val DstTy.TensorTy dd1 = shapeVarToTensor shp
320                      in (case dd1                      in (case dd1

Legend:
Removed from v.3997  
changed lines
  Added in v.3998

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