On Fri, Mar 18, 2011 at 10:42:10AM +0100, Ralf Hemmecke wrote: > >In other words, Symbols carrying information inside. > > You cannot have Symbol, because you cannot sensibly hide information > in there. Yes, that's why I want a domain which is accepted by Expression Integer and behaves like Symbol, yet contains more information. For example, Let $x_i$ be elements of a FreeMonoid, $f$ and $g$ formal operators and consider an expression like $$ f(x_1 x_2 x_1) g(x_3 x_4) + f(x_1) g(x_3) + ... $$ How can I extract all terms where a word of length three appears as argument of $f$?
In fact a polynomial ring would be enough at the moment, but I didn't even figure out how to do that yet. 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.
