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.