Hello.
On the occasion of a new release I wonder if there is a remedy for the
following minor flaw:
$ fricas -nosman
Checking for foreign routines
AXIOM="/opt/fricas/lib/fricas/target/i686-pc-cygwin"
spad-lib="/opt/fricas/lib/fricas/target/i686-pc-cygwin/lib/libspad.so"
foreign routines found
openServer result -2
FriCAS Computer Algebra System
Version: FriCAS 1.2.3
Timestamp: Wed, May 07, 2014 3:39:04 PM
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> f(1) == 1
Type:
Void
(2) -> f(x) == x*f(x-1)
Type:
Void
(3) -> f(8)
Compiling function f with type Integer -> Integer
Compiling function f as a recurrence relation.
(3) 40320
Type:
PositiveInteger
(4) -> f(n)
Compiling function f with type Polynomial(Integer) -> Polynomial(
Integer)
Compiling function f with type Polynomial(Integer) -> Polynomial(
Integer)
Compiling function f with type Variable(n) -> Polynomial(Integer)
*** - Lisp stack overflow. RESET
[/usr/src/clisp/clisp-2.48-3/src/clisp-2.48/src/eval.d:573] reset() found
no driver frame (sp=0x133abe0-0x1334e90)
Floating point exception (Speicherabzug geschrieben)
==============
while on Ubuntu one gets:
kfp@ubuntux:~$ fricas -nosman
Checking for foreign routines
AXIOM="/usr/local/lib/fricas/target/i686-pc-linux"
spad-lib="/usr/local/lib/fricas/target/i686-pc-linux/lib/libspad.so"
foreign routines found
openServer result -2
FriCAS Computer Algebra System
Version: FriCAS 1.2.3
Timestamp: Fri May 2 15:18:33 GMT 2014
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> f(1) == 1
Type:
Void
(2) -> f(x) == x*f(x-1)
Type:
Void
(3) -> f(8)
Compiling function f with type Integer -> Integer
Compiling function f as a recurrence relation.
(3) 40320
Type:
PositiveInteger
(4) -> f(n)
Compiling function f with type Polynomial(Integer) -> Polynomial(
Integer)
Compiling function f with type Polynomial(Integer) -> Polynomial(
Integer)
Compiling function f with type Variable(n) -> Polynomial(Integer)
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.
(4) ->
I assume it's CLISP that can't handle the case? It would be desirable to
avoid such a ''crash'. I find it strange that it occurs even when f is
fully declared (.e.g. PositiveInteger).
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
