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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/ein/ein-pp.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/ein/ein-pp.sml

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

revision 3977, Wed Jun 15 19:06:30 2016 UTC revision 3978, Wed Jun 15 19:07:40 2016 UTC
# Line 27  Line 27 
27      fun multiIndex2s [] = ""      fun multiIndex2s [] = ""
28        | multiIndex2s alpha = concat ["_{", String.concatWithMap "," index2s alpha, "}"]        | multiIndex2s alpha = concat ["_{", String.concatWithMap "," index2s alpha, "}"]
29    
30      fun delta (a, b) = concat["δ_{", index2s a, ",", index2s b,"}"]      fun delta (a, b) = concat["δ_{", i2s a, ",", i2s b,"}"]
31        fun deltaKrn (a, b) = concat["δ_{", index2s a, ",", index2s b,"}"]
32      fun border E.Default = "Default"      fun border E.Default = "Default"
33        | border E.Clamp = "Clamp"        | border E.Clamp = "Clamp"
34        | border E.Mirror =" Mirror"        | border E.Mirror =" Mirror"
# Line 66  Line 66 
66                  ]                  ]
67              | E.Krn(tid, [], dim) => concat["H", i2s tid, "(", Int.toString dim, ")"]              | E.Krn(tid, [], dim) => concat["H", i2s tid, "(", Int.toString dim, ")"]
68              | E.Krn(tid, betas, dim) => concat[              | E.Krn(tid, betas, dim) => concat[
69                    "H", i2s tid, "^{", String.concatWithMap "" delta betas, "}(", Int.toString dim, ")"                    "H", i2s tid, "^{", String.concatWithMap "" deltaKrn betas, "}(", Int.toString dim, ")"
70                  ]                  ]
71               | E.Sum(sx, e) => let               | E.Sum(sx, e) => let
72                  val sx = List.map                  val sx = List.map
73                        (fn (E.V v, lb, ub) => concat ["(i", i2s v, "=", i2s lb, "..", i2s ub, ")"])                        (fn (v, lb, ub) => concat ["(i", i2s v, "=", i2s lb, "..", i2s ub, ")"])
74                          sx                          sx
75                  in                  in
76                    concat ("Σ" :: sx @ ["(", expToString e, ")"])                    concat ("Σ" :: sx @ ["(", expToString e, ")"])
77                  end                  end
78              | E.Op1(E.PowInt n, e) => concat["(", expToString e , ")^", i2s n]              | E.Op1(E.PowInt n, e) => concat["(", expToString e , ")^", i2s n]
             | E.Op1(E.PowReal r, e) => concat["(", expToString e , ")^", Rational.toString r]  
             | E.Op1(E.PowEmb(sx, n), e) => concat["Pow(", expToString e, ",", i2s n,")"]  
79              | E.Op1(f, e) => let              | E.Op1(f, e) => let
80                  val f = (case f                  val f = (case f
81                         of E.Neg => "Neg"                         of E.Neg => "Neg"

Legend:
Removed from v.3977  
changed lines
  Added in v.3978

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