Coproducts

• Introduction
• Creation Functions
  • Creation of Coproducts
    • cop< S₁, S₂, ..., Sₖ >: Str, Str, ... → Cop, [ Map ]
    • cop< [ S₁, S₂, ..., Sₖ ] >: [ Str, Str, ... ] → Cop, [ Map ]
  • Creation of Coproduct Elements
    • m(e): Map, Elt → CopElt
    • C ! e: Cop, Elt → CopElt
• Accessing Functions
  • Injections(C): Cop → [ Map ]
  • # C: Cop → RngIntElt
  • Constituent(C, i): Cop, RngIntElt → Str
  • Index(x): CopElt → RngIntElt
• Retrieve
  • Retrieve(x): CopElt → Elt
  • Example: cop
• Flattening
  • Flat(C): Cop → Cop
• Universal Map
  • UniversalMap(C, S, [ n₁, ..., nₘ ]): Cop, Str, [ Map ] → Map