Kurt,
I have just pushed the changes necessary to make this all build from
source. This forced a few name changes (avoiding * + and /\ in
constructor names).
On 12 February 2017 at 13:05, Kurt Pagani <nil...@gmail.com> wrote:
> 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"
>
No I did not get this error.
File summary.
unexpected failures: 0
expected failures: 0
unexpected passes: 0
total tests: 41
Type: Void
(28) -> )lisp (lisp-implementation-version)
Value = "1.3.11"
>
>> 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).
>
(28) -> (1+2 = 3)$Symbolic(Integer,None)
(28) false
Type: Boolean
:)
--
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.
