# Retrieve

The function described here restores an element of a coproduct to its original state.

## `Retrieve(x): CopElt -> Elt`

Given an element $x$ of some coproduct $C$, return the element as an element of the structure that formed its parent before it was mapped into $C$.

## `Example: cop (ex-13536c)`

We illustrate basic uses of the coproduct constructors and functions.

```magma
> C := cop<IntegerRing(), Strings()>;
> x := C ! 5;
> y := C ! "abc";
> x;
5
> y;
abc
> Parent(x);
Coproduct<Integer Ring, String structure>
> x eq 5;
true
> x eq y;
false
> Retrieve(x);
5
> Parent(Retrieve(x));
Integer Ring

```