On 06/08/2007 08:59 PM, Martin Rubey wrote:
> Dear Ralf,
> I continued to work on the multisort species, but now I have the following
> design problem:
> a crucial step in producing the isomorphism types for the composition FoG is
> to
> produce a multiset of isomorphismtypes of G, each structure having the same
> cardinality.
I cannot quite follow. What is an "isomorphismtype" for you? Earlier and
also in your branch iso-experiments you do not use my view that
isomorphismtypes should be represented as representatives of eqivalence
classes. So not knowing which view you take I cannot say something precise.
> For example, suppose we are given labels {1,2} and {3,4},
Do you want to say {1,2} is *one* label?
Sorry, but I don't understand your mail. Maybe we should discuss this on
Wednesday.
Ralf
-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
