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.
I'm not sure whether that helps, but maybe you have to say something like
foo := operator 'foo
and look into ES for more about manipulation.
You can certainly build you own expression tree domain for your
manipulations.
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.
