On 6/22/22 03:32, Paul Onions wrote:
Hi Qian,
I saw your github PR#93 and tested it, the bug exists and your fix
works.
Thanks.
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”.
The information I’m after is what you get when you enter (for example)
“QuadraticForm” in the HyperDoc browser page, then press:-
Constructors -> Operations -> Conditions
where you’ll see, at the bottom of the page, an entry for “convert” that shows
under what conditions it is exported.
So the same information as ")show QuadraticForm"? HyperDoc and
command line do use different functions to get this information.
Also, I’d like to get the Origins info so I can show where an operation is
implemented, and basically get access to any of the other information that the
HyperDoc browser displays. Ideally there would be a well-defined API that
would allow me to do this, but after looking at the br-*.boot files I see that
it all seems to be mixed in with the HyperDoc page construction code. So I
need to spend some more time looking into it to see properly how it all works.
IIRC, the "Origins" info exists only in HyperDoc and not command line.
This is very long term issue. I do hope it can be available in
command line as well.
However, I get the feeling that different parts of this algebra database
“system” were perhaps developed at different times by different people, and
that there is unnecessary overlap and redundancy at play here.
Thanks,
Paul
Yes, there is overlap and redundancy. Cleaning them up at BOOT
level and provide a SPAD interface would be nice.
I can spend some efforts in this direction for next release.
- Qian
--
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/80e62486-61fe-0f51-48a7-bf844398954c%40gmail.com.
