Hi Paul, I saw your github PR#93 and tested it, the bug exists and your fix works.
About "libdb.text", I take a look at src/interp/br-search.boot, I find HyperDoc searches "libdb.text" when you type a string and "Search for operations". And it simply construct a grep string and use "sh" to execute it. (Can exploited to execute other shell commands, BTW). About "condition query", can you give an example? What's the input and what you expect to get? The HyperDoc seems to ignore the condition part when it "Search for operations". - Qian On 6/20/22 03:01, Paul Onions wrote:
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/898c4d79-adba-4398-5ca6-51b7fcdb5c3f%40gmail.com.
