Possible removals

4 views
Skip to first unread message

de...@fricas.math.uni.wroc.pl

unread,
Jun 27, 2022, 6:33:16 PM6/27/22
to fricas...@googlegroups.com
ffx.spad and rdesys.spad are now removed. I am waiting with
cyclo.spad, if removal causes trouble for external packages
we can wait to next release.

I would like to remove 'asq.c' (used to produce 'asq' executable).
I suspect that 'asq' is unused, if that is true then it makes
sense to remove it.

--
Waldek Hebisch

Ralf Hemmecke

unread,
Jun 28, 2022, 2:41:14 AM6/28/22
to fricas...@googlegroups.com
> I would like to remove 'asq.c' (used to produce 'asq' executable).

I never used asq.

However, what I would like it something that Paul Onions recently asked
for, a proper API to query information about the constructors in FriCAS
at runtime. For internal purposes, it probably makes sense to have an
API for LISP, but there should also be a domain/package that exports
that API to the SPAD level.

That should be the first step of getting independent of how and where
the respective information is actually stored in FriCAS, i.e. it would
allow to get rid of all the .daase files if the information can be
retrieved from the domain vectors.

Anyway, it would make it simpler to ask FriCAS for the information that
is presented on fricas.github.io/api than to have to collect it and
compute (conditional) dependencies by an external program.
The same would apply for what is presented in Hyperdoc.
The output can be a (big) lisp expression, but its cumbersome to call
GETDATABASE for every single bit of information. That is too
unstructured. I would rather like to have something like

getExplicitExports(CONSTRUCTORNAME)
or
getAllExports(CONSTRUCTORNAME)

to get the exports as they are explicitly given in the .spad file for
the constructor or the joined form of all (inherited) exports.
And, perhaps also a way to give additional domain parameters so that one
can ask for where a specific operation is implemented.

Ralf

Reply all
Reply to author
Forward
0 new messages