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 2510, Thu Nov 14 20:33:18 2013 UTC revision 2515, Mon Dec 2 03:42:14 2013 UTC
# Line 300  Line 300 
300                  [field(k0, d, Ty.ShapeExt(dd, d'))]                  [field(k0, d, Ty.ShapeExt(dd, d'))]
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  val op_hess = polyVar (N.op_hess, all([DK, NK],  
 fn [Ty.DIFF k, Ty.DIM d] => let  
 val k0 = Ty.DiffVar(k, 0)  
 val km1 = Ty.DiffVar(k, ~1)  
 val d = Ty.DimVar d  
 in  
 [field(k0, d, Ty.Shape[] )]  
 --> field(km1, d, Ty.Shape[d,d])  
 end))  
 *)  
305    
306  (* differetiation of higher-order tensor fields *)  (* differetiation of higher-order tensor fields *)
307  val op_Ddot = polyVar (N.op_Ddot, all([DK, NK, SK, NK],  val op_Ddot = polyVar (N.op_Ddot, all([DK, NK, SK, NK],
# Line 322  Line 313 
313  val dd = Ty.ShapeVar dd  val dd = Ty.ShapeVar dd
314  in  in
315  [field(k0, d, Ty.ShapeExt(dd, d'))]  [field(k0, d, Ty.ShapeExt(dd, d'))]
316  --> field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))  -->Ty.realTy
317    (*field(km1, d, Ty.ShapeExt(Ty.ShapeExt(dd, d'), d))*)
318  end))  end))
319    
320      val op_norm = polyVar (N.op_norm, all([SK],      val op_norm = polyVar (N.op_norm, all([SK],

Legend:
Removed from v.2510  
changed lines
  Added in v.2515

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