Ralf Hemmecke wrote:
>
> Suppose in a domain I have a domain that exports
>
> +: (%, %) -> %
>
> and I define a function
>
> /: ((%, %) -> %, List %) -> %
>
> and then write
>
> _+ / [a, b, c]
>
> for a, b, c of type %. Will the compiler use its internal knowledge
> about the "x" / list special grammar or will it use my definition of / ?
As written this will work as normal overloaded operator.
The special syntax requires string form, that is
"+" / [a, b, c]
If you use string form, then this will be transformed regardless
of other functions that you define.
--
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/E1i38UH-0004X3-O8%40hera.math.uni.wroc.pl.
