User:⊂⍺m: Difference between revisions

Jump to navigation Jump to search
143 bytes removed ,  19:55, 10 July 2023
m
→‎frame agreement operator: remove redundant line
m (add heading)
m (→‎frame agreement operator: remove redundant line)
Line 46: Line 46:
           rm←r(⌊∘≢∘⍴)¨⍺ ⍵                ⍝ modified ranks; rm⍲.>(≢⍴)¨⍺ ⍵
           rm←r(⌊∘≢∘⍴)¨⍺ ⍵                ⍝ modified ranks; rm⍲.>(≢⍴)¨⍺ ⍵
           lf rf←(-rm)↓¨⍴¨⍺⍵              ⍝ frames
           lf rf←(-rm)↓¨⍴¨⍺⍵              ⍝ frames
          lf rf←(-r)(⊣↓⌊∘≢)¨⍴¨⍺⍵          ⍝ frames; asymmetry: prevent over-take resulting from r∨.>≢∘⍴¨⍺⍵
           cf←lf{⍺<⍥≢⍵:⍺ ⋄ ⍵}rf            ⍝ common frame, assuming frames agree
           cf←lf{⍺<⍥≢⍵:⍺ ⋄ ⍵}rf            ⍝ common frame, assuming frames agree
           k←{⍬≡⍵:99 ⋄ -≢⍵}cf              ⍝ relative rank; asymmetry: cf≡⍬ associated with ⍤99, not ⍤0
           k←{⍬≡⍵:99 ⋄ -≢⍵}cf              ⍝ relative rank; asymmetry: cf≡⍬ associated with ⍤99, not ⍤0
trusted
83

edits

Navigation menu