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 moment.
On 14 Feb 2017 07:28, "Ralf Hemmecke" <r...@hemmecke.org> wrote: 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) -> % equation1.spad: "/": (%, %) -> % ffnb.spad: "/" :(VGF,VGF) -> VGF float.spad: _/ : (%, I) -> % fraction.spad: _/ : (%, R) -> % fraction.spad: _/ : (M, R) -> % fraction.spad: _/ : (%, R) -> % fraction.spad: _/ : (A, R) -> % fraction.spad: _/ : (S, S) -> % fspace.spad: "/" : (MP, MP) -> % mantepse.spad: _/ : (%, %) -> % mantepse.spad: _/ : (%, %) -> % matcat.spad: "/": (%,R) -> % matcat.spad: "/": (%,R) -> % mkfunc.spad: "/" : (%, %) -> % outform.spad: "/": (%, %) -> % pattern.spad: "/" : (%, %) -> % sf.spad: _/ : (%, Integer) -> % sttaylor.spad: "/" : (ST A,ST A) -> ST A xlpoly.spad: "/" : (%,R) -> % Ralf On 02/13/2017 11:29 PM, Peter Broadbery wrote: > It should match axiom's notation. Will check against it and document- unless you > want to take a look? > > On 13 Feb 2017 21:01, "Ralf Hemmecke" <r...@hemmecke.org > <mailto:r...@hemmecke.org>> wrote: > > Hi Peter, > > In 5dae29765f95c0c127034b87ecbd78d8dc77150f you touch the file > lib/aldor/src/datastruc/sal_fold.as > > I would probably have introduced the names foldl and foldr. > > Suppose Z==>Integer and that I have a non-associative function f:(Z,Z)->Z. > > Without documentation, I don't know whether > > f / [1,2,3,4] > > is equivalent to > > f(1, f(2, f(3, 4))) > > or to > > f(f(f(1, 2), 3), 4) > > Doesn't make that the "/" notation useless? > > I can probably live with using \ for the second fold direction, but not > without documentation for either of them. > > Ralf -- You received this message because you are subscribed to the Google Groups "aldor-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to aldor-devel+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- 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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
