It looks to me like the distinction in the article between "a=b(mod c)" and "a≡b (mod c)" is that the former expresses the result of "b mod c" (in J "c|b") whereas the latter asserts the modular equality of "a" and "b" under modulus "c" (in J "(c|a)=c|b").
In J, this latter so-called congruence might be better expressed as something like cgt=: 13 : '1=#~.x|y' as this permits simple array usage, e.g. 12 cgt 14 38 50 1 12 13 cgt 14 15 1 4 5 6 cgt 3 1 12 cgt 2+12*i.100 1 On 5/25/08, Raul Miller <[EMAIL PROTECTED]> wrote: > > On 5/25/08, Roger Hui <[EMAIL PROTECTED]> wrote: > > The Wikipedia article makes a distinction between > > a=b (mod c) and a≡b (mod c) . > > > Ironically, in J, this suggests: > a =&(c&|) b > vs. > a -:&(c&|) b > > -- > > Raul > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > -- Devon McCormick, CFA ^me^ at acm. org is my preferred e-mail
---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
