On Mon, Nov 24, 2025 at 06:21:06PM +0100, Grégory Vanuxem wrote:
> Le lun. 24 nov. 2025 à 08:29, 'Ralf Hemmecke' via FriCAS - computer
> algebra system <[email protected]> a écrit :
> >
> > As far as I can tell, both versions are syntactically correct.
> > I would agree, though, that adding a comma, looks more pleasing.
> > Maybe the following sessing helps to understand.
> >
> > There is an elt function call, if there is no comma.
> >
> > https://fricas.github.io/api/StringAggregate.html#l537472696e67416767726567617465-656c74
>
> Sorry, but I wonder how you find this reference so easily? Apparently.
I am affraid that one needs to know that to apply a to b FriCAS
need an 'elt' function in appropriate domain. Using HyperDoc one
can see that String has 'elt'. Looking at implementations one
can see that 'elt: (%, %) -> %' is implemented in StringAggregate.
I am not sur what tactic Ralf used, but one can find ancestors of
String and one by one check which one implements 'elt'.
--
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/aSSu062Xps2s9anK%40fricas.org.
