> 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 ... Ralf --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
