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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/ein/equal.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/ein/equal.sml

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

revision 2845, Fri Dec 12 06:46:23 2014 UTC revision 2867, Tue Feb 10 06:52:58 2015 UTC
# Line 31  Line 31 
31              | (E.Epsilon(i,j,k),E.Epsilon(i2,j2,k2))    => isIndex([i,j,k], [i2, j2, k2])              | (E.Epsilon(i,j,k),E.Epsilon(i2,j2,k2))    => isIndex([i,j,k], [i2, j2, k2])
32              | (E.Eps2(i,j),E.Eps2(i2,j2))               => isIndex([i,j], [i2, j2])              | (E.Eps2(i,j),E.Eps2(i2,j2))               => isIndex([i,j], [i2, j2])
33              | (E.Lift e1, E.Lift e2)                    => isEqual(e1,e2)              | (E.Lift e1, E.Lift e2)                    => isEqual(e1,e2)
34                | (E.Sqrt e1, E.Sqrt e2)                    => isEqual(e1,e2)
35              | (E.Neg e1, E.Neg e2)                      => isEqual(e1,e2)              | (E.Neg e1, E.Neg e2)                      => isEqual(e1,e2)
36              | (E.Add es, E.Add es2)                     => iter(es, es2)              | (E.Add es, E.Add es2)                     => iter(es, es2)
37              | (E.Sub(a,b),E.Sub(c,d))                   => iter([a,b], [c,d])              | (E.Sub(a,b),E.Sub(c,d))                   => iter([a,b], [c,d])
# Line 46  Line 47 
47              | (E.Img(id1,ix1,pos1),E.Img (id2,ix2,pos2))=> iter(pos1, pos2)              | (E.Img(id1,ix1,pos1),E.Img (id2,ix2,pos2))=> iter(pos1, pos2)
48              | (E.Sum(c,e1), E.Sum(c2,e2))               => isEqual(e1,e2)              | (E.Sum(c,e1), E.Sum(c2,e2))               => isEqual(e1,e2)
49              | (E.Value i, E.Value j)=> isIndex([i],[j])              | (E.Value i, E.Value j)=> isIndex([i],[j])
50    
51              | _                                          =>1              | _                                          =>1
52              (*end case*))              (*end case*))
53          end          end

Legend:
Removed from v.2845  
changed lines
  Added in v.2867

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