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

SCM Repository

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

Diff of /branches/vis15/src/compiler/ein/mk-operators.sml

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

revision 3701, Wed Mar 30 19:59:51 2016 UTC revision 3702, Thu Mar 31 12:18:48 2016 UTC
# Line 433  Line 433 
433            val s'' = [(s', 0, i-1)]            val s'' = [(s', 0, i-1)]
434            in            in
435              E.EIN{              E.EIN{
436                  params = [mkTEN shape1, mkTEN i::beta],                  params = [mkTEN shape1, mkTEN(i :: beta)],
437                  index = alpha@beta,                  index = alpha@beta,
438                  body = E.Sum(s'', E.Opn(E.Prod, [                  body = E.Sum(s'', E.Opn(E.Prod, [
439                      E.Tensor(0, expindexA@[s']),   (* T_{\alpha i} *)                      E.Tensor(0, expindexA@[s']),   (* T_{\alpha i} *)
# Line 469  Line 469 
469            val sid = E.V(length alpha + length beta)            val sid = E.V(length alpha + length beta)
470            in            in
471              E.EIN{              E.EIN{
472                  params = [E.FLD dim, mkTEN i::beta],                  params = [E.FLD dim, mkTEN(i::beta)],
473                  index = alpha@beta,                  index = alpha@beta,
474                  body = E.Sum([(sid, 0, i-1)],                  body = E.Sum([(sid, 0, i-1)],
475                    E.Opn(E.Prod, [                    E.Opn(E.Prod, [
# Line 487  Line 487 
487            val sid = E.V(length(alpha) + length beta)            val sid = E.V(length(alpha) + length beta)
488            in            in
489              E.EIN{              E.EIN{
490                  params = [mkTEN shape1, E.FLD dim], index = alpha@beta,                  params = [mkTEN shape1, E.FLD dim],
491                    index = alpha @ beta,
492                  body = E.Sum([(sid, 0, i-1)],                  body = E.Sum([(sid, 0, i-1)],
493                    E.Opn(E.Prod, [                    E.Opn(E.Prod, [
494                        E.Lift(E.Tensor(0, expindexA@[sid])),   (* F_{\alpha i} *)                        E.Lift(E.Tensor(0, expindexA@[sid])),   (* F_{\alpha i} *)
# Line 510  Line 511 
511            val sx = [(E.V sumi, 0, i-1), (E.V(sumi+1), 0, j-1)]            val sx = [(E.V sumi, 0, i-1), (E.V(sumi+1), 0, j-1)]
512            in            in
513              E.EIN{              E.EIN{
514                  params = [mkTEN shape1, mkTEN i::j::beta],                  params = [mkTEN shape1, mkTEN(i::j::beta)],
515                  index = alpha@beta,                  index = alpha@beta,
516                  body = E.Sum(sx,                  body = E.Sum(sx,
517                    E.Opn(E.Prod, [E.Tensor(0, expindexA@s'), E.Tensor(1, s'@expindexB)]))                    E.Opn(E.Prod, [E.Tensor(0, expindexA@s'), E.Tensor(1, s'@expindexB)]))
# Line 565  Line 566 
566            val sx = [(E.V sumi, 0, i-1), (E.V(sumi+1), 0, j-1)]            val sx = [(E.V sumi, 0, i-1), (E.V(sumi+1), 0, j-1)]
567            in            in
568              E.EIN{              E.EIN{
569                  params = [mkTEN i::j::beta, E.FLD dim],                  params = [mkTEN(i::j::beta), E.FLD dim],
570                  index = alpha@beta,                  index = alpha@beta,
571                  body = E.Sum(sx,                  body = E.Sum(sx,
572                    E.Opn(E.Prod, [E.Lift(E.Tensor(0, expindexA@s')), E.Field(1, s'@expindexB)]))                    E.Opn(E.Prod, [E.Lift(E.Tensor(0, expindexA@s')), E.Field(1, s'@expindexB)]))

Legend:
Removed from v.3701  
changed lines
  Added in v.3702

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