Martin Rubey wrote:
>
> Dear all,
>
> I now have managed to do a proper patch, no regressions.
>
> If there is no complaint, I'll commit, although I must say that the code in
> open-axiom looks much cleaner.
>
If you feel that we need this capability, then go on.
> Since I do not understand what I'm doing here, help and comments would be
> greatly appreciated. (The comments in the patch are taken, as everything
> else,
> too, from open-axiom)
>
> Oh: one important thing: I had to define isCategoryForm *additionally* in
> src/interp/i-analy.boot, for some reason it wouldn't find the definition in
> category.boot. This *has* to be fixed...
>
Currently category.boot is considered to be part of compiler and like
the rest of compiler it is autoloaded. Possible solutions:
1) add isCategoryForm to the list of functions which trigger loading
of the compiler (the list currently looks too short, possibly we
should also add Join to it)
2) move isCategoryForm to a file which is included in AXIOMsys executable.
The drawback is that functions in category.boot (including
isCategoryForm) are logically connected and most of them may
be needed at runtime. Currently we _use_ isCategoryForm at
runtime, but simply before using it we call another function
which triggers loading of the compiler.
3) link category.boot into AXIOMsys executable -- this has drawback that
functions in category.boot may call other functions in the compiler.
So we would have to analize category.boot and make sure that all
calls from category.boot to the compiler either trigger loading
of the compiler or may happen only when compiler is present
4) link all of compiler into AXIOMsys executable -- this is done
in open-axiom
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
