Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp

[Paul Onions]

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)