Home My Page Projects Code Snippets Project Openings diderot

# SCM Repository

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

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

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