Kurt, I just push a bunch of changes to
https://github.com/billpage/fricas/tree/symbolic-expressions I have added your testsuite as src/input/sexpr2.input (with a few minor changes). Currently all tests pass but of course this is still very preliminary. Now that you have set this up for me probably what I should do is start expanding the tests significantly. The 'assert' operations that are evaluated when a new Symbolic domain is instantiated cover the basic functionality of individual rewrite rules but one should still expect many possible interactions. One note: I integrated some verbose output with the )set message testing on option. This has proven quite useful for debugging. But I am not quite sure how the 'testing' option is really intended to be used with FriCAS. I also need to take stock of where this is at so far and more clearly define where it should go. As usual I would be very happy to receive suggestions and questions. Thanks. Bill Page. On 10 February 2017 at 19:08, Kurt Pagani <nil...@gmail.com> wrote: > Am 10.02.2017 um 16:38 schrieb Bill Page: >> Oh and BTW, thanks very much for setting up a sensible testsuite. :) > > I have to learn the correct usage of Unittest anyway ;) > >> With your permission I would like to add it to the development branch. >> If you have time I would be happy for a pull request or I could just >> push what you attached to the email. > > Yes, please push it and make any use of it. It also may serve to check what's > already achieved. > > Kurt > > > > -- > 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 fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
