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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/ein/printer.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/ein/printer.sml

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

revision 3323, Mon Oct 19 21:16:40 2015 UTC revision 3324, Tue Oct 20 05:22:52 2015 UTC
# Line 32  Line 32 
32          | E.Epsilon(ix, jx, kx) => String.concat["ϵ_",iTos(ix), iTos(jx), iTos(kx)]          | E.Epsilon(ix, jx, kx) => String.concat["ϵ_",iTos(ix), iTos(jx), iTos(kx)]
33          | E.Eps2(ix, jx) => String.concat["ϵ_",iTos(ix), iTos(jx)]          | E.Eps2(ix, jx) => String.concat["ϵ_",iTos(ix), iTos(jx)]
34          | E.Sum ([(v,_,_)],e1)=>String.concat[" Σ_",handleIndex v,"⋐" ,printbody e1,"⋑",handleIndex v]          | E.Sum ([(v,_,_)],e1)=>String.concat[" Σ_",handleIndex v,"⋐" ,printbody e1,"⋑",handleIndex v]
35          | E.Sum (sumindex,e1)=>String.concat[" Σ_",(* String.concatWith ","(List.map handleSumRange sumindex),*)"⋐" ,printbody e1,"⋑"]          | E.Sum (sumindex,e1)=>String.concat[" Σ_", String.concatWith ","(List.map handleSumRange sumindex),"⋐" ,printbody e1,"⋑"]
36          | E.Neg e1 => String.concat["-NEG-", printbody e1]          | E.Neg e1 => String.concat["-NEG-", printbody e1]
37          | E.Lift e1 => String.concat["LIFT ⊢", printbody e1,"⊣"]          | E.Lift e1 => String.concat["LIFT ⊢", printbody e1,"⊣"]
38          | E.Add el => String.concat["(",String.concatWith "+" (List.map printbody el),")"]          | E.Add el => String.concat["(",String.concatWith "+" (List.map printbody el),")"]
39          | E.Sub(e1, e2) => String.concat ["(",printbody(e1),"---- ",printbody(e2)]          | E.Sub(e1, e2) => String.concat ["(",printbody(e1),"---- ",printbody(e2)]
40   | E.Prod el => String.concat["{*{",iTos(length el),String.concatWith "* " (List.map printbody el),"}*}",iTos(length el)]   | E.Prod el => String.concat["{*{",String.concatWith "* " (List.map printbody el),"}*}"]
41          | E.Div(e1,e2) => String.concat ["(",printbody(e1),")/( ",printbody (e2),")"]          | E.Div(e1,e2) => String.concat ["(",printbody(e1),")/( ",printbody (e2),")"]
42          | E.Partial alpha => String.concat["d/dx_",handleAlpha alpha]          | E.Partial alpha => String.concat["d/dx_",handleAlpha alpha]
43          | E.Apply(e1, e2)=> String.concat [ printbody(e1),"@{", printbody(e2),"} "]          | E.Apply(e1, e2)=> String.concat [ printbody(e1),"@{", printbody(e2),"} "]

Legend:
Removed from v.3323  
changed lines
  Added in v.3324

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