Example Cop_cop (H15E1)

We illustrate basic uses of the coproduct constructors and functions.

> 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

---

[Next][Prev] [Right] [Left] [Up] [Index] [Root]