COPRODUCTS

DETAILS

 
Introduction

 
Creation Functions

      Creation of Coproducts
            cop< S₁, S₂, ..., S_k > : 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_cop (H14E1)

 
Flattening
      Flat(C) : Cop -> Cop

 
Universal Map
      UniversalMap(C, S, [ n₁, ..., n_m ]) : Cop, Str, [ Map ] -> Map

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Wed Apr 24 15:09:57 EST 2013