Hi Marduk, now it becomes a bit clearer to me what you want to achieve.
I don't know whether you have already looked at http://axiom-wiki.newsynthesis.org/ExampleSkewPolynomial That is probably not exactly what you want, but maybe from there you can see how you can implement the type of operators that you have in mind. Additionally. just a hint. If you tend to use expressions and maybe the "rule" and "ruleSet" facilities, then I would claim that you use FriCAS just as a symbolic manipulator and this is (in a sense) exactly what other CAS do that have just ONE type, namely an expression tree. As you have already noticed, FriCAS is fundamentally different. You have a type for every specific domain. You must change your mindset away from just expression tree manipulation. The right way for FriCAS is to think about what the algebraic structure of your operator algebra is and then program a domain for it. Now you might have the chance that other people have already done that for you, otherwise, it is usually not too hard to program such a domain yourself. Have you searched for "Lie" at http://fricas.github.io/api/search.html?q=LIe&check_keywords=yes&area=default I find http://fricas.github.io/api/AssociatedLieAlgebra or http://fricas.github.io/api/FreeLieAlgebra.html Perhaps that might help. Otherwise provide the exact algebraic structure that you want to compute with. FriCAS is quite powerful by putting the pieces together. It is, however, usually not that easy to fin the right components that one need for a problem. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
