Re: [fricas-devel] )trace )stats reset -- abort s xx.input?
On Sun, Jul 15, 2018 at 6:37 PM, Bill Page wrote: > > It seems that UNTRACE-2 was replaced by untrace2 in this commit > > https://github.com/fricas/fricas/commit/546108f1b65acadc38fc7d243b1b29770b6a770a > > https://github.com/fricas/fricas/blame/546108f1b65acadc38fc7d243b1b29770b6a770a/src/interp/trace.boot#L387 > > but apparently this reference to UNTRACE-2 was missed. > > > On Sun, Jul 15, 2018 at 5:31 PM, Raymond Rogers > wrote: >> >> Found the call to UNTRACE-2 >> Overall examining make.lst is pretty depressing. If nobody is going to fix >> (or explain) this then I will try another lisp. I don't think there is anything wrong with your lisp or with your compiled version of FriCAS. Here is a patch for the UNTRACE-2 problem: -- diff --git a/src/interp/slam.boot b/src/interp/slam.boot index 3787ae0d..26208d5b 100644 --- a/src/interp/slam.boot +++ b/src/interp/slam.boot @@ -288,7 +288,7 @@ mkCacheVec(op,nam,kind,resetCode,countCode) == clearCache x == get(x,'localModemap,$e) or get(x,'mapBody,$e) => for [map,:sub] in $mapSubNameAlist repeat - map=x => _/UNTRACE_-2(sub,NIL) + map=x => untrace2(sub,[]) $e:= putHist(x,'localModemap,nil,$e) $e:= putHist(x,'mapBody,nil,$e) $e:= putHist(x,'localVars,nil,$e) -- You did not say specifically what you did to cause the error message (maybe something like ')clear completely' or something like that?) so I could not verify the fix. But at least it no longer issues that message. >> .. >> It would seem that whatever decides to compile functions missed this call. It was just an oversight. >> Other uncompiled functions from make.lst >> >> ; compilation unit finished >> ; Undefined functions: >> ; /UNTRACE-2 COPY EQSUBSTLIST GENVAR HKEYS INTERNL LASSOC LIST2REFVEC >> MKQ |NRTisRecurrenceRelation| SETDIFFERENCE STRINGIMAGE |bright| >> |compQuietly| |eval| |get| |keyedSystemError| >> |makeInternalMapMinivectorName| |mkAuxiliaryName| |mkCacheName| |pp| |put| >> |putHist| |sayBrightlyI| |sayKeyedMsg| |startTimingProcess| >> |stopTimingProcess| |substitute| |throwKeyedMsg| |timedOptimization| >> ; Undefined variables: >> ; |$InteractiveMode| |$TriangleVariableList| |$cacheAlist| |$cacheCount| >> |$compileRecurrence| |$compiledOpNameList| |$compilingInputFile| |$e| >> |$failed| |$functorDependencyAlist| |$mapSubNameAlist| |$minivector| >> |$minivectorCode| |$minivectorNames| |$reportCompilation| >> ; caught 19 WARNING conditions >> ; caught 46 STYLE-WARNING conditions >> ; printed 3 notes >> As far as I can see only the first one was really a missing function. The others are just defined in other source files. > ... >> On 07/15/2018 12:12 AM, oldk1331 wrote: >>> >>> It seems this function is indeed undefined, so not a lisp problem. >>> Can you describe how to trigger this error? >>> -- 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: TEXmacs as interface
Hi Slawomir, TeXmacs 1.0.7.18 was released 5 years ago, you should try more recent version, like 1.99.7. -- 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?
It seems that UNTRACE-2 was replaced by untrace2 in this commit
https://github.com/fricas/fricas/commit/546108f1b65acadc38fc7d243b1b29770b6a770a
https://github.com/fricas/fricas/blame/546108f1b65acadc38fc7d243b1b29770b6a770a/src/interp/trace.boot#L387
but apparently this reference to UNTRACE-2 was missed.
On Sun, Jul 15, 2018 at 5:31 PM, Raymond Rogers
wrote:
> Found the call to UNTRACE-2
> Overall examining make.lst is pretty depressing. If nobody is going to
> fix (or explain) this then I will try another lisp.
> Of course,
>
> -
> Fricas 1.3.4
>
> sbcl 1.4.5
>
>
> src/interp/slam.clisp: ((EQUAL |map| |x|) (IDENTITY
> (/UNTRACE-2 |sub| NIL)))
> Context:
>
> clearCache x ==
> get(x,'localModemap,$e) or get(x,'mapBody,$e) =>
> for [map,:sub] in $mapSubNameAlist repeat
> map=x => _/UNTRACE_-2(sub,NIL)
> $e:= putHist(x,'localModemap,nil,$e)
> $e:= putHist(x,'mapBody,nil,$e)
> $e:= putHist(x,'localVars,nil,$e)
> sayKeyedMsg("S2IX0007",[x])
>
> It would seem that whatever decides to compile functions missed this call.
> Other uncompiled functions from make.lst
>
> ; compilation unit finished
> ; Undefined functions:
> ; /UNTRACE-2 COPY EQSUBSTLIST GENVAR HKEYS INTERNL LASSOC LIST2REFVEC
> MKQ |NRTisRecurrenceRelation| SETDIFFERENCE STRINGIMAGE |bright|
> |compQuietly| |eval| |get| |keyedSystemError| |makeInternalMapMinivectorName|
> |mkAuxiliaryName| |mkCacheName| |pp| |put| |putHist| |sayBrightlyI|
> |sayKeyedMsg| |startTimingProcess| |stopTimingProcess| |substitute|
> |throwKeyedMsg| |timedOptimization|
> ; Undefined variables:
> ; |$InteractiveMode| |$TriangleVariableList| |$cacheAlist|
> |$cacheCount| |$compileRecurrence| |$compiledOpNameList|
> |$compilingInputFile| |$e| |$failed| |$functorDependencyAlist|
> |$mapSubNameAlist| |$minivector| |$minivectorCode| |$minivectorNames|
> |$reportCompilation|
> ; caught 19 WARNING conditions
> ; caught 46 STYLE-WARNING conditions
> ; printed 3 notes
>
>
>
>
> Ray
>
>
>
> On 07/15/2018 12:12 AM, oldk1331 wrote:
>
>> 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?
>>
>>
>>
> --
> 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.
>
--
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.
[fricas-devel] fricas-commit
Hmmm... strange, fricas-com...@googlegroups.com seems to be unreliable. The latest commit-message there is r2494 although we are currently at r2496. But also the sourceforge mails seem to be unreliable. The latest I got was r2495 from FriCAS SVN repository Is sourceforge again having problems? Ralf -- 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?
Found the call to UNTRACE-2
Overall examining make.lst is pretty depressing. If nobody is going to
fix (or explain) this then I will try another lisp.
Of course,
-
Fricas 1.3.4
sbcl 1.4.5
src/interp/slam.clisp: ((EQUAL |map| |x|) (IDENTITY
(/UNTRACE-2 |sub| NIL)))
Context:
clearCache x ==
get(x,'localModemap,$e) or get(x,'mapBody,$e) =>
for [map,:sub] in $mapSubNameAlist repeat
map=x => _/UNTRACE_-2(sub,NIL)
$e:= putHist(x,'localModemap,nil,$e)
$e:= putHist(x,'mapBody,nil,$e)
$e:= putHist(x,'localVars,nil,$e)
sayKeyedMsg("S2IX0007",[x])
It would seem that whatever decides to compile functions missed this call.
Other uncompiled functions from make.lst
; compilation unit finished
; Undefined functions:
; /UNTRACE-2 COPY EQSUBSTLIST GENVAR HKEYS INTERNL LASSOC
LIST2REFVEC MKQ |NRTisRecurrenceRelation| SETDIFFERENCE STRINGIMAGE
|bright| |compQuietly| |eval| |get| |keyedSystemError|
|makeInternalMapMinivectorName| |mkAuxiliaryName| |mkCacheName| |pp|
|put| |putHist| |sayBrightlyI| |sayKeyedMsg| |startTimingProcess|
|stopTimingProcess| |substitute| |throwKeyedMsg| |timedOptimization|
; Undefined variables:
; |$InteractiveMode| |$TriangleVariableList| |$cacheAlist|
|$cacheCount| |$compileRecurrence| |$compiledOpNameList|
|$compilingInputFile| |$e| |$failed| |$functorDependencyAlist|
|$mapSubNameAlist| |$minivector| |$minivectorCode| |$minivectorNames|
|$reportCompilation|
; caught 19 WARNING conditions
; caught 46 STYLE-WARNING conditions
; printed 3 notes
Ray
On 07/15/2018 12:12 AM, oldk1331 wrote:
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?
--
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?
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
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.
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)
[fricas-devel] Re: TEXmacs as interface
> Where is the fricas plugin installed? I found it in /usr/share/texmacs/TeXmacs/plugins/fricas $> /usr/share/texmacs/TeXmacs/plugins/fricas $ ls doc progs > 2. Does $ fricas -texmacs work? I am not sure. FriCAS seems to start, the output looks as follows $> fricas -texmacs 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 -2 FriCAS Computer Algebra System Version: FriCAS 1.3.3 Timestamp: Mon Mar 12 21:48:52 CET 2018 - Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave FriCAS and return to shell. - Value = # prompt#(1) -> )quit Does that "openServer result -2" suggest something is not right? My init-fricas.scm was as follows: (define (fricas-initialize) (import-from (utils plugins plugin-convert)) (import-from (utils plugins plugin-cmd)) (import-from (dynamic session-menu)) (import-from (fricas-kbd)) (import-from (fricas-menus)) (lazy-input-converter (fricas-input) fricas)) (plugin-configure fricas (:require (url-exists-in-path? "fricas")) (:initialize (fricas-initialize)) (:launch "fricas -texmacs") (:session "Fricas") (:scripts "Fricas")) I replaced it from by the one from https://github.com/fricas/fricas/blob/master/contrib/texmacs/fricas/progs/init-fricas.scm and now it looks like this: (plugin-configure fricas (:require (url-exists-in-path? "fricas")) (:launch "fricas -texmacs") (:session "FriCAS") (:scripts "FriCAS")) (when (supports-fricas?) (import-from (fricas-kbd)) (import-from (fricas-menus)) (lazy-input-converter (fricas-input) fricas)) This did not fix the problem, Thanks, Slawomir -- 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?
Comments with leading On 07/15/2018 12:12 AM, oldk1331 wrote: 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? --- When it occurs again I will preserve it, instead of trying to fix it, and send it. The problem is, it typically occurs inside of larger files. Since it's not intended I will curb my frustration. I will try to shrink it though; it's worth getting rid of bogus calls (or whatever) . There are a bunch more uncompiled functions in my make.log, is the list of any interest? I could grep inside of the source files if that is of any use; if it's not compiled it shouldn't be evoked/called. Unless it's one of those compiled on demand cases. Although I am not familiar enough with spad/boot/lisp to be good at digging in I can make a concordance (I think). In the past I have found concordance's usefull. 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? --- Sigh (: (: I triple checked the wrong places, will fix. :-! I will get back to )trace )reset -> abort (without any error) now; as you can see I was trying for that with my sent code. I do see my troubleshooting error; I should have done an objective (i.e. editor) scan instead of a visual (biased) scan :-( 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.
