Attached are files that illustrate the items below. If no one objects
or corrects me I will file a bug report.
It's possible my book is incorrect.
)read test.input
Be aware that this erases the old test.log so if you want to save
previous results, rename them.
----
This item just adds to confusion
The book (?) says that
)trace )off
Kills all tracing
The attached files show that this is not presently happening
)trace name )off
stops tracing name but not other traces
In other words the tracing has to be done function by function; presently.
---
In addition
One can't trace a function until it's compiled; i.e. called once.
Which might be too late :)
Ray
On 07/15/2018 12:12 AM, oldk1331 wrote:
On Sun, Jul 15, 2018 at 10:58 AM, Raymond Rogers
<[email protected]> wrote:
Hi, Since there is a certain flakiness that occurs in my system. I decided
to check the installation. The compile configuration picked up sbcl 1.4.5;
but I get this error during program runs involving tracing:
System error:
The function BOOT::/UNTRACE-2 is undefined.
I recompiled and have the make file output, and, in fact, it has UNTRACE-2
as undefined. Does this indicate I have a bad lisp or some such?
It seems this function is indeed undefined, so not a lisp problem.
Can you describe how to trigger this error?
I have attached some test files that are also mysterious to me. But minor
changes change the errors and such so a large part is probably my ignorance;
sort of like quantum mechanics, the bugs are dead and alive.
In your attached file, there is an error in
facc(n) == if n < 3 then n else n * fac (n - 1)
it should be "facc" instead of "fac", is that intentional?
Misc
Startup:
viewman not present, disabling graphics
/bin/sh: 1: exec:
/usr/local/lib/fricas/target/x86_64-linux-gnu/bin/hypertex: not found
Checking for foreign routines
AXIOM="/usr/local/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/usr/local/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"
foreign routines found
openServer result 0
FriCAS Computer Algebra System
Version: FriCAS 1.3.4
Timestamp: Sat Jul 14 18:19:47 EDT 2018
System:
Ubuntu
Release 16.04.4 LTS (Xenial Xerus) 64-bit
Kernel Linux 4.4.0-130-generic x86_64
MATE 1.12.1
Oh yes, I am more that willing to change Lisp's or admit to errors.
Although being constructive is appreciated.
Ray
--
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.
4*5
(1) 20
Type: PositiveInteger
)r trace_reset
output("hi there")
hi there
Type: Void
test_sub(p) ==
output("tested")
p^2
Type: Void
--
facc(n) == if n < 3 then n else n * facc (n - 1)
Type: Void
facc(4)
Compiling function facc with type Integer -> Integer
(5) 24
Type: PositiveInteger
)trace test_sub
test_sub is not a function
Nothing is traced now.
test_sub(4)
Compiling function test_sub with type PositiveInteger ->
PositiveInteger
tested
(6) 16
Type: PositiveInteger
)trace test_sub
Function traced: test_sub
)trace facc
Functions traced: test_sub facc
test_sub(3)
tested
(7) 9
Type: PositiveInteger
)trace )off
Functions traced: test_sub facc
)trace
Functions traced: test_sub facc
)trace test_sub )off
Function traced: facc
)trace
Function traced: facc
)trace facc )off
Nothing is traced now.
output("passed")
passed
Type: Void
)spool
)system rm test.log
)spool test.log
4*5
)r trace_reset
facc(4)
)trace test_sub
test_sub(4)
)trace test_sub
)trace facc
test_sub(3)
)trace )off
)trace
)trace test_sub )off
)trace
)trace facc )off
output("passed")
)spool
output("hi there")
test_sub(p) ==
output("tested")
p^2
--
facc(n) == if n < 3 then n else n * facc (n - 1)
