annotate sicm/notes.org @ 10:543b1dbf821d
New article: Inductive lattices
author |
Dylan Holmes <ocsenave@gmail.com> |
date |
Tue, 01 Nov 2011 01:55:26 -0500 |
parents |
b4de894a1e2e |
children |
|
rev |
line source |
rlm@2
|
1 #+TITLE: Notes for SICM
|
rlm@2
|
2
|
rlm@2
|
3 * Complex numbers
|
rlm@2
|
4
|
rlm@2
|
5
|
rlm@2
|
6 * Multidimensional Structures
|
rlm@2
|
7 ** Tuples
|
rlm@2
|
8 - Tuples are a new data type: sequences with /spin/. A tuple can be either spin-up or spin-down.
|
rlm@2
|
9 - A pair of compatible tuples can be *contracted* into a single number.
|
rlm@2
|
10 - Tuples are compatible if they have the same length and opposite
|
rlm@2
|
11 spin, and if their corresponding pairs of items are either both
|
rlm@2
|
12 numbers or both compatible tuples.
|
rlm@2
|
13 - To contract tuples, take the sum of the products of corresponding
|
rlm@2
|
14 pairs of items. (To take the product of compatible tuples,
|
rlm@2
|
15 contract them.)
|
rlm@2
|
16
|
rlm@2
|
17 *Generic Arithmetic:* To multiply two tuples, check to see if they are
|
rlm@2
|
18 compatible. If they are, contract them. If they aren't, multiply each
|
rlm@2
|
19 item of the second tuple by the first tuple.
|
rlm@2
|
20
|
rlm@2
|
21 To multiply a tuple by a number, multiply each element of the tuple by
|
rlm@2
|
22 the number.
|
rlm@2
|
23
|
rlm@2
|
24 ** Matrices
|
rlm@2
|
25 Uses incanter matrices.
|