Prof. Dr. Johannes Grabmeier wrote:
>
> What also would be helpful, if a partially implemented domain would
> return on special request or/and at the end of the compilation a list of
> all unimplemented functions and where they are coming from, also all
> implemented functions and where they are implemented.
Currently, in HyperDoc when you specify arguments to the constructor
you can then click on 'operations' and then 'implementations'.
This will show you where operations are implemented and which
remain unimplemted.
Doing similar thing without arguments is much harder: functions
may be defined conditionally and basicaly to say that function
is always defined is a quantifer elimination problem. Also,
functions may be either implemented by a domain or inherited.
FriCAS runtime contains mechanizm to find a routine, but it
needs parameters. In principle we could try to do a version
which finds functions with associated conditions, but that
is much more complicated than what we have now.
So, it would be nice feature, but actually needs substantial
effort to implement.
--
Waldek Hebisch
--
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.
