Raoul,
http://axiom-developer.org/axiom-website/download.html
lists the packages Axiom expects to be installed for Debian as:
gcc build-essential debhelper gettext gs-gpl html2text
intltool-debian libgmp3-dev libice-dev libxau-dev libxaw7-dev
po-debconf x-dev x11proto-input-dev x11proto-kb-dev
l
Greetings! If using the debian axiom package, you need to install the
package build-dependencies, easiest via apt-get build-dep axiom. In
particular, you are missing libgmp-dev, required to compile programs
against gmp, as opposed to running programs previously linked against
gmp.
Take care,
R
Dear Tim,
> > While browsing through the Axiom git log I found
> > your commit which attracted my attention:
>
> I am working on this at this very moment (albeit along with half
> a dozen other concurrent tasks). Soon...
Thanks for this fast answer. Great to hear that you have
the code and are
Hi,
I tried to compile a recent version of Axiom on a Debian sid machine.
I choose the system configuration "debian". It then fails like:
==
src BUILDING SRC
==
25 making /scratch/src/Axiom/src/interp
/scratch/src/Axiom/obj/
Hi,
I tried to compile a recent version of Axiom on a Debian sid machine.
I choose the system configuration "debian". It then fails like:
==
src BUILDING SRC
==
25 making /scratch/src/Axiom/src/interp
/scratch/src/Axiom/obj/
Renaud,
Your lip6 email address bounces.
I'm spending some time on proving Axiom's algorithms, most likely using Coq.
I ran across one of your papers on the FOC project.
Can you tell me the current state of FOC, where I might find papers
related to proving Axiom, and where, if any, FOC code is pu
> Probably possible. But, that is an issue which IMO is unrelated to
> TexFormat. Try to look at the generated book.dvi That is using
> underlined links.
> One can probably change the boxes by sending some \specials to the
> pdfviewer, but I currently don't know how. Maybe there is an option in
>
Raoul,
> While browsing through the Axiom git log I found
> your commit which attracted my attention:
I am working on this at this very moment (albeit along with half
a dozen other concurrent tasks). Soon...
Tim
___
Axiom-developer mailing list
Axiom-
Renaud,
Can you point me at any FOC papers (and hopefully code) online?
Is this still an ongoing project?
Tim Daly
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
nobody should be including malloc.h -- it isn't a standard header.
malloc is a C standard function declared in .
On Sunday, June 29, 2014, Sarvagnan wrote:
> Previously, there were troubles building noweb. Those were resolved with
> the new release. However new errors are cropping up.
>
> The fi
On 06/29/2014 05:28 PM, d...@axiom-developer.org wrote:
> It is possible to change the hyperlinking from using a box around the
> link to something more common, like underlining. When rendered in a
> small font the box obscures the text.
Probably possible. But, that is an issue which IMO is unrela
Ralf,
The book looks good. Two comments, though.
It is possible to change the hyperlinking from using a box around the
link to something more common, like underlining. When rendered in a
small font the box obscures the text.
You might consider using blue as the equation font color rather
than t
On 06/29/2014 03:52 PM, u1204 wrote:
> I haven't used the tex output from Axiom except to format
> the book. It seemed to work for most cases except for some
> long lines, if I remember correctly.
Oh... if you use the original awk files from NAGcdrom then my changes
will break everything. For the
On 06/29/2014 02:56 PM, Bill Page wrote:
> Of course axiom-wiki uses the tex output extensively in a manner similar to
> efricas.
Where can I patch the things? That are relevant to my changes?
In other words: where is it documented what mathaction actually does to
get the latex picture? If there i
Richard,
Can you send me a copy of the code related to the paper 'extrat.pdf'?
Tim Daly
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Richard,
Can you send me a copy of the code related to the paper 'extrat.pdf'?
Tim Daly
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
Ralf,
I haven't used the tex output from Axiom except to format
the book. It seemed to work for most cases except for some
long lines, if I remember correctly.
I do use the mathml output form for the Axiom browser output.
It gets rendered in a and seems to work fine.
Tim
__
Sarva,
Yes, I am trying to debug the build at the moment. The problem is
related to linking. I sent a note to Camm about it. The MACOSX
version was for the PowerPC Macs, not the Intel version.
I'll let you know when I get it to work.
Tim
___
Axiom-de
Previously, there were troubles building noweb. Those were resolved with
the new release. However new errors are cropping up.
The first error that cropped up was that gcc could not find malloc.h. I
tried solving this by copying the malloc.h from /usr/include/malloc into
/usr/include. This seemed t
Of course axiom-wiki uses the tex output extensively in a manner similar to
efricas.
On 2014-06-29 6:06 AM, "Ralf Hemmecke" wrote:
> There were several point that made me think.
>
> 1) Where is TexFormat actually used?
> 2) Don't break efricas way of showing rendered latex via
>\usepackage{pr
Hi Tim, hi Eugene,
> Ralf is doing great work and I hate to see such discouraging feedback.
It's not (yet) discouraging at all at the moment.
There were several point that made me think.
1) Where is TexFormat actually used?
2) Don't break efricas way of showing rendered latex via
\usepackage
21 matches
Mail list logo
