Mercurial > dylan

diff sicm/notes.html @ 2:b4de894a1e2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial import
author Robert McIntyre <rlm@mit.edu>
date Fri, 28 Oct 2011 00:03:05 -0700
parents
children
line wrap: on
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/sicm/notes.html	Fri Oct 28 00:03:05 2011 -0700
     1.3 @@ -0,0 +1,141 @@
     1.4 +<?xml version="1.0" encoding="utf-8"?>
     1.5 +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
     1.6 +               "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
     1.7 +<html xmlns="http://www.w3.org/1999/xhtml"
     1.8 +lang="en" xml:lang="en">
     1.9 +<head>
    1.10 +<title>Notes for SICM</title>
    1.11 +<meta http-equiv="Content-Type" content="text/html;charset=utf-8"/>
    1.12 +<meta name="generator" content="Org-mode"/>
    1.13 +<meta name="generated" content="2011-08-10 14:07:53 EDT"/>
    1.14 +<meta name="author" content="Robert McIntyre"/>
    1.15 +<meta name="description" content=""/>
    1.16 +<meta name="keywords" content=""/>
    1.17 +<style type="text/css">
    1.18 + <!--/*--><![CDATA[/*><!--*/
    1.19 +  html { font-family: Times, serif; font-size: 12pt; }
    1.20 +  .title  { text-align: center; }
    1.21 +  .todo   { color: red; }
    1.22 +  .done   { color: green; }
    1.23 +  .tag    { background-color: #add8e6; font-weight:normal }
    1.24 +  .target { }
    1.25 +  .timestamp { color: #bebebe; }
    1.26 +  .timestamp-kwd { color: #5f9ea0; }
    1.27 +  .right  {margin-left:auto; margin-right:0px;  text-align:right;}
    1.28 +  .left   {margin-left:0px;  margin-right:auto; text-align:left;}
    1.29 +  .center {margin-left:auto; margin-right:auto; text-align:center;}
    1.30 +  p.verse { margin-left: 3% }
    1.31 +  pre {
    1.32 +	border: 1pt solid #AEBDCC;
    1.33 +	background-color: #F3F5F7;
    1.34 +	padding: 5pt;
    1.35 +	font-family: courier, monospace;
    1.36 +        font-size: 90%;
    1.37 +        overflow:auto;
    1.38 +  }
    1.39 +  table { border-collapse: collapse; }
    1.40 +  td, th { vertical-align: top;  }
    1.41 +  th.right  { text-align:center;  }
    1.42 +  th.left   { text-align:center;   }
    1.43 +  th.center { text-align:center; }
    1.44 +  td.right  { text-align:right;  }
    1.45 +  td.left   { text-align:left;   }
    1.46 +  td.center { text-align:center; }
    1.47 +  dt { font-weight: bold; }
    1.48 +  div.figure { padding: 0.5em; }
    1.49 +  div.figure p { text-align: center; }
    1.50 +  textarea { overflow-x: auto; }
    1.51 +  .linenr { font-size:smaller }
    1.52 +  .code-highlighted {background-color:#ffff00;}
    1.53 +  .org-info-js_info-navigation { border-style:none; }
    1.54 +  #org-info-js_console-label { font-size:10px; font-weight:bold;
    1.55 +                               white-space:nowrap; }
    1.56 +  .org-info-js_search-highlight {background-color:#ffff00; color:#000000;
    1.57 +                                 font-weight:bold; }
    1.58 +  /*]]>*/-->
    1.59 +</style>
    1.60 +<script type="text/javascript">
    1.61 +<!--/*--><![CDATA[/*><!--*/
    1.62 + function CodeHighlightOn(elem, id)
    1.63 + {
    1.64 +   var target = document.getElementById(id);
    1.65 +   if(null != target) {
    1.66 +     elem.cacheClassElem = elem.className;
    1.67 +     elem.cacheClassTarget = target.className;
    1.68 +     target.className = "code-highlighted";
    1.69 +     elem.className   = "code-highlighted";
    1.70 +   }
    1.71 + }
    1.72 + function CodeHighlightOff(elem, id)
    1.73 + {
    1.74 +   var target = document.getElementById(id);
    1.75 +   if(elem.cacheClassElem)
    1.76 +     elem.className = elem.cacheClassElem;
    1.77 +   if(elem.cacheClassTarget)
    1.78 +     target.className = elem.cacheClassTarget;
    1.79 + }
    1.80 +/*]]>*///-->
    1.81 +</script>
    1.82 +
    1.83 +</head>
    1.84 +<body>
    1.85 +
    1.86 +<div id="content">
    1.87 +
    1.88 +
    1.89 +
    1.90 +<div id="table-of-contents">
    1.91 +<h2>Table of Contents</h2>
    1.92 +<div id="text-table-of-contents">
    1.93 +<ul>
    1.94 +<li><a href="#sec-1">1 Tuples </a></li>
    1.95 +<li><a href="#sec-2">2 Generic arithmetic </a></li>
    1.96 +</ul>
    1.97 +</div>
    1.98 +</div>
    1.99 +
   1.100 +<div id="outline-container-1" class="outline-2">
   1.101 +<h2 id="sec-1"><span class="section-number-2">1</span> Tuples </h2>
   1.102 +<div class="outline-text-2" id="text-1">
   1.103 +
   1.104 +<ul>
   1.105 +<li>Tuples are a new data type: sequences with <i>spin</i>. A tuple can be either spin-up or spin-down.
   1.106 +</li>
   1.107 +<li>A pair of compatible tuples can be <b>contracted</b> into a single number.
   1.108 +<ul>
   1.109 +<li>Tuples are compatible if they have the same length and opposite
   1.110 +    spin, and if their corresponding pairs of items are either both
   1.111 +    numbers or both compatible tuples.
   1.112 +</li>
   1.113 +<li>To contract tuples, take the sum of the products of corresponding
   1.114 +    pairs of items. (To take the product of compatible tuples,
   1.115 +    contract them.)
   1.116 +</li>
   1.117 +</ul>
   1.118 +
   1.119 +</li>
   1.120 +<li>
   1.121 +</li>
   1.122 +</ul>
   1.123 +
   1.124 +
   1.125 +</div>
   1.126 +
   1.127 +</div>
   1.128 +
   1.129 +<div id="outline-container-2" class="outline-2">
   1.130 +<h2 id="sec-2"><span class="section-number-2">2</span> Generic arithmetic </h2>
   1.131 +<div class="outline-text-2" id="text-2">
   1.132 +
   1.133 +
   1.134 +</div>
   1.135 +</div>
   1.136 +<div id="postamble">
   1.137 +<p class="date">Date: 2011-08-10 14:07:53 EDT</p>
   1.138 +<p class="author">Author: Robert McIntyre</p>
   1.139 +<p class="creator">Org version 7.6 with Emacs version 23</p>
   1.140 +<a href="http://validator.w3.org/check?uri=referer">Validate XHTML 1.0</a>
   1.141 +</div>
   1.142 +</div>
   1.143 +</body>
   1.144 +</html>