Mercurial > dylan

     1 <?xml version="1.0" encoding="utf-8"?>

     2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"

     3                "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

     4 <html xmlns="http://www.w3.org/1999/xhtml"

     5 lang="en" xml:lang="en">

     6 <head>

     7 <title>Notes for SICM</title>

     8 <meta http-equiv="Content-Type" content="text/html;charset=utf-8"/>

     9 <meta name="generator" content="Org-mode"/>

    10 <meta name="generated" content="2011-08-10 14:07:53 EDT"/>

    11 <meta name="author" content="Robert McIntyre"/>

    12 <meta name="description" content=""/>

    13 <meta name="keywords" content=""/>

    14 <style type="text/css">

    15  <!--/*--><![CDATA[/*><!--*/

    16   html { font-family: Times, serif; font-size: 12pt; }

    17   .title  { text-align: center; }

    18   .todo   { color: red; }

    19   .done   { color: green; }

    20   .tag    { background-color: #add8e6; font-weight:normal }

    21   .target { }

    22   .timestamp { color: #bebebe; }

    23   .timestamp-kwd { color: #5f9ea0; }

    24   .right  {margin-left:auto; margin-right:0px;  text-align:right;}

    25   .left   {margin-left:0px;  margin-right:auto; text-align:left;}

    26   .center {margin-left:auto; margin-right:auto; text-align:center;}

    27   p.verse { margin-left: 3% }

    28   pre {

    29 	border: 1pt solid #AEBDCC;

    30 	background-color: #F3F5F7;

    31 	padding: 5pt;

    32 	font-family: courier, monospace;

    33         font-size: 90%;

    34         overflow:auto;

    35   }

    36   table { border-collapse: collapse; }

    37   td, th { vertical-align: top;  }

    38   th.right  { text-align:center;  }

    39   th.left   { text-align:center;   }

    40   th.center { text-align:center; }

    41   td.right  { text-align:right;  }

    42   td.left   { text-align:left;   }

    43   td.center { text-align:center; }

    44   dt { font-weight: bold; }

    45   div.figure { padding: 0.5em; }

    46   div.figure p { text-align: center; }

    47   textarea { overflow-x: auto; }

    48   .linenr { font-size:smaller }

    49   .code-highlighted {background-color:#ffff00;}

    50   .org-info-js_info-navigation { border-style:none; }

    51   #org-info-js_console-label { font-size:10px; font-weight:bold;

    52                                white-space:nowrap; }

    53   .org-info-js_search-highlight {background-color:#ffff00; color:#000000;

    54                                  font-weight:bold; }

    55   /*]]>*/-->

    56 </style>

    57 <script type="text/javascript">

    58 <!--/*--><![CDATA[/*><!--*/

    59  function CodeHighlightOn(elem, id)

    60  {

    61    var target = document.getElementById(id);

    62    if(null != target) {

    63      elem.cacheClassElem = elem.className;

    64      elem.cacheClassTarget = target.className;

    65      target.className = "code-highlighted";

    66      elem.className   = "code-highlighted";

    67    }

    68  }

    69  function CodeHighlightOff(elem, id)

    70  {

    71    var target = document.getElementById(id);

    72    if(elem.cacheClassElem)

    73      elem.className = elem.cacheClassElem;

    74    if(elem.cacheClassTarget)

    75      target.className = elem.cacheClassTarget;

    76  }

    77 /*]]>*///-->

    78 </script>

    79 

    80 </head>

    81 <body>

    82 

    83 <div id="content">

    84 

    85 

    86 

    87 <div id="table-of-contents">

    88 <h2>Table of Contents</h2>

    89 <div id="text-table-of-contents">

    90 <ul>

    91 <li><a href="#sec-1">1 Tuples </a></li>

    92 <li><a href="#sec-2">2 Generic arithmetic </a></li>

    93 </ul>

    94 </div>

    95 </div>

    96 

    97 <div id="outline-container-1" class="outline-2">

    98 <h2 id="sec-1"><span class="section-number-2">1</span> Tuples </h2>

    99 <div class="outline-text-2" id="text-1">

   100 

   101 <ul>

   102 <li>Tuples are a new data type: sequences with <i>spin</i>. A tuple can be either spin-up or spin-down.

   103 </li>

   104 <li>A pair of compatible tuples can be <b>contracted</b> into a single number.

   105 <ul>

   106 <li>Tuples are compatible if they have the same length and opposite

   107     spin, and if their corresponding pairs of items are either both

   108     numbers or both compatible tuples.

   109 </li>

   110 <li>To contract tuples, take the sum of the products of corresponding

   111     pairs of items. (To take the product of compatible tuples,

   112     contract them.)

   113 </li>

   114 </ul>

   115 

   116 </li>

   117 <li>

   118 </li>

   119 </ul>

   120 

   121 

   122 </div>

   123 

   124 </div>

   125 

   126 <div id="outline-container-2" class="outline-2">

   127 <h2 id="sec-2"><span class="section-number-2">2</span> Generic arithmetic </h2>

   128 <div class="outline-text-2" id="text-2">

   129 

   130 

   131 </div>

   132 </div>

   133 <div id="postamble">

   134 <p class="date">Date: 2011-08-10 14:07:53 EDT</p>

   135 <p class="author">Author: Robert McIntyre</p>

   136 <p class="creator">Org version 7.6 with Emacs version 23</p>

   137 <a href="http://validator.w3.org/check?uri=referer">Validate XHTML 1.0</a>

   138 </div>

   139 </div>

   140 </body>

   141 </html>
author	Robert McIntyre <rlm@mit.edu>
date	Fri, 28 Oct 2011 00:03:05 -0700
parents
children