>> As I understand BLL, we should rather consider (extend AC to) weighted >> species. That is how you get your substitutions. Am I wrong? > > No, I don't think so, but to be honest, I don't know. In any case, we cannot > start yet another project. multisort is difficult enough, and in any case far > more important than weights.
I just wanted to say, that instead of restricting to symmetric functions, I would rather implement the concept of weighted species. Later (than multisort), of course, but I think, it is useful, too. 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
