Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Have you ever tried to use the search facility on sourceforge or gmane.org?
Yes, but I couldn't find it still
> Look at
>
> macro MSPECIES==(L: Tuple LabelType)->MultisortSpeciesCategory L;
> FunctorialCompose(
> F: MSPECIES,
> G: Tuple MSPECIES
> )(L: Tuple LabelType): MultisortSpeciesCategory L == add {
> Rep == F(G1(L), G2(L), ..., Gn(L));
> ...
> }
>
> and you will realise that even if you start with just one LabelType, after
> Functorial composition with different Gi, you arrive at different things.
Yes, thanks. So here is what I did yesterday night:
I played around with things like Tuple Cross(T: PrimitiveType, List T) and
couldn't get it to work. I believe that is due to the fact that Tuples are not
updateable, as the AUG says, and that makes sense, too.
So, today morning I thought:
We really want to be able to "see" the "arity" (is this the right term?) of our
multisort species, since, for Plus, Times, Composition and Functorial
Composition and in fact all transformations there are compatibility
restrictions on the arity.
So, maybe we want something like
MSPECIES(k: PositiveInteger) ==
(L: DirectProduct(k, LabelType)) -> MultiSortSpeciesCategory(L, ???)
and then, for example,
FunctorialCompose(m: PositiveInteger, F: MSPECIES m,
k: PositiveInteger, G: DirectProduct(m, MSPECIES k))
(L: DirectProduct(k, LabelType)): MultiSortSpeciesCategory(L, ???) == add {
Rep == F G
...
}
Of course, I don't know yet whether this would work...
Martin
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
