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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/low-il/ein-to-low.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/low-il/ein-to-low.sml

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

revision 3656, Thu Feb 4 18:15:06 2016 UTC revision 3662, Fri Feb 5 04:00:13 2016 UTC
# Line 174  Line 174 
174          val (lhs,e,args)=info          val (lhs,e,args)=info
175          val (n,vecIndex,index')=dropIndex index          val (n,vecIndex,index')=dropIndex index
176          val setT= lowSet.LowSet.empty          val setT= lowSet.LowSet.empty
177            val _ =print(String.concat["\nproduct:",P.printerE(e),String.concatWith","(List.map LowIL.Var.toString args)])
178    
179          in (case(matchFindLast(alpha,n),matchFindLast(beta,n))          in (case(matchFindLast(alpha,n),matchFindLast(beta,n))
180              of ((SOME ix1,NONE),(SOME ix2,NONE)) => let              of ((SOME ix1,NONE),(SOME ix2,NONE)) => let
181                  (*n is the last index of alpha, beta and nowhere else,possible modulate*)                  (*n is the last index of alpha, beta and nowhere else,possible modulate*)
# Line 287  Line 289 
289    
290              |  (_::es,E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)]))              |  (_::es,E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)]))
291                  => handleProd all                  => handleProd all
292    
293   (*   (*
294              |  ( _,E.Sum([_], E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)])))              |  ( _,E.Sum([_], E.Opn(E.Prod,[E.Tensor(_ , i::ix), E.Tensor(_, j::jx)])))
295                  =>  handleSumProd1 all                  =>  handleSumProd1 all

Legend:
Removed from v.3656  
changed lines
  Added in v.3662

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