On Thu, Mar 17, 2011 at 07:23:46PM -0400, Bill Page wrote: > Could you give an example of defining Expression over a domain where > "nothing interesting is known"? I tried several things but so far I > have been unable to produce an example of a value in such a domain. perhaps not related to this, but anyways: Is it possible to 'encapsulate' other domains in Expression Integer? I would like to have formal expressions foo(b,a,r) where foo is a formal operator and b,a,r are elements of some domain (in my case, a group or monoid). I would like to manipulate expressions involving these and at the end be able to extract the group elements. Currently I am converting to OutputForm -> String -> Symbol, but this way the type information is lost.
best regards, Franz -- 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.
