Hi, The domain Integer, starting from OpenAxiom-1.4.2, will no longer satisfy the category `ConvertibleTo String'. That convertibility existed only to allow writing `convert(i)@String' for an integer `i'. That looks at best misguided. Rather, please use the function
string: Integer -> % from String that has always existed. -- Gaby ------------------------------------------------------------------------------ Get a FREE DOWNLOAD! and learn more about uberSVN rich system, user administration capabilities and model configuration. Take the hassle out of deploying and managing Subversion and the tools developers use with it. http://p.sf.net/sfu/wandisco-dev2dev _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel