[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Paul Onions
Subject: Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp
Date: Sat, 16 Nov 2013 19:38:14 +0000

Hello jiazhaoconga,

On 16 Nov 2013, at 15:46, jiazhaoconga wrote:
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.

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

-- you can write piles, this is what I want
-- press C-c C-c to run

So is this your main motivation, to evaluate fragments of files interactively?  If so, looks useful!

Paul Onions (the author of axiom-environment)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]