Home My Page Projects Code Snippets Project Openings diderot

# SCM Repository

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

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

revision 1381, Thu Jun 23 19:20:18 2011 UTC revision 1382, Thu Jun 23 20:03:05 2011 UTC
# Line 219  Line 219
219                  [field(k, d, dd), tensor[d]] --> Ty.T_Tensor dd                  [field(k, d, dd), tensor[d]] --> Ty.T_Tensor dd
220                end))                end))
221
222      (* differentiation of scalar fields *)
223      val op_D = polyVar (N.op_D, all([DK, NK],      val op_D = polyVar (N.op_D, all([DK, NK],
224            fn [Ty.DIFF k, Ty.DIM d] => let            fn [Ty.DIFF k, Ty.DIM d] => let
225                val k0 = Ty.DiffVar(k, 0)                val k0 = Ty.DiffVar(k, 0)
# Line 228  Line 229
229                  [field(k0, d, Ty.Shape[])]                  [field(k0, d, Ty.Shape[])]
230                    --> field(km1, d, Ty.Shape[d])                    --> field(km1, d, Ty.Shape[d])
231                end))                end))
232      (* differetiation of higher-order tensor fields *)
233      val op_Dotimes = polyVar (N.op_Dotimes, all([DK, NK, SK, NK],      val op_Dotimes = polyVar (N.op_Dotimes, all([DK, NK, SK, NK],
234            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd, Ty.DIM d'] => let            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd, Ty.DIM d'] => let
235                val k0 = Ty.DiffVar(k, 0)                val k0 = Ty.DiffVar(k, 0)

Legend:
 Removed from v.1381 changed lines Added in v.1382