Re: [Axiom-mail] Spad and inductive types

[Ralf Hemmecke]

> > By the way. Today I have learned how to include an integer
> > into the "left" or "right" part of Union(left: Integer, right: 
> > Integer). There appears only an example in the AUG, but not a formal
> > description.
>
> Please tell. I missing the example. I think this is quite important.

That should have been an exercise to read my mails carefully. ;-)

http://lists.nongnu.org/archive/html/axiom-mail/2007-05/msg00015.html

My first attempt of the file aaa.as (without extend) contained the lines

    MkAdd(x: %, y: %): % == per [Mkadd == [x, y]];
    MkMul(x: %, y: %): % == per [Mkmul == [x, y]];
-- The following two lines work but I haven't found them documented.
-- For the above version see AUG.pdf p. 145.
--    MkAdd(x: %, y: %): % == per union([x, y], Mkadd);
--    MkMul(x: %, y: %): % == per union([x, y], Mkmul);

I found out about the commented version from a compiler message. The 
compiler complained about having two "union" functions available and 
both took two arguments. So I simply tried that out.

That way is, however, not documented in the AUG. (Which means I was 
unable to find it.)

Ralf