Hello jiazhaoconga,
On 16 Nov 2013, at 15:46, jiazhaoconga wrote:
axiom-environment keeps a list of axiom symbols,
https://bitbucket.org/pdo/axiom-environment/src/3d58f5ff7412cb519bbfb70f3cc0711931e216e9/data/?at=default
and the author updates it a few times, but there is no documentation
about how to do it.
Look in file axiom-build-utils.el, where you'll find emacs-lisp
functions to extract package, domain, category and operation names
from a running Axiom/FriCAS/OpenAxiom session. The function axiom-
make-standard-info-files at the bottom of the file can be used to
update all the symbol files.
In ${FRICASROOT}/algebra/*.daase, these files seem like database.
Only in fricas these files contain lots of ascii instead of lots of
numbers.
> Since I'm much more interested in emacs-mode, I'd be very happy if
> someone having time and expertise to take a look at it and improve
it.
https://github.com/ustcscgy/axiom-environment/tree/fricas.el
I implement fricas.el's "fricas-yank" functionality into axiom-
environment's
axiom-spad-mode, but much much more user friendly.
I'm happy to consider patches for improved functionality. I haven't
really touched the code for a few months, so maybe it's time I got
back into it again!
This has been hacked for only a few hours, lots of stuff to improve,
but
it's enough to express my ideal workflow:
(add-to-list 'load-path "~/.emacs.d/axiom-environment/")
(require 'axiom)
M-x run-axiom
C-x C-f test.spad ;; open a .spad file
-- you can write a one-line function, then press C-c C-c to run
integrate(x,x)
-- you can write piles, this is what I want
-- press C-c C-c to run
1+
2
3
So is this your main motivation, to evaluate fragments of files
interactively? If so, looks useful!
Regards,
Paul Onions (the author of axiom-environment)
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/groups/opt_out.
