On Tue, Jan 06, 2026 at 01:10:16AM +0100, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> On 1/5/26 14:21, Waldek Hebisch wrote:
> > I have now commited a package that exposes infomation equivalent
> > to used by Hyperdoc browser.
>
> Would it make sense, if I try to rewrite api.spad so that any "$Lisp" is
> replaced by the respective function from your new package?
It would be good to move to common representation. But this is
much more than "$Lisp" calls. Actually AFAICS api.spad make
relatively small number of "$Lisp" calls.
> > to what Ralf's package produces, mainly conditions may be
> > more complicated than needed and some origins are suboptimal.
> > But the best thing with conditions would be to simplify them
> > in the Spad compiler.
>
> If the compiler (erm, actually some fricas function or your package) would
> already return a simplified expression for the conditions that would be
> perfect. Otherwise, I think ConstructorData (and friends) from api.spad
> could be used.
Some simplifcations to work at all must be done pretty early.
Basically, once we put unsimplified condition on a signature in
a category if may be impossible to simplify it at later stages.
I mean, a condition in isolation can not be simplified and
simplification is possible only because the source (category)
that introduced given signature and we can simplify condition
on the involved category. Which means that good simplification
either will be in Spad compiler or must re-do work done by Spad
compiler. So doing work in Spad compiler looks better to me. But
Spad compiler is doing other things and fitting simplifications
here is not so easy. Still, in long term having several pieces of
code doing similar, but not identical things lead to increased
maintenence work, so I want to move simplifications to such
places that they can be used as widely as possible.
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/aV0asZ2b4yJK_Zky%40fricas.org.
