Re: [fricas-devel] )trace )stats reset -- abort s xx.input?
On Sun, Jul 15, 2018 at 10:58 AM, Raymond Rogers 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 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.
Re: [fricas-devel] )trace )stats reset -- abort s xx.input?
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?
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.
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
On 07/14/2018 04:04 AM, oldk1331 wrote:
Hi, can you make a simpler reproducible example?
I'm not sure about what you are describing.
--
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.
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 * fac (n - 1)
Type: Void
facc(4)
There are no library operations named fac
Use HyperDoc Browse or issue
)what op fac
to learn if there is any operation containing " fac " in its
name.
Cannot find a definition or applicable library operation named fac
with argument type(s)
Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
FriCAS will attempt to step through and interpret the code.
There are no library operations named fac
Use HyperDoc Browse or issue
)what op fac
to learn if there is any operation containing " fac " in its
name.
Cannot find a definition or applicable library operation named fac
with argument type(s)
PositiveInteger
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(5) -> )spool test.log
4*5
)r trace_reset
facc(4)
)trace test_sub
test_sub(4)
)trace )reset
output("passed")
)spool
output("hi there")
test_sub(p) ==
output("tested")
p^2
--
facc(n) == if n < 3 then n else n * fac (n - 1)
Re: [fricas-devel] )trace )stats reset -- abort s xx.input?
Hi, can you make a simpler reproducible example? I'm not sure about what you are describing. -- 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.
Re: [fricas-devel] Re: System error: The value |RandomFloatDistributions| is not of type SEQUENCE
Hi, the root problem is that you defined function inside function, the following simple example won't work: f2 : () -> Float f2()== f3 == 3.0 f3() Sadly that FriCAS has suffered from the "variable scope" and "proper closure" problem for a long time. -- 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.
