Suppose I have a union
U ==> Union(elem: T, oppo :T)
with the meaning that oppo represents a concept of "opposite".
According to page 145 of the aldor user guide
==============
-- This import causes both union branches to be ‘Integer’.
import from MyType(Integer, Integer);
fun [coef == 7];
fun [expon == 7];
==============
I would be able to create an element that lives in the elem or oppo side
of the union U.
How can I do that in SPAD?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/db922425-096d-489e-8769-fc46fd223d96%40hemmecke.org.
