[Top][All Lists]

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

Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit

From: daly
Subject: Re: [Axiom-developer] Compiling Axiom on Ubuntu 14.04, 64 bit
Date: Thu, 1 Oct 2015 22:54:18 -0500

>The instructions available here:
>include the initial step of setting randomize_va_space to 0, with:
>echo 0 >/proc/sys/kernel/randomize_va_space

No, this is no longer necessary. I will remove it.

>Also, are there any GUIs for axiom other that Texmacs (which I've found in
>the past to be unstable and prone to freezing)?

Axiom has a web browser front end that ''works'' in that you can
type an input and it will open a <div> to show the output. There is
still a great deal of work to be done to port the pages from the
hyperdoc browser. The pages are created during the build in
mnt/ubuntu/doc/hypertex/*.xhtml. The last thing done on that effort
was to try to implement web-sockets so the interface was reactive.

All of the machinery has been demonstrated but it is still only
demo-ware at this stage.

One of the project goals is to re-implement (and improve) the
hyperdoc machinery. Also in-plan is to re-implement the graphics
using the browser <canvas> tag. There also needs to be a tight
connection between the browser and the pdfs so you can "drill down"
on any piece of algebra by viewing the source code and explanation.
As usual, pieces exist.

>Finally, I believe that Axiom is the only open-source software which
>includes a complete implementation of the Risch decision algorithm for
>symbolic integration; done by the late Manuel Bronstein initially in the
>1970's and 1980's.  Is this correct?  I suppose that the major commercial
>systems support as complete integration routines as possible, but Axiom has
>the edge on other (free) systems as far as I know.

As far as I know Axiom has the "most complete" implementation.
There are still cases which are not implemented but Manuel did more
that anyone else.


reply via email to

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