Re: [Axiom-developer] Help with adding algebra URGENT!

[Martin Rubey]

Yet another question:

I just noticed that the constructor RINTERP is not found by HyperDoc, only the
operation it exports. 

After using one of the operations, RationalInterpolation is found, but RINTERP
still isn't.

Tim, you added RINTERP some months ago into the user layer. I suspect that one
somehow needs to rebuild the databases to make it available.

How?

PLEASE HELP, I need it for the conference, for the CD's.

Martin


Martin Rubey <address@hidden> writes:

> Martin Rubey <address@hidden> writes:
> 
> > Dear Tim, *
> 
> do I have to modify the daase files if I add two algebra files, one depending
> on the other?
> 
> Martin
> 
> > 
> > I'm having problems adding algebra.
> > 
> > I have a package FiniteAbelianMonoidRingFunctions2, short FAMR2, and another
> > one, FractionFreeFastGaussianFractions, short FFFGF, which depends on the
> > former.
> > 
> > I modified the Makefile.pamphlet in src/algebra as follows:
> > 
> > USERLAYER=\
> >   ${OUT}/FAMR2.o   \
> >   ${OUT}/FFFGF.o   \
> > @ 
> > 
> > 
> > I also modified exposed.lisp.pamphlet appropriately. However, make NOISE= 
> > keeps
> > complaining:
> > 
> >   Semantic Errors:
> >       [1] generalInterpolation:  FiniteAbelianMonoidRingFunctions2 is not a 
> > known type
> > 
> > (generalInterpolation is an operation defined in FFFGF.)
> > 
> > I also tried to add FAMR2.o into the previous layer, i.e. layer 23, but that
> > didn't change things either.
> > 
> > If I remove FFFGF, the build completes and FAMR2 is visible... 
> > 
> > What did I do wrong?
> > 
> > Martin