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.

> 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