[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] build-improvements and latex
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] build-improvements and latex |
Date: |
08 Nov 2006 09:00:03 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Gabriel Dos Reis <address@hidden> writes:
> I very much like hyperlinks pointing to sections in other files. I really
> disliuke duplicating documentation for no good reasons. But, I don't know
> what ALLPROSE looks like in practice (sorry, I cannot do everything...)
Do you have Axiom with Aldor support installed, or, at least Aldor installed?
Do you have $ALDORROOT set?
The following should not take more than 15 minutes. If it takes longer, drop me
an email...
Go to Ralf's webpage and download packaged-allprose
http://www.hemmecke.de/aldor/packaged-allprose.tar.gz
-------------------------------------------------------------------------------
tar -xzf packaged-allprose.tar.gz
cd packaged-allprose
notangle -t8 Makefile.nw > Makefile
make
## you should now have three new shiny things: aldorextio aldorunit (these are
## due to Christian Aistleitner) and allprose (due to Ralf)
cd ~
svn co svn://svn.risc.uni-linz.ac.at/hemmecke/combinat
cd combinat/trunk/combinat
notangle -t8 Makefile.nw > Makefile
## make the documentation
make dvi
## if tex4ht is installed
make html
## or, if you actually want to use it:
make check
### or, if you prefer to use it from within axiom
### WARNING: HIGHLY EXPERIMENTAL
cd ~/combinat/branches/axiom-port/combinat
notangle -t8 Makefile.nw > Makefile
make VARIANTSTOBUILD=axiom
cd src
axiom
)lib csaxal csstream csseries csspexpr csspecies csparse csinterp
s: String := "Plus(SingletonSpecies, Times(Self, Self))"
BinTree ==> Interpret([parse s], IntegerLabel)
l: SetSpecies IntegerLabel := set [1,2,3]
trees := structures(l)$BinTree
[retract partialNext! trees for i in 1..12]
## enjoy.
-------------------------------------------------------------------------------
Martin
Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/11/07
- Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/11/07
- RE: [Axiom-developer] build-improvements and latex, Page, Bill, 2006/11/07
- Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/11/07
- Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/11/07
- Re: [Axiom-developer] build-improvements and latex,
Martin Rubey <=
- Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/11/08
- Re: [Axiom-developer] build-improvements and latex, Martin Rubey, 2006/11/08
- Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/11/08
Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/11/08
Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/11/08
RE: [Axiom-developer] build-improvements and latex, Page, Bill, 2006/11/07
Re: [Axiom-developer] build-improvements and latex, Ralf Hemmecke, 2006/11/08
Re: [Axiom-developer] build-improvements and latex, C Y, 2006/11/08
Re: [Axiom-developer] build-improvements and latex, Gabriel Dos Reis, 2006/11/07
RE: [Axiom-developer] build-improvements and latex, Page, Bill, 2006/11/07