Hi All, I’ve been looking into the SPAD Database and IndexCard domains with a view to adding some “domain explorer” functionality to my “frimacs” Emacs package (the successor to "axiom-environment”, see https://github.com/pdo/frimacs ).
I’ve noticed a couple of problems with the elt operation of IndexCard, one of which is that the ‘condition query (which I assume is for querying the conditional export of an operation by a domain) doesn’t seem to return anything. This seems to be because the “o” lines in the generated libdb.text file do not contain any information in the relevant field. So my first thought was to look into the Boot code to see how libdb.text is generated and perhaps enhance it to include conditional export info. But then I thought, well, HyperDoc manages to show this information so it can’t be using libdb.text (at least not alone). So now I realise there must be another mechanism implemented that allows querying the algebra hierarchy, and I’m wondering if this other mechanism is to be preferred? In other words, would I be wasting my time messing around with libdb.text? Should I really be trying to understand the Boot code implementing the HyperDoc browser, and perhaps defining an API to allow non-HyperDoc code to access this information too? Any insight appreciated, Paul -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/90861657-1810-4353-A806-D3C03EF5362B%40gmail.com.
