On Sun, Oct 22, 2023 at 08:09:43PM +0200, Ralf Hemmecke wrote:
> On 22.10.23 18:08, Waldek Hebisch wrote:
> > > Additionally, I am not so happy with the explicit appearance of "->" when
> > > translating the Mapping type. I somehow think that -> should become a
> > > special treatment like zag or slash or ...
> >
> > "->" is operator producing mapping types.
>
> Yes, but that is not the operator in OuputForm.
> See "rarrow".
>
> http://fricas.github.io/api/OutputForm.html#index-69
>
> rarrow produces an OutputForm with operator TAG and two arguments and
> probably all formatters know how this has to be printed (at least I can
> confirm this for the FormatXXX types.
>
> Can you change in Mapping_to_OutputForm(argl) the respective lines to
>
> ['TAG, nargs, rt]
>
> (I haven't tested it.)
I am not sure if this is proper thing. Namely '->' is special,
it applies _only_ to types. TAG is for ordinary values.
So semantic difference would be lost. AFAICS Latex have
different arrows for both uses, so it makes sense to have
different OutputForm-s for the two cases.
--
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZTkEgSzU7EiMKkFl%40fricas.org.
