Table of Contents

1 Tuples

  • Tuples are a new data type: sequences with spin. A tuple can be either spin-up or spin-down.
  • A pair of compatible tuples can be contracted into a single number.
    • Tuples are compatible if they have the same length and opposite spin, and if their corresponding pairs of items are either both numbers or both compatible tuples.
    • To contract tuples, take the sum of the products of corresponding pairs of items. (To take the product of compatible tuples, contract them.)

2 Generic arithmetic

Date: 2011-08-10 14:07:53 EDT

Author: Robert McIntyre

Org version 7.6 with Emacs version 23

Validate XHTML 1.0