On 12/1/24 7:38 AM, Waldek Hebisch wrote:
>
> Hmm, I am not sure what you really propose. The trouble with
> previous attempt at ')savesystem' was restoring frames. Now
> you apparently propose running only in inital frame (that
> is with '-nosman').
I run with '-nosman' to avoid socket related functions.
Try the following and you can see that frames are working
as expected:
(1) -> )set mes prompt frame
initial (1) -> )frame names
The names of the existing frames are:
initial
The current frame is the first one listed.
initial (1) -> )frame new a
a (1) -> )frame next
initial (1) -> x := 1
(1) 1
Type:
PositiveInteger
initial (2) -> )frame next
a (1) -> x
(1) x
Type:
Variable(x)
a (2) -> x := 2
(2) 2
Type:
PositiveInteger
a (3) -> )lisp (sb-ext:save-lisp-and-die "saved" :executable t :toplevel
#'BOOT::|spad|)
oldk1331@localhost:~/tmp> ./saved
a (3) -> x
(3) 2
Type:
PositiveInteger
a (4) ->
a (4) -> )frame next
initial (2) -> x
(2) 1
Type:
PositiveInteger
initial (3) -> )q
> People messing with low level aspects of FriCAS can use functions
> for saving images and manually clean up/correct discrepancies.
> For normal users we need things that "work out of the box" and
> nobody was willing to spend time resolving problems.
Yes, I'm planning to do that, making ')savesystem' work out of box.
> More precisely, to make ')savesytem' work somebody would have to
> go trough FriCAS initialization sequence and work out which parts
> of initialization should be re-done. Do too little and some things
> will fail. Do too much and different things will fail (frame
> problem was doing too much).
>
It's good to know there're no other objections in principle.
I'll try to work out the details then.
- Qian
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/c136bc66-b0f4-42f9-934a-02705bbd2a33%40gmail.com.
