Greetings!
Tim Daly writes:
> In theory you should just be able to do:
>sudo apt-get install axiom
>
Indeed, this works!
Take care,
--
Camm Maguirec...@maguirefamily.org
==
"The
Hi Tim,
‐‐‐ Original Message ‐‐‐
On Sunday, December 16, 2018 12:06 AM, Tim Daly wrote:
| In theory you should just be able to do:
| sudo apt-get install axiom
\--
It will be useful to move all build changes to a distro-agnostic repository, so
that other distributions can use the source
In theory you should just be able to do:
sudo apt-get install axiom
If that fails, use docker:
docker pull daly/axiom
docker run -i -t daly/axiom axiom
The Axiom project is currently focused on proving the
algorithms correct. Great progress is being made but it
is not ready to be open-so
Hi,
I am trying to build Axiom on Debian 9. The steps are listed in this GitHub
issue:
https://github.com/daly/axiom/issues/14
The following issue mentions use of 13pre.
https://github.com/daly/axiom/issues/6
1. Can you provide the instructions on building the required 13pre GCL version
Hi,
I am trying to build Axiom on Debian 9. The steps are listed in this GitHub
issue:
https://github.com/daly/axiom/issues/14
The following issue mentions use of 13pre.
https://github.com/daly/axiom/issues/6
1. Can you provide the instructions on building the required 13pre GCL version
>Is there a list somewhere of integrals which can be solved in closed form
>by Axiom/FriCAS, but cannot be solved by the most recent versions of
>Maple/Mathematica? I would be very interested in seeing such a list - but
>I don't myself have access at the moment to either Maple or Mathematica.
See
Many thanks for your responses, and for your comments.
Is there a list somewhere of integrals which can be solved in closed form
by Axiom/FriCAS, but cannot be solved by the most recent versions of
Maple/Mathematica? I would be very interested in seeing such a list - but
I don't myself have acces
Tim Daly wrote:
> Alasdair McAndrew wrote:
> >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 cor
>The instructions available here:
>
>http://www.axiom-developer.org/axiom-website/download.html
>
>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 axi
> > unfortunately, due to the awk scripts (and a failure of the clean stanza)
> > this is not enough. you need to removed two awk scripts and all of
> > the Makefile and Makefile.dvi files in the src directory.
> >
> > make clean
> > rm -rf int obj mnt lsp/gcl*
> > cd src
> > for i in `find . -n
Hi,
On Thu, Apr 06, 2006 at 03:17:13PM -0400, root wrote:
> unfortunately, due to the awk scripts (and a failure of the clean stanza)
> this is not enough. you need to removed two awk scripts and all of
> the Makefile and Makefile.dvi files in the src directory.
>
> make clean
> rm -rf int obj
> $ make clean
> $ make
>
> Is that enough or are there special files I have to remove by hand
> first?
unfortunately, due to the awk scripts (and a failure of the clean stanza)
this is not enough. you need to removed two awk scripts and all of
the Makefile and Makefile.dvi files in the src direc
Hello Fred,
2006/4/6, Frederic Lehobey <[EMAIL PROTECTED]>:
> Unfortunately, I experience exactly the same failure as Balbir Thomas:
> http://lists.gnu.org/archive/html/axiom-developer/2005-02/msg00168.html
>
> I have found
> http://wiki.axiom-developer.org/131AwkBackslashCausesFailureInSrcAlgebra
Le jeudi 06 avril 2006 à 19:58 +0200, Frederic Lehobey a écrit :
> Hi,
>
> On Thu, Apr 06, 2006 at 02:07:47PM -0400, root wrote:
> > I suspect that your failure is the same as Balbir's.
> > Did you stop the build and attempt to restart it?
>
> No I did not (if I remember correctly). But I am usu
Hi,
On Thu, Apr 06, 2006 at 07:58:54PM +0200, Frederic Lehobey wrote:
> dependencies and cleaned the build only once). To be sure of it I
> have started a new round:
>
> $ make clean
> $ make
>
> Is that enough or are there special files I have to remove by hand
> first?
Problem still occurs.
Hi,
On Thu, Apr 06, 2006 at 02:07:47PM -0400, root wrote:
> I suspect that your failure is the same as Balbir's.
> Did you stop the build and attempt to restart it?
No I did not (if I remember correctly). But I am usure whether it had
really started from scratch again (I think so) after a failur
I suspect that your failure is the same as Balbir's.
Did you stop the build and attempt to restart it?
There is a problem with the awk script addition to the src/algebra/Makefile.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lis
Hi,
On Thu, Apr 06, 2006 at 06:49:02PM +0200, David MENTRE wrote:
> Have you checked that the src/algebra/Makefile has the same backslash
> issue or a different one? There might a regression in latest awk.
The offending lines are not anymore in src/algebra/Makefile.
Here is the end of the outpu
Hi,
On Thu, Apr 06, 2006 at 10:40:17AM +0200, Ralf Hemmecke wrote:
> I am just compiling patch-47 axiom on standard debian sarge.
>
> My compilation stops in the middle of compiling the documentation and
> just continues after I have pressed enter.
I wanted to check this and started a compilat
Ralf,
The message
The root module <<*>> was not defined
just means that there was no code in the file.
I'll fix it.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
There seems to be a little error in the documentation (see below)
I hope that does not turn into some missing documentation somewhere.
I found this by accident and wondered why the compilation process did
not stop when there is obviously something not as it should be.
Ralf
--- snip ---
1 makin
21 matches
Mail list logo
