Thank you Martin, for giving an outline of the algorithm. I must say, since there is no mathematical proof of its correctness, I am still a bit away from actually understanding what is going on. (To be honest I have not invested much time yet.)
Anyway, your input probably helps me to eventually get the picture. Thank you. 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
