# Accessing Functions

## `Injections(C): Cop -> [ Map ]`

Given a coproduct $C$, return the sequence of injection maps returned as the second argument from the `cop<>` constructor.

## `# C: Cop -> RngIntElt`

Given a coproduct $C$, return the length (number of constituents) of $C$.

## `Constituent(C, i): Cop, RngIntElt -> Str`

Given a coproduct $C$ and an integer $i$ between 1 and the length of $C$, return the $i$-th constituent of $C$.

## `Index(x): CopElt -> RngIntElt`

Given an element $x$ from a coproduct $C$, return the constituent number of $C$ to which $x$ belongs.