> If you click on 'Implementations' 'operations' from submenu, then
> HyperDoc will show you such info. AFAICS this is done by
> 'dbGatherDataImplementation' from 'br-op1.boot'.
Amazing how you can find such things quickly. Thanks a lot.
> The first 3 lines of this function are specific to HyperDoc, the
> rest should be reusable.
I've experimented a bit with the function. And was a bit unhappy that I
had to create copies of several functions, e.g. dbSpecialExports,
because when I called them like dbSpecialExports('Integer) in a fricas
session I got an error that this function is not implemented. (I
probably have to turn some export variable for boot function on, but I
forgot that detail.)
Anyway, it looks as if I could use it for not parametrized domains.
However, there are a lot of domains like Fraction, for example, for
which that function would only be useful, if I give a concrete domain
like (Integer) instead of the formal parameter S.
It's understandable that (with all this conditional exports)
dbGatherDataImplementation can only give correct information for
concrete parameters, but still, it's somehow a bit unsatisfactory.
Since in my webpage effort I will have only static pages, this
"implementation" feature (at least for parametric domains) is something
that will be left to hyperdoc. Honestly, I very rarely use it. And
entering concrete parameter domains is a feature that I almost never use.
Maybe I was a little naive with my question. Usually conditional exports
come in the form of
with ...
if condition=true then export signature
add
if condition=true then implement signature
So in some sense I could assume that the condition is true in order to
find where it is implemented. In other words, I would have liked to show
something like
foo: .... if P has Foo(S)
from ... -- category where the export is (with its docstring)
implemented by ... -- domain where it is implemented
The condition would still apply also for the "implemented by" part.
I know that does not cover every case Expression would probably a
counter example, but still, I could cover lots of common use cases.
Sounds like I'd have to write my own code to figure all this out.
Probably too much for now.
Ralf
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
