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

SCM Repository

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

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

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

revision 2492, Tue Oct 22 15:25:50 2013 UTC revision 2506, Fri Nov 8 00:05:57 2013 UTC
# Line 301  Line 301 
301                    --> field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))                    --> field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))
302                end))                end))
303    
304    (* differetiation of higher-order tensor fields *)
305    val op_Ddot = polyVar (N.op_Ddot, all([DK, NK, SK, NK],
306    fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd, Ty.DIM d'] => let
307    val k0 = Ty.DiffVar(k, 0)
308    val km1 = Ty.DiffVar(k, ~1)
309    val d = Ty.DimVar d
310    val d' = Ty.DimVar d'
311    val dd = Ty.ShapeVar dd
312    in
313    [field(k0, d, Ty.ShapeExt(dd, d'))]
314    --> field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))
315    end))
316    
317      val op_norm = polyVar (N.op_norm, all([SK],      val op_norm = polyVar (N.op_norm, all([SK],
318            fn [Ty.SHAPE dd] => [Ty.T_Tensor(Ty.ShapeVar dd)] --> Ty.realTy))            fn [Ty.SHAPE dd] => [Ty.T_Tensor(Ty.ShapeVar dd)] --> Ty.realTy))
319    

Legend:
Removed from v.2492  
changed lines
  Added in v.2506

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