On Sun, Oct 26, 2008 at 8:58 PM, Ralf Hemmecke wrote: > >> Sorry, I think I miscommunicated a little. What I wanted to say is that >> I want >> >> x = interpret(convert(x)@INFORM) >> >> to hold always. (= would be the equality exported by the domain in >> question) > > What type would > > interpret(convert(1)@INFORM) > > have? > > Here some choices: > Integer > PositiveInteger > Polynomial Integer > unit square matrix of size n. Which n? > any domain D of type Ring > ... >
All of the above! The type of interpret is InputForm -> Any The interpreter finds a coercion from Any to whatever the type of x happens to be. This can also be written as an explicit package call: x = interpret(convert(x)@InputForm)$INFORM1(typeOf x) Regards, Bill Page. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
