Hi
My question: If one changes the default settings in the REPL by performing the
)set ... command or implicitly via the hyperdoc menu, are these new settings
automatically stored somewhere and reloaded at REPL restart or are simply
forgotten at next REPL restart (so that to permanently store settings one has
to manually write them in the default initialization file)? It seems to me that
the correct answer is the latter, could somebody confirm please?
BTW, is the initialization file still axiom.input or fricas.input? (The latter
would --hypothetically--- allow for installing axiom and fricas on the same
system with no interference.)
Aside comment:
I was looking for a list of the options and parameters for the system command
)set, which are not explicitly shown in the fricasUG. As far as I understand
using hyperdoc (...Settings) is the only way to see the )set
options/parameters/default for the user because looking at sources these
options are hard encoded and mixed with boot code in
fricas/src/interp/setvart.boot.
For new users (and my) reference I attach 2 screen captures that show the
available settings in full screen mode as I saw them. @Ralph it would be really
great to have these lines listed in fricasUG.
ric
--
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.
