Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2

[Waldek Hebisch]

> On Tuesday, November 07, 2006 4:24 PM Waldek Hebisch wrote:
> 
> > ... 
> > I propose: rename capital Greek letters according to
> > Bill Page proposal.  Adjust 'util.ht' to match (all other
> > hypertex pages should access Greek letters only via macros
> > defined in 'util.ht').  
> > Next, remove 'ATX=B.bitmap', 'SEGBIND.ps' and 'segbind.ps'.
> > 
> > Those changes should solve problems with duplicate filenames on
> > case insensitive filesystems.
> > 
> > --- build-improvements.pp/src/hyper/pages/util.ht   
> > 2006-11-02 18:27:39.000000000 +0100
> > +++ build-improvements/src/hyper/pages/util.ht      
> > 2006-11-07 22:43:56.499790528 +0100
> > @@ -240,7 +240,7 @@
> >  \newcommand{\coprod}{\inputbitmap{\htbmdir{}/coprod.bitmap}}
> >  \newcommand{\del}{\inputbitmap{\htbmdir{}/del.bitmap}}
> >  \newcommand{\delta}{\inputbitmap{\htbmdir{}/delta.bitmap}}
> > -\newcommand{\Delta}{\inputbitmap{\htbmdir{}/Delta.bitmap}}
> > +\newcommand{\Delta}{\inputbitmap{\htbmdir{}/Delta-cap.bitmap}}
> >  \newcommand{\div}{\inputbitmap{\htbmdir{}/div.bitmap}}
> >  \newcommand{\dot}{\inputbitmap{\htbmdir{}/dot.bitmap}}
> >  \newcommand{\ell}{\inputbitmap{\htbmdir{}/ell.bitmap}}
> > @@ -253,7 +253,7 @@
> >  \newcommand{\footnote}[1]{ {(#1)}}
> >  \newcommand{\frenchspacing}{}
> >  \newcommand{\gamma}{\inputbitmap{\htbmdir{}/gamma.bitmap}}
> > -\newcommand{\Gamma}{\inputbitmap{\htbmdir{}/Gamma.bitmap}}
> > +\newcommand{\Gamma}{\inputbitmap{\htbmdir{}/Gamma-cap.bitmap}}
> >  \newcommand{\hbar}{\inputbitmap{\htbmdir{}/hbar.bitmap}}
> >  \newcommand{\hbox}[1]{{#1}}
> >  \newcommand{\hfill}{}
> > @@ -269,7 +269,7 @@
> >  \newcommand{\kappa}{\inputbitmap{\htbmdir{}/kappa.bitmap}}
> >  \newcommand{\label}[1]{}
> >  \newcommand{\lambda}{\inputbitmap{\htbmdir{}/lambda.bitmap}}
> > -\newcommand{\Lambda}{\inputbitmap{\htbmdir{}/Lambda.bitmap}}
> > +\newcommand{\Lambda}{\inputbitmap{\htbmdir{}/Lambda-cap.bitmap}}
> >  \newcommand{\large}{}
> >  \newcommand{\ldots}{...}
> >  \newcommand{\le}{<=}
> > @@ -282,41 +282,41 @@
> >  \newcommand{\nabla}{\inputbitmap{\htbmdir{}/nabla.bitmap}}
> >  \newcommand{\nu}{\inputbitmap{\htbmdir{}/nu.bitmap}}
> >  \newcommand{\omega}{\inputbitmap{\htbmdir{}/omega.bitmap}}
> > -\newcommand{\Omega}{\inputbitmap{\htbmdir{}/Omega.bitmap}}
> > +\newcommand{\Omega}{\inputbitmap{\htbmdir{}/Omega-cap.bitmap}}
> >  \newcommand{\pageref}[1]{???}
> >  \newcommand{\parallel}{\inputbitmap{\htbmdir{}/parallel.bitmap}}
> >  \newcommand{\partial}{\inputbitmap{\htbmdir{}/partial.bitmap}}
> >  \newcommand{\phi}{\inputbitmap{\htbmdir{}/phi.bitmap}}
> > -\newcommand{\Phi}{\inputbitmap{\htbmdir{}/Phi.bitmap}}
> > +\newcommand{\Phi}{\inputbitmap{\htbmdir{}/Phi-cap.bitmap}}
> >  \newcommand{\pi}{\inputbitmap{\htbmdir{}/pi.bitmap}}
> > -\newcommand{\Pi}{\inputbitmap{\htbmdir{}/Pi.bitmap}}
> > +\newcommand{\Pi}{\inputbitmap{\htbmdir{}/Pi-cap.bitmap}}
> >  \newcommand{\prime}{\inputbitmap{\htbmdir{}/prime.bitmap}}
> >  \newcommand{\prod}{\inputbitmap{\htbmdir{}/prod.bitmap}}
> >  \newcommand{\protect}{}
> >  \newcommand{\psi}{\inputbitmap{\htbmdir{}/psi.bitmap}}
> > -\newcommand{\Psi}{\inputbitmap{\htbmdir{}/Psi.bitmap}}
> > +\newcommand{\Psi}{\inputbitmap{\htbmdir{}/Psi-cap.bitmap}}
> >  \newcommand{\quad}{\inputbitmap{\htbmdir{}/quad.bitmap}}
> >  \newcommand{\Re}{\inputbitmap{\htbmdir{}/Re.bitmap}}
> >  \newcommand{\rho}{\inputbitmap{\htbmdir{}/rho.bitmap}}
> >  \newcommand{\sc}{\rm}
> >  \newcommand{\sf}{\bf}
> >  \newcommand{\sigma}{\inputbitmap{\htbmdir{}/sigma.bitmap}}
> > -\newcommand{\Sigma}{\inputbitmap{\htbmdir{}/Sigma.bitmap}}
> > +\newcommand{\Sigma}{\inputbitmap{\htbmdir{}/Sigma-cap.bitmap}}
> >  \newcommand{\small}{}
> >  \newcommand{\sum}{\inputbitmap{\htbmdir{}/sum.bitmap}}
> >  \newcommand{\surd}{\inputbitmap{\htbmdir{}/surd.bitmap}}
> >  \newcommand{\tau}{\inputbitmap{\htbmdir{}/tau.bitmap}}
> >  \newcommand{\theta}{\inputbitmap{\htbmdir{}/theta.bitmap}}
> > -\newcommand{\Theta}{\inputbitmap{\htbmdir{}/Theta.bitmap}}
> > +\newcommand{\Theta}{\inputbitmap{\htbmdir{}/Theta-cap.bitmap}}
> >  \newcommand{\times}{\inputbitmap{\htbmdir{}/times.bitmap}}
> >  \newcommand{\top}{\inputbitmap{\htbmdir{}/top.bitmap}}
> >  \newcommand{\triangle}{\inputbitmap{\htbmdir{}/triangle.bitmap}}
> >  \newcommand{\upsilon}{\inputbitmap{\htbmdir{}/upsilon.bitmap}}
> > -\newcommand{\Upsilon}{\inputbitmap{\htbmdir{}/Upsilon.bitmap}}
> > +\newcommand{\Upsilon}{\inputbitmap{\htbmdir{}/Upsilon-cap.bitmap}}
> >  \newcommand{\vbox}[1]{{#1}}
> >  \newcommand{\wp}{\inputbitmap{\htbmdir{}/wp.bitmap}}
> >  \newcommand{\xi}{\inputbitmap{\htbmdir{}/xi.bitmap}}
> > -\newcommand{\Xi}{\inputbitmap{\htbmdir{}/Xi.bitmap}}
> > +\newcommand{\Xi}{\inputbitmap{\htbmdir{}/Xi-cap.bitmap}}
> >  \newcommand{\zeta}{\inputbitmap{\htbmdir{}/zeta.bitmap}}
> >  \newcommand{\bs}{\\}
> >  
> 
> Great. I think this patch should go in as a priority since at this
> time Axiom developers on a MAC still can not use svn to get Axiom.
>
Bill Page wrote: 
> But I almost hesitate to ask the following: Why aren't the files
> in src/hyper/pages in pamphlet format? Well, ok, they do look like
> latex files already but in this case they are also source files for
> hyperdoc. Would including these files as chunks in a pamphlet file
> present any technical problem to noweb?
> 

The crucial part _is_ in a pamphlet file: the files contain extracts
from Axiom book.  We just do not know (yet) how to extract them.
.pht file should be machine generated (from corresponding .ht), but
to make this process automatic one needs to fix some bugs in Axiom
(and to build without X11 we need a version of hypertex and graphic
which does not use X11).

Actually, by volume, the biggest part of .ht files are NAG manuals.  
AFAICS they were converted from other form into plain text format
and then embedded into hypertex verbatim blocks.  Proper treatement
of those files would require adding logical markup.  OTOH I am not
sure if we want to maintain NAG manuals at all -- if we switch to
a different numerical library we need different manuals.

-- 
                              Waldek Hebisch
address@hidden