Thank you, works fine!
One (unrelated) failure is:
testEquals("variables(sin(x*y)+2*z)","[x,y,z]")
INFO: Control stack guard page unprotected
Control stack guard page temporarily disabled: proceed with caution
>> System error:
Control stack exhausted (no more space for function call frames).
This is probably due to heavily nested or infinitely recursive function
calls, or a tail call that SBCL cannot or has not optimized away.
PROCEED WITH CAUTION.
This is strange insofar as it works without testEquals (previous command).
Did you also get this error or is it related to the SBCL version?
Value = "SBCL"
)lisp (lisp-implementation-version)
Value = "1.3.0"
> I also need to take stock of where this is at so far and more clearly
> define where it should go.
Yes, of course. I think this will show up as soon as we try applying it to
real world problems.
Syntactic unification, for instance, requires that certain expressions
remain unevaluated, so this works very well so far. Up to now it was
difficult to prevent certain simplifications (like 1+2 <> 3 syntactically).
Kurt
On Saturday, 11 February 2017 21:59:41 UTC+1, Bill Page wrote:
>
> 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 <javascript:>>
> 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...@googlegroups.com <javascript:>.
> > To post to this group, send email to fricas...@googlegroups.com
> <javascript:>.
> > 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.
