On 14 Feb 2017 08:03, "Ralf Hemmecke" wrote:
On 02/14/2017 08:38 AM, Peter Broadbery wrote:
> Interesting. It definitely does work in .spad files (search for ^+\[).
Oh...
https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L146
count(f : S -> Boolean, c :
>
> On 02/14/2017 08:38 AM, Peter Broadbery wrote:
> > Interesting. It definitely does work in .spad files (search for ^+\[).
>
> Oh...
>
> https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L146
>
> count(f : S -> Boolean, c : %) == _+/[1 for x in parts c | f x]
>
> Then
On 02/14/2017 08:38 AM, Peter Broadbery wrote:
> Interesting. It definitely does work in .spad files (search for ^+\[).
Oh...
https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L146
count(f : S -> Boolean, c : %) == _+/[1 for x in parts c | f x]
Then it even looks like a
Interesting. It definitely does work in .spad files (search for ^+\[).
In any case, as written it's left to right. There's an argument that it
should be undefined - ie require an associative argument (for parallel
accumulation) but that is likely to be more work than I have time for at
the
Can it be that this /-fold-notation is interpreter-only in FriCAS?
fricas/src/algebra> grep '^[ "_]*/[ "]*:' *.spad
catdef.spad: "/": (%,%) -> %
catdef.spad: "/": (%,%) -> % ++ x/y is the same as x
times the inverse of y.
catdef.spad:"/" : (%, S) -> %