rlm@2:
rlm@2:
rlm@2: Table of Contents
rlm@2:
rlm@2:
rlm@2: -
rlm@2:
- 1 Tuples rlm@2:
- 2 Generic arithmetic rlm@2:
rlm@2:
rlm@2:
rlm@2: 1 Tuples
rlm@2:
rlm@2:
rlm@2:
rlm@2:
rlm@2: -
rlm@2:
- Tuples are a new data type: sequences with spin. A tuple can be either spin-up or spin-down. rlm@2: rlm@2:
- A pair of compatible tuples can be contracted into a single number.
rlm@2:
-
rlm@2:
- Tuples are compatible if they have the same length and opposite rlm@2: spin, and if their corresponding pairs of items are either both rlm@2: numbers or both compatible tuples. rlm@2: rlm@2:
- To contract tuples, take the sum of the products of corresponding rlm@2: pairs of items. (To take the product of compatible tuples, rlm@2: contract them.) rlm@2: rlm@2:
rlm@2: - rlm@2: rlm@2:
rlm@2:
rlm@2: 2 Generic arithmetic
rlm@2:
rlm@2:
rlm@2:
rlm@2:
rlm@2:
rlm@2:
rlm@2: Date: 2011-08-10 14:07:53 EDT
rlm@2: rlm@2:Org version 7.6 with Emacs version 23
rlm@2: Validate XHTML 1.0 rlm@2: