Hi Waldek, On 22 Jun 2022, at 09:10, Waldek Hebisch <[email protected]> wrote: > > Well, primary info is in domain vectors. For fully specified domain > one can view it using routines in 'showimp.boot', for example using > > )boot showSummary(FreeModule(Integer(), Symbol()))
I’d like to be able to invoke the showImp boot function from Frimacs by passing a fully specified domain name that the user supplies. However, the problem I have is that showImp, like your showSummary example above, expects empty trailing parenthesis on parameter-less domain names. This is rather unnatural for a user to do — it’s not natural SPAD code. I think there must be some existing boot code somewhere that will help me parse a SPAD-like type expression and convert it into something that showImp would accept, but I’m having trouble finding such a thing. I considered doing it myself in elisp, but I expect there are corner cases to consider. Is it possible for you to point me in the right direction? Thanks, 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/372DE213-26B1-4E26-AC56-002FF85BFF26%40gmail.com.
