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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/einTest/testkrn.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/einTest/testkrn.sml

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

revision 2520, Mon Dec 30 05:08:47 2013 UTC revision 2521, Thu Jan 9 02:17:07 2014 UTC
# Line 45  Line 45 
45    
46  (*Scalar Field, Image*)  (*Scalar Field, Image*)
47  (* {k=0 } *)  (* {k=0 } *)
48  val S01=E.EIN{params=[E.TEN,E.KRN], index=[],  val S01=E.EIN{params=[E.TEN 1,E.KRN], index=[],
49      body=E.Sum([(E.V 0,6,7)],E.Prod[img01,k1])}      body=E.Sum([(E.V 0,6,7)],E.Prod[img01,k1])}
50  val S02=E.EIN{params=[E.TEN,E.KRN], index=[],  val S02=E.EIN{params=[E.TEN 1,E.KRN], index=[],
51      body=E.Sum([(E.V 0,6,7),(E.V 1,8,9)],E.Prod[img02,k1,k2])}      body=E.Sum([(E.V 0,6,7),(E.V 1,8,9)],E.Prod[img02,k1,k2])}
52  val S03=E.EIN{params=[E.TEN,E.KRN], index=[],  val S03=E.EIN{params=[E.TEN 1,E.KRN], index=[],
53      body=E.Sum([(E.V 0,6,6),(E.V 1,8,8),(E.V 2,3,4)],      body=E.Sum([(E.V 0,6,6),(E.V 1,8,8),(E.V 2,3,4)],
54      E.Prod[img03,k1,k2,k3])}      E.Prod[img03,k1,k2,k3])}
55  val scaF0=[S01,S02,S03]  val scaF0=[S01,S02,S03]
# Line 58  Line 58 
58  (* {h0^δ_0i+h1^δ_1i }i *)  (* {h0^δ_0i+h1^δ_1i }i *)
59  (*k=1*)  (*k=1*)
60    
61  val S11=E.EIN{params=[E.TEN,E.KRN], index=[0],  val S11=E.EIN{params=[E.TEN 1,E.KRN], index=[0],
62      body=E.Sum([(E.V 1,6,7)],E.Prod[img11,h11])}      body=E.Sum([(E.V 1,6,7)],E.Prod[img11,h11])}
63  val S12=E.EIN{params=[E.TEN,E.KRN], index=[1],  val S12=E.EIN{params=[E.TEN 1,E.KRN], index=[1],
64      body=E.Sum([(E.V 1,6,6),(E.V 2,8,9)],E.Prod[img12,h11,h12])}      body=E.Sum([(E.V 1,6,6),(E.V 2,8,9)],E.Prod[img12,h11,h12])}
65  val S13=E.EIN{params=[E.TEN,E.KRN], index=[2],  val S13=E.EIN{params=[E.TEN 1,E.KRN], index=[2],
66      body=E.Sum([(E.V 1,6,6),(E.V 2,8,8),(E.V 3, 9,9)],E.Prod[img13,h11,h12,h13])}      body=E.Sum([(E.V 1,6,6),(E.V 2,8,8),(E.V 3, 9,9)],E.Prod[img13,h11,h12,h13])}
67  val scaF1=[S11,S12,S13]  val scaF1=[S11,S12,S13]
68    
69  (*Differentiation, k=2*)  (*Differentiation, k=2*)
70  val S22=E.EIN{params=[E.TEN,E.KRN], index=[1,1],  val S22=E.EIN{params=[E.TEN 1,E.KRN], index=[1,1],
71  body=E.Sum([(E.V 2,6,6),(E.V 3,8,9)],E.Prod[img22,h21,h22])}  body=E.Sum([(E.V 2,6,6),(E.V 3,8,9)],E.Prod[img22,h21,h22])}
72  val S23=E.EIN{params=[E.TEN,E.KRN], index=[2,2],  val S23=E.EIN{params=[E.TEN 1,E.KRN], index=[2,2],
73  body=E.Sum([(E.V 2,6,6),(E.V 3,8,8),(E.V 4, 9,9)],E.Prod[img23,h21,h22,h23])}  body=E.Sum([(E.V 2,6,6),(E.V 3,8,8),(E.V 4, 9,9)],E.Prod[img23,h21,h22,h23])}
74  val scaF2=[S22]  val scaF2=[S22]
75    
# Line 81  Line 81 
81  val [k1,k2,k3]=createKrn(1,2,[])  val [k1,k2,k3]=createKrn(1,2,[])
82    
83    
84  val V01=E.EIN{params=[E.TEN,E.KRN], index=[1],  val V01=E.EIN{params=[E.TEN 1,E.KRN], index=[1],
85      body=E.Sum([(E.V 1,6,7)],E.Prod[img11,k1])}      body=E.Sum([(E.V 1,6,7)],E.Prod[img11,k1])}
86    
87  val vec=[V01]  val vec=[V01]

Legend:
Removed from v.2520  
changed lines
  Added in v.2521

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