On 06/10/2014 06:09 PM, [email protected] wrote: > The getdatabase information is already cached.
Although, my LISP knowledge is too weak, I've seen that (and not understood). But that is not the place that I need the cache for. The structure I am building does only use SExpression for things like '(has R AbelianGroup)' all the rest is data structures in SPAD. But that's not the point. The point is that I need the full list of signatures and categories that are "inherited" down to the bottom BasicType. This "saturated" exports is not available from GETDATABASE. In my old version, due to a local view, I would have to recompute that saturation again and again, not very time critical (in contrast to how long Sphinx runs), but anyway. I've now put my global hash right into ConstructorData. And that already seems to work fine. I don't need mutual recursion anymore. Although,... I'm still interested in why I couldn't get FriCAS to compile such a simple file. https://www.mail-archive.com/[email protected]/msg07416.html https://groups.google.com/d/msg/fricas-devel/AUtClriYbKk/HkWv66qpgj0J Does that compile in AXIOM? Ralf _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
