Mercurial > dylan

annotate sicm/notes.html @ 4:10c30f787f4b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor change to quandry
author Robert McIntyre <rlm@mit.edu>
date Fri, 28 Oct 2011 00:07:59 -0700
parents b4de894a1e2e
children
rev   line source
rlm@2 1 <?xml version="1.0" encoding="utf-8"?>
rlm@2 2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
rlm@2 3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
rlm@2 4 <html xmlns="http://www.w3.org/1999/xhtml"
rlm@2 5 lang="en" xml:lang="en">
rlm@2 6 <head>
rlm@2 7 <title>Notes for SICM</title>
rlm@2 8 <meta http-equiv="Content-Type" content="text/html;charset=utf-8"/>
rlm@2 9 <meta name="generator" content="Org-mode"/>
rlm@2 10 <meta name="generated" content="2011-08-10 14:07:53 EDT"/>
rlm@2 11 <meta name="author" content="Robert McIntyre"/>
rlm@2 12 <meta name="description" content=""/>
rlm@2 13 <meta name="keywords" content=""/>
rlm@2 14 <style type="text/css">
rlm@2 15 <!--/*--><![CDATA[/*><!--*/
rlm@2 16 html { font-family: Times, serif; font-size: 12pt; }
rlm@2 17 .title { text-align: center; }
rlm@2 18 .todo { color: red; }
rlm@2 19 .done { color: green; }
rlm@2 20 .tag { background-color: #add8e6; font-weight:normal }
rlm@2 21 .target { }
rlm@2 22 .timestamp { color: #bebebe; }
rlm@2 23 .timestamp-kwd { color: #5f9ea0; }
rlm@2 24 .right {margin-left:auto; margin-right:0px; text-align:right;}
rlm@2 25 .left {margin-left:0px; margin-right:auto; text-align:left;}
rlm@2 26 .center {margin-left:auto; margin-right:auto; text-align:center;}
rlm@2 27 p.verse { margin-left: 3% }
rlm@2 28 pre {
rlm@2 29 border: 1pt solid #AEBDCC;
rlm@2 30 background-color: #F3F5F7;
rlm@2 31 padding: 5pt;
rlm@2 32 font-family: courier, monospace;
rlm@2 33 font-size: 90%;
rlm@2 34 overflow:auto;
rlm@2 35 }
rlm@2 36 table { border-collapse: collapse; }
rlm@2 37 td, th { vertical-align: top; }
rlm@2 38 th.right { text-align:center; }
rlm@2 39 th.left { text-align:center; }
rlm@2 40 th.center { text-align:center; }
rlm@2 41 td.right { text-align:right; }
rlm@2 42 td.left { text-align:left; }
rlm@2 43 td.center { text-align:center; }
rlm@2 44 dt { font-weight: bold; }
rlm@2 45 div.figure { padding: 0.5em; }
rlm@2 46 div.figure p { text-align: center; }
rlm@2 47 textarea { overflow-x: auto; }
rlm@2 48 .linenr { font-size:smaller }
rlm@2 49 .code-highlighted {background-color:#ffff00;}
rlm@2 50 .org-info-js_info-navigation { border-style:none; }
rlm@2 51 #org-info-js_console-label { font-size:10px; font-weight:bold;
rlm@2 52 white-space:nowrap; }
rlm@2 53 .org-info-js_search-highlight {background-color:#ffff00; color:#000000;
rlm@2 54 font-weight:bold; }
rlm@2 55 /*]]>*/-->
rlm@2 56 </style>
rlm@2 57 <script type="text/javascript">
rlm@2 58 <!--/*--><![CDATA[/*><!--*/
rlm@2 59 function CodeHighlightOn(elem, id)
rlm@2 60 {
rlm@2 61 var target = document.getElementById(id);
rlm@2 62 if(null != target) {
rlm@2 63 elem.cacheClassElem = elem.className;
rlm@2 64 elem.cacheClassTarget = target.className;
rlm@2 65 target.className = "code-highlighted";
rlm@2 66 elem.className = "code-highlighted";
rlm@2 67 }
rlm@2 68 }
rlm@2 69 function CodeHighlightOff(elem, id)
rlm@2 70 {
rlm@2 71 var target = document.getElementById(id);
rlm@2 72 if(elem.cacheClassElem)
rlm@2 73 elem.className = elem.cacheClassElem;
rlm@2 74 if(elem.cacheClassTarget)
rlm@2 75 target.className = elem.cacheClassTarget;
rlm@2 76 }
rlm@2 77 /*]]>*///-->
rlm@2 78 </script>
rlm@2 79
rlm@2 80 </head>
rlm@2 81 <body>
rlm@2 82
rlm@2 83 <div id="content">
rlm@2 84
rlm@2 85
rlm@2 86
rlm@2 87 <div id="table-of-contents">
rlm@2 88 <h2>Table of Contents</h2>
rlm@2 89 <div id="text-table-of-contents">
rlm@2 90 <ul>
rlm@2 91 <li><a href="#sec-1">1 Tuples </a></li>
rlm@2 92 <li><a href="#sec-2">2 Generic arithmetic </a></li>
rlm@2 93 </ul>
rlm@2 94 </div>
rlm@2 95 </div>
rlm@2 96
rlm@2 97 <div id="outline-container-1" class="outline-2">
rlm@2 98 <h2 id="sec-1"><span class="section-number-2">1</span> Tuples </h2>
rlm@2 99 <div class="outline-text-2" id="text-1">
rlm@2 100
rlm@2 101 <ul>
rlm@2 102 <li>Tuples are a new data type: sequences with <i>spin</i>. A tuple can be either spin-up or spin-down.
rlm@2 103 </li>
rlm@2 104 <li>A pair of compatible tuples can be <b>contracted</b> into a single number.
rlm@2 105 <ul>
rlm@2 106 <li>Tuples are compatible if they have the same length and opposite
rlm@2 107 spin, and if their corresponding pairs of items are either both
rlm@2 108 numbers or both compatible tuples.
rlm@2 109 </li>
rlm@2 110 <li>To contract tuples, take the sum of the products of corresponding
rlm@2 111 pairs of items. (To take the product of compatible tuples,
rlm@2 112 contract them.)
rlm@2 113 </li>
rlm@2 114 </ul>
rlm@2 115
rlm@2 116 </li>
rlm@2 117 <li>
rlm@2 118 </li>
rlm@2 119 </ul>
rlm@2 120
rlm@2 121
rlm@2 122 </div>
rlm@2 123
rlm@2 124 </div>
rlm@2 125
rlm@2 126 <div id="outline-container-2" class="outline-2">
rlm@2 127 <h2 id="sec-2"><span class="section-number-2">2</span> Generic arithmetic </h2>
rlm@2 128 <div class="outline-text-2" id="text-2">
rlm@2 129
rlm@2 130
rlm@2 131 </div>
rlm@2 132 </div>
rlm@2 133 <div id="postamble">
rlm@2 134 <p class="date">Date: 2011-08-10 14:07:53 EDT</p>
rlm@2 135 <p class="author">Author: Robert McIntyre</p>
rlm@2 136 <p class="creator">Org version 7.6 with Emacs version 23</p>
rlm@2 137 <a href="http://validator.w3.org/check?uri=referer">Validate XHTML 1.0</a>
rlm@2 138 </div>
rlm@2 139 </div>
rlm@2 140 </body>
rlm@2 141 </html>