{
  "!= (as string comparison operator)": [
    "2.3.1"
  ],
  "\"": [
    "2.3.1"
  ],
  "'": [
    "2.3.1"
  ],
  "+ (as string concatenation operator)": [
    "2.1.1"
  ],
  "== (as general comparison operator)": [
    "2.3.1"
  ],
  "== (as string comparison operator)": [
    "2.3.1"
  ],
  "ASCII code": [
    "2.3.4"
  ],
  "B tree": [
    "2.3.3"
  ],
  "Borodin, Alan": [
    "2.2.3"
  ],
  "Church numerals": [
    "2.1.3"
  ],
  "Church, Alonzo": [
    "2.1.3"
  ],
  "Cormen, Thomas H.": [
    "2.3.3"
  ],
  "Curry, Haskell Brooks": [
    "2.2.1"
  ],
  "Escher, Maurits Cornelis": [
    "2.2.4"
  ],
  "Euclid's Algorithm (for polynomials)": [
    "2.5.3"
  ],
  "Euclidean ring": [
    "2.5.3"
  ],
  "Fortran": [
    "2.2.3"
  ],
  "Goguen, Joseph": [
    "2.1.3"
  ],
  "Guttag, John Vogel": [
    "2.1.3"
  ],
  "Hamming, Richard Wesley": [
    "2.3.4"
  ],
  "Haskell": [
    "2.2.1"
  ],
  "Henderson, Peter": [
    "2.2.4"
  ],
  "Henz, Martin, children of": [
    "2.3.1"
  ],
  "Hilfinger, Paul": [
    "2.3.3"
  ],
  "Hoare, Charles Antony Richard": [
    "2.1.3"
  ],
  "Horner's rule": [
    "2.2.3"
  ],
  "Huffman code": [
    "2.3.4"
  ],
  "Huffman code (optimality of)": [
    "2.3.4"
  ],
  "Huffman code (order of growth of encoding)": [
    "2.3.4"
  ],
  "Huffman, David": [
    "2.3.4"
  ],
  "KRC": [
    "2.2.3"
  ],
  "Knuth, Donald E.": [
    "2.2.3"
  ],
  "Lagrange interpolation formula": [
    "2.5.3"
  ],
  "Leiserson, Charles E.": [
    "2.3.3"
  ],
  "Liskov, Barbara Huberman": [
    "2.1.3"
  ],
  "MIT (early history of)": [
    "2.2.4"
  ],
  "Miranda": [
    "2.2.3"
  ],
  "Morse code": [
    "2.3.4"
  ],
  "Munro, Ian": [
    "2.2.3"
  ],
  "None": [
    "2.4.3"
  ],
  "None (as empty linked list)": [
    "2.2.1"
  ],
  "None (as end of linked list marker)": [
    "2.2.1"
  ],
  "None (recognizing with is_none)": [
    "2.2.1"
  ],
  "Ocaml": [
    "2.2.1"
  ],
  "Ostrowski, A. M.": [
    "2.2.3"
  ],
  "Pan, V. Y.": [
    "2.2.3"
  ],
  "Python (internal type system)": [
    "2.5.1"
  ],
  "Rivest, Ronald L.": [
    "2.3.3"
  ],
  "Rogers, William Barton": [
    "2.2.4"
  ],
  "Runkle, John Daniel": [
    "2.2.4"
  ],
  "Stein, Clifford": [
    "2.3.3"
  ],
  "Thatcher, James W.": [
    "2.1.3"
  ],
  "Turner, David": [
    "2.2.3"
  ],
  "Wagner, Eric G.": [
    "2.1.3"
  ],
  "Walker, Francis Amasa": [
    "2.2.4"
  ],
  "Waters, Richard C.": [
    "2.2.3"
  ],
  "Weyl, Hermann": [
    "2"
  ],
  "Wright, Jesse B.": [
    "2.1.3"
  ],
  "Wrigstad, Tobias, daughter of": [
    "2.3.1"
  ],
  "Zilles, Stephen N.": [
    "2.1.3"
  ],
  "Zippel, Richard E.": [
    "2.5.3"
  ],
  "abstract data": [
    "2.1"
  ],
  "abstract models for data": [
    "2.1.3"
  ],
  "abstraction barriers": [
    "2",
    "2.1.2",
    "2.4"
  ],
  "abstraction barriers (in complex number system)": [
    "2.4"
  ],
  "abstraction barriers (in generic arithmetic system)": [
    "2.5"
  ],
  "accumulate": [
    "2.2.3"
  ],
  "accumulate (same as fold_right)": [
    "2.2.3"
  ],
  "accumulate_n": [
    "2.2.3"
  ],
  "accumulator": [
    "2.2.3"
  ],
  "add": [
    "2.5.1"
  ],
  "add (used for polynomial coefficients)": [
    "2.5.3"
  ],
  "add_complex": [
    "2.4.1"
  ],
  "add_complex_to_python_num": [
    "2.5.2"
  ],
  "add_interval": [
    "2.1.4"
  ],
  "add_poly": [
    "2.5.3"
  ],
  "add_rat": [
    "2.1.1"
  ],
  "add_terms": [
    "2.5.3"
  ],
  "add_vect": [
    "2.2.4"
  ],
  "addend": [
    "2.3.2"
  ],
  "additivity": [
    "2",
    "2.4",
    "2.4.3",
    "2.5.1"
  ],
  "adjoin_set": [
    "2.3.3"
  ],
  "adjoin_set (binary tree representation)": [
    "2.3.3"
  ],
  "adjoin_set (for weighted sets)": [
    "2.3.4"
  ],
  "adjoin_set (ordered linked list representation)": [
    "2.3.3"
  ],
  "adjoin_set (unordered linked list representation)": [
    "2.3.3"
  ],
  "adjoin_term": [
    "2.5.3"
  ],
  "adjoining to a linked list with pair": [
    "2.2.1"
  ],
  "algebraic expression": [
    "2.5.3"
  ],
  "algebraic expression (differentiating)": [
    "2.3.2"
  ],
  "algebraic expression (representing)": [
    "2.3.2"
  ],
  "algebraic expression (simplifying)": [
    "2.3.2"
  ],
  "algebraic specification for data": [
    "2.1.3"
  ],
  "algorithm (optimal)": [
    "2.2.3"
  ],
  "algorithm (probabilistic)": [
    "2.5.3"
  ],
  "angle (data directed)": [
    "2.4.3"
  ],
  "angle (polar representation)": [
    "2.4.1"
  ],
  "angle (rectangular representation)": [
    "2.4.1"
  ],
  "angle (with tagged data)": [
    "2.4.2"
  ],
  "angle_polar": [
    "2.4.2"
  ],
  "angle_rectangular": [
    "2.4.2"
  ],
  "append": [
    "2.2.1"
  ],
  "append (as accumulation)": [
    "2.2.3"
  ],
  "apply_generic": [
    "2.4.3"
  ],
  "apply_generic (with coercion by raising)": [
    "2.5.2"
  ],
  "apply_generic (with coercion of multiple arguments)": [
    "2.5.2"
  ],
  "apply_generic (with coercion to simplify)": [
    "2.5.2"
  ],
  "apply_generic (with coercion)": [
    "2.5.2"
  ],
  "apply_generic (with message passing)": [
    "2.4.3"
  ],
  "apply_generic (with tower of types)": [
    "2.5.2"
  ],
  "apply_in_underlying_javascript": [
    "2.4.3"
  ],
  "arctangent": [
    "2.4.1"
  ],
  "arithmetic (generic)": [
    "2.5"
  ],
  "arithmetic (on complex numbers)": [
    "2.4"
  ],
  "arithmetic (on intervals)": [
    "2.1.4"
  ],
  "arithmetic (on rational numbers)": [
    "2.1.1"
  ],
  "attach_tag": [
    "2.4.2"
  ],
  "attach_tag (using Python data types)": [
    "2.5.1"
  ],
  "augend": [
    "2.3.2"
  ],
  "balanced binary tree": [
    "2.3.3"
  ],
  "balanced mobile": [
    "2.2.2"
  ],
  "below": [
    "2.2.4"
  ],
  "beside": [
    "2.2.4"
  ],
  "binary search": [
    "2.3.3"
  ],
  "binary tree": [
    "2.3.3"
  ],
  "binary tree (balanced)": [
    "2.3.3"
  ],
  "binary tree (converting a linked list to a)": [
    "2.3.3"
  ],
  "binary tree (converting to a linked list)": [
    "2.3.3"
  ],
  "binary tree (for Huffman encoding)": [
    "2.3.4"
  ],
  "binary tree (represented with linked lists)": [
    "2.3.3"
  ],
  "binary tree (set represented as)": [
    "2.3.3"
  ],
  "box and pointer notation": [
    "2.2"
  ],
  "box and pointer notation (end of linked list marker)": [
    "2.2.1"
  ],
  "box notation for pairs": [
    "2.2.1"
  ],
  "canonical form, for polynomials": [
    "2.5.3"
  ],
  "center": [
    "2.1.4"
  ],
  "character, ASCII encoding": [
    "2.3.4"
  ],
  "chess, eight queens puzzle": [
    "2.2.3"
  ],
  "closure": [
    "2"
  ],
  "closure (closure property of pair)": [
    "2.2"
  ],
  "closure (closure property of picture language operations)": [
    "2.2.4"
  ],
  "closure (in abstract algebra)": [
    "2.2"
  ],
  "coal, bituminous": [
    "2.2.4"
  ],
  "code (ASCII)": [
    "2.3.4"
  ],
  "code (Morse)": [
    "2.3.4"
  ],
  "code (fixed length)": [
    "2.3.4"
  ],
  "code (prefix)": [
    "2.3.4"
  ],
  "code (variable length)": [
    "2.3.4"
  ],
  "coeff": [
    "2.5.3"
  ],
  "coercion": [
    "2.5.2"
  ],
  "coercion (function)": [
    "2.5.2"
  ],
  "coercion (in algebraic manipulation)": [
    "2.5.3"
  ],
  "coercion (in polynomial arithmetic)": [
    "2.5.3"
  ],
  "coercion (table)": [
    "2.5.2"
  ],
  "comments in programs": [
    "2.2.3"
  ],
  "complex": [
    "2.5.1"
  ],
  "complex number arithmetic": [
    "2.4"
  ],
  "complex number arithmetic (interfaced to generic arithmetic system)": [
    "2.5.1"
  ],
  "complex number arithmetic (structure of system)": [
    "2.4.2"
  ],
  "complex numbers (polar representation)": [
    "2.4.1"
  ],
  "complex numbers (rectangular representation)": [
    "2.4.1"
  ],
  "complex numbers (rectangular vs.polar form)": [
    "2.4.1"
  ],
  "complex numbers (represented as tagged data)": [
    "2.4.2"
  ],
  "complex_to_complex": [
    "2.5.2"
  ],
  "compound data, need for": [
    "2"
  ],
  "concatenating strings": [
    "2.1.1"
  ],
  "concrete data representation": [
    "2.1"
  ],
  "conditional statement (conditional instead of alternative block)": [
    "2.5.3"
  ],
  "constructing a linked list with pair": [
    "2.2.1"
  ],
  "constructor": [
    "2.1"
  ],
  "constructor (as abstraction barrier)": [
    "2.1.2"
  ],
  "contents": [
    "2.4.2"
  ],
  "contents (using Python data types)": [
    "2.5.1"
  ],
  "conventional interface": [
    "2"
  ],
  "conventional interface (sequence as)": [
    "2.2.3"
  ],
  "corner_split": [
    "2.2.4"
  ],
  "count_leaves": [
    "2.2.2"
  ],
  "count_leaves (as accumulation)": [
    "2.2.3"
  ],
  "counting change": [
    "2.2.1"
  ],
  "cross type operations": [
    "2.5.2"
  ],
  "currying": [
    "2.2.1"
  ],
  "data (abstract models for)": [
    "2.1.3"
  ],
  "data (abstract)": [
    "2.1"
  ],
  "data (algebraic specification for)": [
    "2.1.3"
  ],
  "data (compound)": [
    "2"
  ],
  "data (concrete representation of)": [
    "2.1"
  ],
  "data (functional representation of)": [
    "2.1.3"
  ],
  "data (hierarchical)": [
    "2.2",
    "2.2.2"
  ],
  "data (list structured)": [
    "2.1.1"
  ],
  "data (meaning of)": [
    "2.1.3"
  ],
  "data (symbolic)": [
    "2.3"
  ],
  "data (tagged)": [
    "2.4.2"
  ],
  "data abstraction": [
    "2",
    "2.1",
    "2.4",
    "2.4.1"
  ],
  "data base (Insatiable Enterprises personnel)": [
    "2.4.3"
  ],
  "data base (as set of records)": [
    "2.3.3"
  ],
  "data base (data directed programming and)": [
    "2.4.3"
  ],
  "data directed programming": [
    "2.4",
    "2.4.3"
  ],
  "data directed recursion": [
    "2.5.3"
  ],
  "data types (in Python)": [
    "2.5.1"
  ],
  "decode": [
    "2.3.4"
  ],
  "deep_reverse": [
    "2.2.2"
  ],
  "denom": [
    "2.1.1"
  ],
  "denom (axiom for)": [
    "2.1.3"
  ],
  "denom (reducing to lowest terms)": [
    "2.1.2"
  ],
  "dense polynomial": [
    "2.5.3"
  ],
  "deriv": [
    "2.3.2"
  ],
  "deriv (data directed)": [
    "2.4.3"
  ],
  "design, stratified": [
    "2.2.4"
  ],
  "differentiation (rules for)": [
    "2.3.2"
  ],
  "differentiation (symbolic)": [
    "2.3.2",
    "2.4.3"
  ],
  "dispatching (comparing different styles)": [
    "2.4.3"
  ],
  "dispatching (on type)": [
    "2.4.3"
  ],
  "div": [
    "2.5.1"
  ],
  "div_complex": [
    "2.4.1"
  ],
  "div_interval": [
    "2.1.4"
  ],
  "div_interval (division by zero)": [
    "2.1.4"
  ],
  "div_poly": [
    "2.5.3"
  ],
  "div_rat": [
    "2.1.1"
  ],
  "div_terms": [
    "2.5.3"
  ],
  "dot_product": [
    "2.2.3"
  ],
  "draw_line": [
    "2.2.4"
  ],
  "edge1_frame": [
    "2.2.4"
  ],
  "edge2_frame": [
    "2.2.4"
  ],
  "eight queens puzzle": [
    "2.2.3"
  ],
  "empty linked list": [
    "2.2.1"
  ],
  "empty linked list (recognizing with is_none)": [
    "2.2.1"
  ],
  "encode": [
    "2.3.4"
  ],
  "end of linked list marker": [
    "2.2.1"
  ],
  "end_segment": [
    "2.1.2",
    "2.2.4"
  ],
  "entry": [
    "2.3.3"
  ],
  "enumerate_interval": [
    "2.2.3"
  ],
  "enumerate_tree": [
    "2.2.3"
  ],
  "enumerator": [
    "2.2.3"
  ],
  "equal": [
    "2.3.1"
  ],
  "equal_rat": [
    "2.1.1"
  ],
  "equality (in generic arithmetic system)": [
    "2.5.1"
  ],
  "equality (of linked lists)": [
    "2.3.1"
  ],
  "equality (of numbers)": [
    "2.3.1"
  ],
  "equality (of strings)": [
    "2.3.1"
  ],
  "equality (structural)": [
    "2.3.1"
  ],
  "error (optional second argument)": [
    "2.1.3"
  ],
  "even_fibs": [
    "2.2.3"
  ],
  "expression (symbolic)": [
    "2"
  ],
  "filter": [
    "2.2.3"
  ],
  "first_term": [
    "2.5.3"
  ],
  "fixed length code": [
    "2.3.4"
  ],
  "flatmap": [
    "2.2.3"
  ],
  "flip_horiz": [
    "2.2.4"
  ],
  "flip_vert": [
    "2.2.4"
  ],
  "flipped_pairs": [
    "2.2.4"
  ],
  "fold_left": [
    "2.2.3"
  ],
  "fold_right": [
    "2.2.3"
  ],
  "for_each": [
    "2.2.1"
  ],
  "frame (picture language)": [
    "2.2.4"
  ],
  "frame (picture language) (coordinate map)": [
    "2.2.4"
  ],
  "frame_coord_map": [
    "2.2.4"
  ],
  "fringe": [
    "2.2.2"
  ],
  "fringe (as a tree enumeration)": [
    "2.2.3"
  ],
  "function (mathematical) (rational)": [
    "2.5.3"
  ],
  "functional representation of data": [
    "2.1.3"
  ],
  "gcd_terms": [
    "2.5.3"
  ],
  "generate_huffman_tree": [
    "2.3.4"
  ],
  "generic arithmetic operations": [
    "2.5.1"
  ],
  "generic arithmetic operations (structure of system)": [
    "2.5"
  ],
  "generic function": [
    "2.3.4",
    "2.4"
  ],
  "generic function (generic selector)": [
    "2.4.2"
  ],
  "generic operation": [
    "2"
  ],
  "get": [
    "2.4.3"
  ],
  "greatest common divisor (generic)": [
    "2.5.3"
  ],
  "greatest common divisor (of polynomials)": [
    "2.5.3"
  ],
  "greatest common divisor (used in rational number arithmetic)": [
    "2.1.1"
  ],
  "head": [
    "2.1.1"
  ],
  "head (as linked list operation)": [
    "2.2.1"
  ],
  "head (axiom for)": [
    "2.1.3"
  ],
  "head (functional implementation of)": [
    "2.1.3"
  ],
  "hierarchical data structures": [
    "2.2",
    "2.2.2"
  ],
  "hierarchy of types": [
    "2.5.2"
  ],
  "hierarchy of types (in symbolic algebra)": [
    "2.5.3"
  ],
  "hierarchy of types (inadequacy of)": [
    "2.5.2"
  ],
  "imag_part (data directed)": [
    "2.4.3"
  ],
  "imag_part (polar representation)": [
    "2.4.1"
  ],
  "imag_part (rectangular representation)": [
    "2.4.1"
  ],
  "imag_part (with tagged data)": [
    "2.4.2"
  ],
  "imag_part_polar": [
    "2.4.2"
  ],
  "imag_part_rectangular": [
    "2.4.2"
  ],
  "indeterminate of a polynomial": [
    "2.5.3"
  ],
  "infix notation (prefix notation vs.)": [
    "2.3.2"
  ],
  "install_complex_package": [
    "2.5.1"
  ],
  "install_polar_package": [
    "2.4.3"
  ],
  "install_polynomial_package": [
    "2.5.3"
  ],
  "install_python_number_package": [
    "2.5.1"
  ],
  "install_rational_package": [
    "2.5.1"
  ],
  "install_rectangular_package": [
    "2.4.3"
  ],
  "integerizing factor": [
    "2.5.3"
  ],
  "intersection_set": [
    "2.3.3"
  ],
  "intersection_set (binary tree representation)": [
    "2.3.3"
  ],
  "intersection_set (ordered linked list representation)": [
    "2.3.3"
  ],
  "intersection_set (unordered linked list representation)": [
    "2.3.3"
  ],
  "interval arithmetic": [
    "2.1.4"
  ],
  "is_element_of_set": [
    "2.3.3"
  ],
  "is_element_of_set (binary tree representation)": [
    "2.3.3"
  ],
  "is_element_of_set (ordered linked list representation)": [
    "2.3.3"
  ],
  "is_element_of_set (unordered linked list representation)": [
    "2.3.3"
  ],
  "is_empty_termlist": [
    "2.5.3"
  ],
  "is_equal": [
    "2.5.1"
  ],
  "is_equal_to_zero": [
    "2.5.1"
  ],
  "is_equal_to_zero (for polynomials)": [
    "2.5.3"
  ],
  "is_leaf": [
    "2.3.4"
  ],
  "is_none": [
    "2.2.1",
    "2.4.3"
  ],
  "is_number": [
    "2.3.2"
  ],
  "is_number (data types and)": [
    "2.5.1"
  ],
  "is_pair": [
    "2.2.2"
  ],
  "is_polar": [
    "2.4.2"
  ],
  "is_product": [
    "2.3.2"
  ],
  "is_rectangular": [
    "2.4.2"
  ],
  "is_same_variable": [
    "2.3.2",
    "2.5.3"
  ],
  "is_string": [
    "2.3.2"
  ],
  "is_string (data types and)": [
    "2.5.1"
  ],
  "is_sum": [
    "2.3.2"
  ],
  "is_variable (for algebraic expressions)": [
    "2.3.2"
  ],
  "key": [
    "2.3.3"
  ],
  "key of a record (in a data base)": [
    "2.3.3"
  ],
  "keywords (None)": [
    "2.2.1"
  ],
  "lambda expression (restricted to a single expression in Python)": [
    "2.2.4"
  ],
  "last_pair": [
    "2.2.1"
  ],
  "least commitment, principle of": [
    "2.4.2"
  ],
  "left_branch": [
    "2.3.3",
    "2.3.4"
  ],
  "length": [
    "2.2.1"
  ],
  "length (as accumulation)": [
    "2.2.3"
  ],
  "length (iterative version)": [
    "2.2.1"
  ],
  "length (recursive version)": [
    "2.2.1"
  ],
  "line segment (represented as pair of points)": [
    "2.1.2"
  ],
  "line segment (represented as pair of vectors)": [
    "2.2.4"
  ],
  "linked list": [
    "2.2.1"
  ],
  "linked list ($n$th element of)": [
    "2.2.1"
  ],
  "linked list (adjoining to with pair)": [
    "2.2.1"
  ],
  "linked list (combining with append)": [
    "2.2.1"
  ],
  "linked list (constructing with pair)": [
    "2.2.1"
  ],
  "linked list (converting a binary tree to a)": [
    "2.3.3"
  ],
  "linked list (converting to a binary tree)": [
    "2.3.3"
  ],
  "linked list (equality of)": [
    "2.3.1"
  ],
  "linked list (last pair of)": [
    "2.2.1"
  ],
  "linked list (length of)": [
    "2.2.1"
  ],
  "linked list (manipulation with head, tail, and pair)": [
    "2.2.1"
  ],
  "linked list (mapping over)": [
    "2.2.1"
  ],
  "linked list (operations on)": [
    "2.2.1"
  ],
  "linked list (printed representation of)": [
    "2.2.1"
  ],
  "linked list (reversing)": [
    "2.2.1"
  ],
  "linked list (techniques for manipulating)": [
    "2.2.1"
  ],
  "linked list (walking down with tail)": [
    "2.2.1"
  ],
  "linked list notation for data": [
    "2.2.1"
  ],
  "linked list structure (linked list vs.)": [
    "2.2.1"
  ],
  "linked list(s) (linked list structure vs.)": [
    "2.2.1"
  ],
  "linked_list_to_tree": [
    "2.3.3"
  ],
  "list structure": [
    "2.1.1"
  ],
  "llist": [
    "2.2.1"
  ],
  "logarithmic growth": [
    "2.3.3"
  ],
  "lookup (in set of records)": [
    "2.3.3"
  ],
  "lower_bound": [
    "2.1.4"
  ],
  "magnitude (data directed)": [
    "2.4.3"
  ],
  "magnitude (polar representation)": [
    "2.4.1"
  ],
  "magnitude (rectangular representation)": [
    "2.4.1"
  ],
  "magnitude (with tagged data)": [
    "2.4.2"
  ],
  "magnitude_polar": [
    "2.4.2"
  ],
  "magnitude_rectangular": [
    "2.4.2"
  ],
  "make_center_percent": [
    "2.1.4"
  ],
  "make_center_width": [
    "2.1.4"
  ],
  "make_code_tree": [
    "2.3.4"
  ],
  "make_complex_from_mag_ang": [
    "2.5.1"
  ],
  "make_complex_from_real_imag": [
    "2.5.1"
  ],
  "make_frame": [
    "2.2.4"
  ],
  "make_from_mag_ang": [
    "2.4.2",
    "2.4.3"
  ],
  "make_from_mag_ang (message passing)": [
    "2.4.3"
  ],
  "make_from_mag_ang (polar representation)": [
    "2.4.1"
  ],
  "make_from_mag_ang (rectangular representation)": [
    "2.4.1"
  ],
  "make_from_mag_ang_polar": [
    "2.4.2"
  ],
  "make_from_mag_ang_rectangular": [
    "2.4.2"
  ],
  "make_from_real_imag": [
    "2.4.2",
    "2.4.3"
  ],
  "make_from_real_imag (message passing)": [
    "2.4.3"
  ],
  "make_from_real_imag (polar representation)": [
    "2.4.1"
  ],
  "make_from_real_imag (rectangular representation)": [
    "2.4.1"
  ],
  "make_from_real_imag_polar": [
    "2.4.2"
  ],
  "make_from_real_imag_rectangular": [
    "2.4.2"
  ],
  "make_interval": [
    "2.1.4"
  ],
  "make_leaf": [
    "2.3.4"
  ],
  "make_leaf_set": [
    "2.3.4"
  ],
  "make_point": [
    "2.1.2"
  ],
  "make_poly": [
    "2.5.3"
  ],
  "make_polynomial": [
    "2.5.3"
  ],
  "make_product": [
    "2.3.2"
  ],
  "make_python_number": [
    "2.5.1"
  ],
  "make_rat": [
    "2.1.1",
    "2.1.2"
  ],
  "make_rat (axiom for)": [
    "2.1.3"
  ],
  "make_rat (reducing to lowest terms)": [
    "2.1.1"
  ],
  "make_rational": [
    "2.5.1"
  ],
  "make_segment": [
    "2.1.2",
    "2.2.4"
  ],
  "make_sum": [
    "2.3.2"
  ],
  "make_term": [
    "2.5.3"
  ],
  "make_tree": [
    "2.3.3"
  ],
  "make_vect": [
    "2.2.4"
  ],
  "map": [
    "2.2.1"
  ],
  "map (as accumulation)": [
    "2.2.3"
  ],
  "mapping (as a transducer)": [
    "2.2.3"
  ],
  "mapping (nested)": [
    "2.2.3"
  ],
  "mapping (over linked lists)": [
    "2.2.1"
  ],
  "mapping (over trees)": [
    "2.2.2"
  ],
  "math_atan2": [
    "2.4.1"
  ],
  "math_round": [
    "2.5.2"
  ],
  "matrix, represented as sequence": [
    "2.2.3"
  ],
  "matrix_times_matrix": [
    "2.2.3"
  ],
  "matrix_times_vector": [
    "2.2.3"
  ],
  "max": [
    "2.1.4"
  ],
  "measure in a Euclidean ring": [
    "2.5.3"
  ],
  "member": [
    "2.3.1"
  ],
  "message passing": [
    "2.1.3",
    "2.4.3",
    "2.5"
  ],
  "midpoint_segment": [
    "2.1.2"
  ],
  "min": [
    "2.1.4"
  ],
  "mobile": [
    "2.2.2"
  ],
  "modularity": [
    "2.2.3"
  ],
  "modularity (through dispatching on type)": [
    "2.4.3"
  ],
  "mul": [
    "2.5.1"
  ],
  "mul (used for polynomial coefficients)": [
    "2.5.3"
  ],
  "mul_complex": [
    "2.4.1"
  ],
  "mul_interval": [
    "2.1.4"
  ],
  "mul_interval (more efficient version)": [
    "2.1.4"
  ],
  "mul_poly": [
    "2.5.3"
  ],
  "mul_rat": [
    "2.1.1"
  ],
  "mul_terms": [
    "2.5.3"
  ],
  "multiplicand": [
    "2.3.2"
  ],
  "multiplier (selector)": [
    "2.3.2"
  ],
  "notation in this book (box notation for data)": [
    "2.2.1"
  ],
  "notation in this book (linked list notation for data)": [
    "2.2.1"
  ],
  "number sign (\\texttt{\\#} for comments in programs)": [
    "2.2.3"
  ],
  "number(s) (equality of)": [
    "2.3.1"
  ],
  "number(s) (in generic arithmetic system)": [
    "2.5.1"
  ],
  "number_equal": [
    "2.3.2"
  ],
  "numer": [
    "2.1.1"
  ],
  "numer (axiom for)": [
    "2.1.3"
  ],
  "numer (reducing to lowest terms)": [
    "2.1.2"
  ],
  "object oriented programming languages": [
    "2.5.2"
  ],
  "operation (cross type)": [
    "2.5.2"
  ],
  "operation (generic)": [
    "2"
  ],
  "operation and type table": [
    "2.4.3"
  ],
  "optimality (of Horner's rule)": [
    "2.2.3"
  ],
  "optimality (of Huffman code)": [
    "2.3.4"
  ],
  "order": [
    "2.5.3"
  ],
  "ordered linked list representation of sets": [
    "2.3.3"
  ],
  "ordinary numbers (in generic arithmetic system)": [
    "2.5.1"
  ],
  "origin_frame": [
    "2.2.4"
  ],
  "overloaded operator +": [
    "2.1.1"
  ],
  "package": [
    "2.4.3"
  ],
  "package (Python number)": [
    "2.5.1"
  ],
  "package (complex number)": [
    "2.5.1"
  ],
  "package (polar representation)": [
    "2.4.3"
  ],
  "package (polynomial)": [
    "2.5.3"
  ],
  "package (rational number)": [
    "2.5.1"
  ],
  "package (rectangular representation)": [
    "2.4.3"
  ],
  "painter(s)": [
    "2.2.4"
  ],
  "painter(s) (higher order operations)": [
    "2.2.4"
  ],
  "painter(s) (operations)": [
    "2.2.4"
  ],
  "painter(s) (represented as functions)": [
    "2.2.4"
  ],
  "painter(s) (transforming and combining)": [
    "2.2.4"
  ],
  "pair": [
    "2.1.1"
  ],
  "pair (as linked list operation)": [
    "2.2.1"
  ],
  "pair (axiom for)": [
    "2.1.3"
  ],
  "pair (closure property of)": [
    "2.2"
  ],
  "pair (functional implementation of)": [
    "2.1.3"
  ],
  "pair(s)": [
    "2.1.1"
  ],
  "pair(s) (axiomatic definition of)": [
    "2.1.3"
  ],
  "pair(s) (box and pointer notation for)": [
    "2.2"
  ],
  "pair(s) (box notation for)": [
    "2.2.1"
  ],
  "pair(s) (functional representation of)": [
    "2.1.3"
  ],
  "pair(s) (used to represent sequence)": [
    "2.2.1"
  ],
  "pair(s) (used to represent tree)": [
    "2.2.2"
  ],
  "permutations of a set": [
    "2.2.3"
  ],
  "permutations of a set (permutations)": [
    "2.2.3"
  ],
  "picture language": [
    "2.2.4"
  ],
  "point, represented as a pair": [
    "2.1.2"
  ],
  "pointer (in box and pointer notation)": [
    "2.2"
  ],
  "polar": [
    "2.4.3"
  ],
  "poly": [
    "2.5.3"
  ],
  "polynomial": [
    "2.5.3"
  ],
  "polynomial arithmetic": [
    "2.5.3"
  ],
  "polynomial arithmetic (Euclid's Algorithm)": [
    "2.5.3"
  ],
  "polynomial arithmetic (addition)": [
    "2.5.3"
  ],
  "polynomial arithmetic (division)": [
    "2.5.3"
  ],
  "polynomial arithmetic (greatest common divisor)": [
    "2.5.3"
  ],
  "polynomial arithmetic (interfaced to generic arithmetic system)": [
    "2.5.3"
  ],
  "polynomial arithmetic (multiplication)": [
    "2.5.3"
  ],
  "polynomial arithmetic (probabilistic algorithm for GCD)": [
    "2.5.3"
  ],
  "polynomial arithmetic (rational functions)": [
    "2.5.3"
  ],
  "polynomial arithmetic (subtraction)": [
    "2.5.3"
  ],
  "polynomial(s)": [
    "2.5.3"
  ],
  "polynomial(s) (canonical form)": [
    "2.5.3"
  ],
  "polynomial(s) (dense)": [
    "2.5.3"
  ],
  "polynomial(s) (evaluating with Horner's rule)": [
    "2.2.3"
  ],
  "polynomial(s) (hierarchy of types)": [
    "2.5.3"
  ],
  "polynomial(s) (indeterminate of)": [
    "2.5.3"
  ],
  "polynomial(s) (sparse)": [
    "2.5.3"
  ],
  "polynomial(s) (univariate)": [
    "2.5.3"
  ],
  "prefix code": [
    "2.3.4"
  ],
  "prefix notation": [
    "2.3.2"
  ],
  "prefix notation (infix notation vs.)": [
    "2.3.2"
  ],
  "prime_sum_pairs": [
    "2.2.3"
  ],
  "principle of least commitment": [
    "2.4.2"
  ],
  "print_point": [
    "2.1.2"
  ],
  "print_rat": [
    "2.1.1"
  ],
  "probabilistic algorithm": [
    "2.5.3"
  ],
  "program (comments in)": [
    "2.2.3"
  ],
  "programming language (object oriented)": [
    "2.5.2"
  ],
  "pseudodivision of polynomials": [
    "2.5.3"
  ],
  "pseudoremainder of polynomials": [
    "2.5.3"
  ],
  "put": [
    "2.4.3"
  ],
  "puzzles (eight queens puzzle)": [
    "2.2.3"
  ],
  "python_number": [
    "2.5.1"
  ],
  "python_number_to_complex": [
    "2.5.2"
  ],
  "python_number_to_python_": [
    "2.5.2"
  ],
  "queens": [
    "2.2.3"
  ],
  "quotation marks (double)": [
    "2.3.1"
  ],
  "quotation marks (single)": [
    "2.3.1"
  ],
  "rational": [
    "2.5.1"
  ],
  "rational function": [
    "2.5.3"
  ],
  "rational function (reducing to lowest terms)": [
    "2.5.3"
  ],
  "rational number arithmetic": [
    "2.1.1"
  ],
  "rational number arithmetic (interfaced to generic arithmetic system)": [
    "2.5.1"
  ],
  "rational number arithmetic (need for compound data)": [
    "2"
  ],
  "rational number(s) (arithmetic operations on)": [
    "2.1.1"
  ],
  "rational number(s) (printing)": [
    "2.1.1"
  ],
  "rational number(s) (reducing to lowest terms)": [
    "2.1.1",
    "2.1.2"
  ],
  "rational number(s) (represented as pairs)": [
    "2.1.1"
  ],
  "real_part (data directed)": [
    "2.4.3"
  ],
  "real_part (polar representation)": [
    "2.4.1"
  ],
  "real_part (rectangular representation)": [
    "2.4.1"
  ],
  "real_part (with tagged data)": [
    "2.4.2"
  ],
  "real_part_polar": [
    "2.4.2"
  ],
  "real_part_rectangular": [
    "2.4.2"
  ],
  "record, in a data base": [
    "2.3.3"
  ],
  "rectangle, representing": [
    "2.1.2"
  ],
  "rectangular": [
    "2.4.3"
  ],
  "recursion (data directed)": [
    "2.5.3"
  ],
  "recursion (in working with trees)": [
    "2.2.2"
  ],
  "red black tree": [
    "2.3.3"
  ],
  "reducing to lowest terms": [
    "2.1.1",
    "2.1.2",
    "2.5.3"
  ],
  "ref": [
    "2.2.1"
  ],
  "remainder_terms": [
    "2.5.3"
  ],
  "remove": [
    "2.2.3"
  ],
  "resistance (formula for parallel resistors)": [
    "2.1.4"
  ],
  "resistance (tolerance of resistors)": [
    "2.1.4"
  ],
  "rest_terms": [
    "2.5.3"
  ],
  "reverse": [
    "2.2.1"
  ],
  "reverse (as folding)": [
    "2.2.3"
  ],
  "right_branch": [
    "2.3.3",
    "2.3.4"
  ],
  "right_split": [
    "2.2.4"
  ],
  "robustness": [
    "2.2.4"
  ],
  "rock songs, 1950s": [
    "2.3.4"
  ],
  "rotate90": [
    "2.2.4"
  ],
  "roundoff error": [
    "2.4.1"
  ],
  "scale_linked_list": [
    "2.2.1"
  ],
  "scale_tree": [
    "2.2.2"
  ],
  "scale_vect": [
    "2.2.4"
  ],
  "search (of binary tree)": [
    "2.3.3"
  ],
  "segments_to_painter": [
    "2.2.4"
  ],
  "selector": [
    "2.1"
  ],
  "selector (as abstraction barrier)": [
    "2.1.2"
  ],
  "selector (generic)": [
    "2.4.2"
  ],
  "separator code": [
    "2.3.4"
  ],
  "sequence(s)": [
    "2.2.1"
  ],
  "sequence(s) (as conventional interface)": [
    "2.2.3"
  ],
  "sequence(s) (as source of modularity)": [
    "2.2.3"
  ],
  "sequence(s) (operations on)": [
    "2.2.3"
  ],
  "sequence(s) (represented by pairs)": [
    "2.2.1"
  ],
  "set": [
    "2.3.3"
  ],
  "set (data base as)": [
    "2.3.3"
  ],
  "set (operations on)": [
    "2.3.3"
  ],
  "set (permutations of)": [
    "2.2.3"
  ],
  "set (represented as binary tree)": [
    "2.3.3"
  ],
  "set (represented as ordered linked list)": [
    "2.3.3"
  ],
  "set (represented as unordered linked list)": [
    "2.3.3"
  ],
  "set (subsets of)": [
    "2.2.2"
  ],
  "shrink_to_upper_right": [
    "2.2.4"
  ],
  "signal flow diagram": [
    "2.2.3"
  ],
  "signal processing view of computation": [
    "2.2.3"
  ],
  "simplification of algebraic expressions": [
    "2.3.2"
  ],
  "sparse polynomial": [
    "2.5.3"
  ],
  "split": [
    "2.2.4"
  ],
  "square_limit": [
    "2.2.4"
  ],
  "square_of_four": [
    "2.2.4"
  ],
  "squash_inwards": [
    "2.2.4"
  ],
  "start_segment": [
    "2.1.2",
    "2.2.4"
  ],
  "str": [
    "2.1.1"
  ],
  "stratified design": [
    "2.2.4"
  ],
  "string(s)": [
    "2.3",
    "2.3.1"
  ],
  "string(s) (concatenation)": [
    "2.1.1"
  ],
  "string(s) (equality of)": [
    "2.3.1"
  ],
  "structural equality": [
    "2.3.1"
  ],
  "sub": [
    "2.5.1"
  ],
  "sub_complex": [
    "2.4.1"
  ],
  "sub_interval": [
    "2.1.4"
  ],
  "sub_rat": [
    "2.1.1"
  ],
  "sub_vect": [
    "2.2.4"
  ],
  "subsets": [
    "2.2.2"
  ],
  "subtype": [
    "2.5.2"
  ],
  "subtype (multiple)": [
    "2.5.2"
  ],
  "sum_odd_squares": [
    "2.2.3"
  ],
  "supertype": [
    "2.5.2"
  ],
  "supertype (multiple)": [
    "2.5.2"
  ],
  "symbol_leaf": [
    "2.3.4"
  ],
  "symbolic algebra": [
    "2.5.3"
  ],
  "symbolic differentiation": [
    "2.3.2",
    "2.4.3"
  ],
  "symbolic expression": [
    "2"
  ],
  "symbols": [
    "2.3.4"
  ],
  "table (for coercion)": [
    "2.5.2"
  ],
  "table (for data directed programming)": [
    "2.4.3"
  ],
  "tagged data": [
    "2.4.2"
  ],
  "tail": [
    "2.1.1"
  ],
  "tail (as linked list operation)": [
    "2.2.1"
  ],
  "tail (axiom for)": [
    "2.1.3"
  ],
  "tail (functional implementation of)": [
    "2.1.3"
  ],
  "term list of polynomial": [
    "2.5.3"
  ],
  "term list of polynomial (representing)": [
    "2.5.3"
  ],
  "term_list": [
    "2.5.3"
  ],
  "the_empty_termlist": [
    "2.5.3"
  ],
  "tower of types": [
    "2.5.2"
  ],
  "transform_painter": [
    "2.2.4"
  ],
  "transpose": [
    "2.2.3"
  ],
  "tree (B tree)": [
    "2.3.3"
  ],
  "tree (Huffman)": [
    "2.3.4"
  ],
  "tree (binary)": [
    "2.3.3"
  ],
  "tree (counting leaves of)": [
    "2.2.2"
  ],
  "tree (enumerating leaves of)": [
    "2.2.3"
  ],
  "tree (fringe of)": [
    "2.2.2"
  ],
  "tree (mapping over)": [
    "2.2.2"
  ],
  "tree (red black)": [
    "2.3.3"
  ],
  "tree (represented as pairs)": [
    "2.2.2"
  ],
  "tree (reversing at all levels)": [
    "2.2.2"
  ],
  "tree_map": [
    "2.2.2"
  ],
  "tree_to_linked_list_": [
    "2.3.3"
  ],
  "trigonometric relations": [
    "2.4.1"
  ],
  "type tag": [
    "2.4",
    "2.4.2"
  ],
  "type tag (two level)": [
    "2.5.1"
  ],
  "type(s) (cross type operations)": [
    "2.5.2"
  ],
  "type(s) (dispatching on)": [
    "2.4.3"
  ],
  "type(s) (hierarchy in symbolic algebra)": [
    "2.5.3"
  ],
  "type(s) (hierarchy of)": [
    "2.5.2"
  ],
  "type(s) (lowering)": [
    "2.5.2"
  ],
  "type(s) (multiple subtype and supertype)": [
    "2.5.2"
  ],
  "type(s) (raising)": [
    "2.5.2"
  ],
  "type(s) (subtype)": [
    "2.5.2"
  ],
  "type(s) (supertype)": [
    "2.5.2"
  ],
  "type(s) (tower of)": [
    "2.5.2"
  ],
  "type_tag": [
    "2.4.2"
  ],
  "type_tag (using Python data types)": [
    "2.5.1"
  ],
  "union_set": [
    "2.3.3"
  ],
  "union_set (binary tree representation)": [
    "2.3.3"
  ],
  "union_set (ordered linked list representation)": [
    "2.3.3"
  ],
  "union_set (unordered linked list representation)": [
    "2.3.3"
  ],
  "unique_pairs": [
    "2.2.3"
  ],
  "unit square": [
    "2.2.4"
  ],
  "univariate polynomial": [
    "2.5.3"
  ],
  "unordered linked list representation of sets": [
    "2.3.3"
  ],
  "up_split": [
    "2.2.4"
  ],
  "upper_bound": [
    "2.1.4"
  ],
  "variable": [
    "2.5.3"
  ],
  "variable length code": [
    "2.3.4"
  ],
  "vector (mathematical) (in picture language frame)": [
    "2.2.4"
  ],
  "vector (mathematical) (operations on)": [
    "2.2.3",
    "2.2.4"
  ],
  "vector (mathematical) (represented as pair)": [
    "2.2.4"
  ],
  "vector (mathematical) (represented as sequence)": [
    "2.2.3"
  ],
  "walking down a linked list with tail": [
    "2.2.1"
  ],
  "weight": [
    "2.3.4"
  ],
  "weight_leaf": [
    "2.3.4"
  ],
  "width": [
    "2.1.4"
  ],
  "width of an interval": [
    "2.1.4"
  ],
  "wishful thinking": [
    "2.1.1",
    "2.3.2"
  ],
  "xcor_vect": [
    "2.2.4"
  ],
  "ycor_vect": [
    "2.2.4"
  ],
  "zero test (generic)": [
    "2.5.1"
  ],
  "zero test (generic) (for polynomials)": [
    "2.5.3"
  ]
}