sorry, wrong: that’s commutativity didn’t get the order of thought and speech right, again
associativity right_associative =: v (b v c) left_associative =: (a v b) v c associative =: left_associative = right_associative sorry for the flooding Am 25.02.21 um 17:03 schrieb Hauke Rehr: > associativity: v = v~ for dyadic use > > Am 25.02.21 um 16:47 schrieb 'Sergey Kamenev' via Programming: >> Of course, I didn't mean primitives, but arbitrary verbs. >> >> I ran into an unoptimized expression v/\ when >> adding multiple points on an elliptic curve. >> >> And due to unoptimization, I began to rewrite the code in Fold. >> And I discovered an intuitively incomprehensible order of arguments in >> the V by Fold computing. >> >> By the way, what are associative verbs? >> >> Sergey. >> >> 25.02.2021 18:38, Henry Rich: >>> This is already done for associative atomic primitives. For other >>> associative verbs you have to use u/\.&.|. . >>> >>> Henry Rich >>> >>> On 2/25/2021 10:10 AM, 'Sergey Kamenev' via Programming wrote: >>>> +/\ 1 2 3 4 5 >>>> >>>> By computing partial sum every time is recomputed partial fold. >>>> >>>> It's time and CPU expensive. >>>> 1 >>>> 1+2 >>>> 1+2+3 - Sum 1+2 don't need to recalculated >>>> 1+2+3+4 - Sum 1+2+3 don't need to recalculated >>>> 1+2+3+4+5 - Sum 1+2+3+4 don't need to recalculated >>>> >>>> This optimization can be done for absolutely all verbs >>>> by adding an intermediate variable inside /\ implementation. >>>> >>>> Sergey. >>>> ---------------------------------------------------------------------- >>>> For information about J forums see http://www.jsoftware.com/forums.htm >>> >>> >> ---------------------------------------------------------------------- >> For information about J forums see http://www.jsoftware.com/forums.htm > -- ---------------------- mail written using NEO neo-layout.org ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
