I just noticed that )history )save fails when the history contains
results from the guessing package (i.e., RECOPs).
Of course, I was too lazy to implement INFORM for these, but would it
help? Here is the backtrace:
(1) -> guessPRec [binomial(2*n, n) for n in 1..10]
(1) [[f(n): (- n - 2)f(n + 1) + (4n + 6)f(n)= 0,f(0)= 2]]
Type: List(Expression(Integer))
(2) -> )history )save /home/rubey/test.fri
(1) -> )history )restore /home/rubey/test.fri
All user variables and function definitions have been cleared.
>> Error detected within library code:
undefined function: %INFOREC
(1) -> )se br br
(1) -> )history )restore /home/rubey/test.fri
All user variables and function definitions have been cleared.
>> Error detected within library code:
undefined function: %INFOREC
debugger invoked on a SIMPLE-CONDITION in thread #<THREAD "initial thread"
RUNNING {10046DE031}>:
break
Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [CONTINUE] Return from BREAK.
(BREAK "break")
0]
:BT
0]
0: (BREAK "break")
1: (|handleLispBreakLoop| |break|)
2: (|errorSupervisor1| |AlgebraError| "undefined function: %INFOREC" |break|)
3: (|dewritify,dewritifyInner|
((WRITIFIED!! SPADCLOSURE
#(((1 # # #) 0 . 1) |n| #(|f| -1 (NIL)) NIL
((# 0 . 1) (WRITIFIED!! NONNULLSTREAM) WRITIFIED!! SPADCLOSURE #(# # #)
|STREAM2;mapp!0|)
(0 . 1)
(0 WRITIFIED!! SPADCLOSURE #(0 # # #) |RECOP;makeRec;BoSFLSF;7!3|))
%INFOREC)))
4: (|dewritify,dewritifyInner|
(((WRITIFIED!! SPADCLOSURE
#((# 0 . 1) |n| #(|f| -1 #) NIL
(# # WRITIFIED!! SPADCLOSURE # |STREAM2;mapp!0|) (0 . 1)
(0 WRITIFIED!! SPADCLOSURE # |RECOP;makeRec;BoSFLSF;7!3|))
%INFOREC))))
5: (|dewritify,dewritifyInner|
#(|%inforec0| 0
(((WRITIFIED!! SPADCLOSURE #(# |n| # NIL # # #) %INFOREC)))))
6: (|dewritify,dewritifyInner|
#(#(|%inforec0| 0 (((WRITIFIED!! SPADCLOSURE # %INFOREC)))) NIL 1 768))
7: (|dewritify,dewritifyInner| (#(#(|%inforec0| 0 ((#))) NIL 1 768) (1 0 . 1)))
8: (|dewritify,dewritifyInner|
(1 #(#(|%inforec0| 0 ((#))) NIL 1 768) (1 0 . 1)))
9: (|dewritify,dewritifyInner|
((1 #(#(|%inforec0| 0 (#)) NIL 1 768) (1 0 . 1)) 0 . 1))
10: (|dewritify,dewritifyInner|
(((1 #(#(|%inforec0| 0 #) NIL 1 768) (1 0 . 1)) 0 . 1)))
11: (|dewritify,dewritifyInner|
(((1 #(#(|n| 0 #) NIL 1 1024) (1 0 . 1)) 0 . 1)
((1 #(#(|%inforec0| 0 #) NIL 1 768) (1 0 . 1)) 0 . 1)))
12: (|dewritify,dewritifyInner|
#(#(|rootOfRec| -1
(((|%specialDiff| WRITIFIED!! SPADCLOSURE # |RECOP;diffRec|)
(|%specialDisp| WRITIFIED!! SPADCLOSURE # |RECOP;ddrec|)
(|%eval| WRITIFIED!! SPADCLOSURE # |RECOP;irecur|)
(|%dummyVar| . 1))))
(((1 #(# NIL 1 1024) (1 0 . 1)) 0 . 1)
((1 #(# NIL 1 768) (1 0 . 1)) 0 . 1))
2 3584))
13: (|dewritify,dewritifyInner|
(#(#(|rootOfRec| -1 ((# # # #))) (((1 # #) 0 . 1) ((1 # #) 0 . 1)) 2 3584)
(1 0 . 1)))
14: (|dewritify,dewritifyInner|
(1
#(#(|rootOfRec| -1 ((# # # #))) (((1 # #) 0 . 1) ((1 # #) 0 . 1)) 2 3584)
(1 0 . 1)))
15: (|dewritify,dewritifyInner|
((1 #(#(|rootOfRec| -1 (#)) ((# 0 . 1) (# 0 . 1)) 2 3584) (1 0 . 1)) 0
. 1))
16: (|dewritify,dewritifyInner|
(((1 #(#(|rootOfRec| -1 #) (# #) 2 3584) (1 0 . 1)) 0 . 1)))
17: (|dewritify,dewritifyInner|
(WRAPPED ((1 #(#(|rootOfRec| -1 #) (# #) 2 3584) (1 0 . 1)) 0 . 1)))
18: (|dewritify,dewritifyInner|
((|List| (|Expression| (|Integer|))) WRAPPED
((1 #(#(|rootOfRec| -1 #) (# #) 2 3584) (1 0 . 1)) 0 . 1)))
19: (|dewritify,dewritifyInner|
(|value| (|List| (|Expression| (|Integer|))) WRAPPED
((1 #(#(|rootOfRec| -1 #) (# #) 2 3584) (1 0 . 1)) 0 . 1)))
20: (|dewritify,dewritifyInner|
((|value| (|List| (|Expression| (|Integer|))) WRAPPED
((1 #(# # 2 3584) (1 0 . 1)) 0 . 1))))
21: (|dewritify,dewritifyInner|
(%
(|value| (|List| (|Expression| (|Integer|))) WRAPPED
((1 #(# # 2 3584) (1 0 . 1)) 0 . 1))))
22: (|dewritify,dewritifyInner|
((% (|value| (|List| (|Expression| #)) WRAPPED ((1 # #) 0 . 1)))))
23: (|dewritify,dewritifyInner|
((")lisp (setf |$ioHook| (lambda (x &optional args)(princ (code-char
27))(cond ((and (eq x '|startKeyedMsg|)(member (car args) (list 'S2GL0012
'S2GL0013 'S2GL0014)))(princ \"|startTypeTime|\"))((and (eq x
'|endOfKeyedMsg|)(member (car args) (list 'S2GL0012 'S2GL0013
'S2GL0014)))(princ \"|endOfTypeTime|\"))(t (prin1 x)))(princ #\\Newline)))"
"guessPRec [binomial(2*n, n) for n in 1..10]")
(% (|value| (|List| (|Expression| #)) WRAPPED ((1 # #) 0 . 1)))))
24: (|dewritify|
((")lisp (setf |$ioHook| (lambda (x &optional args)(princ (code-char
27))(cond ((and (eq x '|startKeyedMsg|)(member (car args) (list 'S2GL0012
'S2GL0013 'S2GL0014)))(princ \"|startTypeTime|\"))((and (eq x
'|endOfKeyedMsg|)(member (car args) (list 'S2GL0012 'S2GL0013
'S2GL0014)))(princ \"|endOfTypeTime|\"))(t (prin1 x)))(princ #\\Newline)))"
"guessPRec [binomial(2*n, n) for n in 1..10]")
(% (|value| (|List| (|Expression| #)) WRAPPED ((1 # #) 0 . 1)))))
25: (|readHiFi| 1)
26: (|restoreHistory2| T #P"/home/rubey/test.fri.axh" |/home/rubey/test.fri|)
27: (|restoreHistory| (|/home/rubey/test.fri|))
28: (|historySpad2Cmd|)
29: (|systemCommand| ((|history|) (|restore| |/home/rubey/test.fri|)))
30: (|doSystemCommand| #<unavailable argument>)
31: (|ExecuteInterpSystemCommand| #<unavailable argument>)
32: (|InterpExecuteSpadSystemCommand| ")history )restore /home/rubey/test.fri")
33: (|ncloopCommand| ")history )restore /home/rubey/test.fri" 1)
34: (|intloopReadConsole| "" 1)
35: (|SpadInterpretStream| 1 (TIM DALY ?) T)
36: (|intloop|)
37: (|ncIntLoop|)
38: (|ncTopLevel|)
39: (|runspad|)
40: (|spad|)
41: (FRICAS-RESTART)
42: ((LAMBDA ()))
43: ((LABELS SB-IMPL::RESTART-LISP))
0]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
