Mercurial > dylan
comparison sicm/notes.html @ 2:b4de894a1e2e
initial import
author | Robert McIntyre <rlm@mit.edu> |
---|---|
date | Fri, 28 Oct 2011 00:03:05 -0700 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
1:8d8278e09888 | 2:b4de894a1e2e |
---|---|
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> |