I have made quite a lot of progress on my original proposal to use the InputForm domain as a basis for the implementation of symbolic expressions that resemble the Expression domain but remain unsimplified except where specified or until specifically requested.
See the experimental code here: http://axiom-wiki.newsynthesis.org/SandBoxSymbolicExpressions A simple computation using patterns in trigonometric symbolic expressions as discussed on another recent email chain on this list is shown in http://axiom-wiki.newsynthesis.org/SandBoxSymbolicTrig There is more testing and considerably more work to do before I would consider this complete. And of course I need to spend some time on documentation for which your comments and questions would be invaluable. I would be very happy to receive criticisms, comments and suggestions. -- 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.
