RE: [Axiom-developer] INTCAT INTRVL and SIGNEH

[Weiss, Juergen]

Actually there was no magic involved. If you have 
let's say module A and B where B depends on A and
the database entries of A and B are wrong, just 
compile A and B in the same AXIOM process and 
rebuild the database afterwards. That's all. Of
course you could rebuild the database after
every file compiled, but that would take too long.
Information about loaded modules has precedence
over information in the databases.

The structure of pamphlet file for DHMATRIX is 
different from the rest, so the instructions to
generate some parts of the Makefile automatically
did not generate anything.

Juergen Weiss

Juergen Weiss     | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
+49(6131)39-26407


> -----Original Message-----
> From: Bill Page [mailto:address@hidden 
> Sent: Sunday, August 31, 2003 2:36 PM
> To: address@hidden
> Cc: address@hidden
> Subject: [Axiom-developer] INTCAT INTRVL and SIGNEH
> 
> 
> Tim,
> 
> Overnight I set my computer to re-build Axiom from the
> Thursday sources modified to include the INTRVL and
> SIGNEH but overwriting the databases in src/share/algebra
> with the same files from Juergin Weiss' version. I was
> pleasantly surprized this morning that it completed without
> errors and successfully evaluates
> 
>   integrate(exp(sin(x)),x)
> 
> SO ... I would definitely conclude that there is something
> wrong with the databases in the share directory of the
> Thursay version. It seems likely that this is the cause
> of many of the problems you have seen.
> 
> Now I don't know exactly what magic Juergen included in
> his version of the database files, but a diff shows that
> they are very different than the ones in share. I did
> find however to have a completely functional version
> I still had to run database rebuild. I tried first without
> doing that by just setting DAASE to the share directory.
> But some things fails, e.g. certain commands did not
> produce any output such as the test integration above.
> After running the database rebuild and unset DAASE, this
> work properly.
> 
> Perhaps it would be sufficient to replace the contents
> of src/share/algebra with the result of the database
> rebuild and then re-compile Axiom? Or perhaps Juergen
> can explain in more detail to us his database rebuild
> procedure.
> 
> By the way, not counting any of the lowercase.spad files,
> Juergen's version has 1040 spad files while the Thursday
> version with INTRVL and SIGNEH has only 1011. Here are
> the differences
> 
> +ASP29.spad
> +CPIMA.spad
> +D01AGNT.spad
> -DHMATRIX.spad
> +FSPRMELT.spad
> +INBFF.spad
> +IRURPK.spad
> +LAZM3PK.spad
> +LEXTRIPK.spad
> +LODO.spad
> +LODO1.spad
> +LODO2.spad
> +NORMPK.spad
> +NTSCAT.spad
> +ODEEF.spad
> +QCMPACK.spad
> +REGSET.spad
> +RGCHAIN.spad
> +RSDCMPK.spad
> +RSETGCD.spad
> +RURPK.spad
> +SFQCMPK.spad
> +SFRGCD.spad
> +SFRTCAT.spad
> +SNTSCAT.spad
> +SOLVETRA.spad
> +SRDCMPK.spad
> +SREGSET.spad
> +STTF.spad
> +SUBSPACE.spad
> +ZDSOLVE.spad
> 
> where + means the file is missing from the Thursday version
> and - means missing from Juergen's version.
> 
> Are there really 29 files which are not yet compiled or does
> Juergen's list include some that are obsolete?
> 
> Cheers,
> Bill Page.
> 
> 
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/axiom-developer
>