Re: [open-axiom-devel] Cartesian Product, was: Re: A little print problem

> For Alasdair, not even that's necessary.  What would be nice would be Cross as
> in Aldor.  Well, in fact, it would be nice to have Aldor replace SPAD...

Although it would be nice to have Aldor replace SPAD (as a language), 
why don't you use Record as a workaround? You can easily produce your 
own domain that models

   Integer x F

Record(i: Integer, f: F)

would be the right thing.

Actually (at least in Aldor) that cannot be printed, but to go around 
this, simply wrap this Record with a definition of a new domain, that 
has the property "CoercibleTo(OutputForm)" and implement that coerce nicely.

Of course, that is some work, but "Cross" wouldn't help here anyway.

Ralf