search

Dyalog / ullu

Testing primitives of DyalogAPL
MIT License
1 stars 0 forks source link

Membership tests with comparision tolerance #1

Closed sloorush closed 1 year ago

sloorush commented 1 year ago

The main branch still takes 500-600 seconds but this branch >1.5s :o

      unittest.RunTests test_membership 1 1

Options:
      verbose: 1
      stop: 1

 #.test_membership.Test_CT 

 CTDefault  645 :  [OK] 
 CTZero  645 :  [OK] 
 CTDefault  1287 :  [OK] 
 CTZero  1287 :  [OK] 
 CTDefault  1289 :  [OK] 
 CTZero  1289 :  [OK] 

 #.test_membership.Test_DR 

 tb1  for ⎕DR 11 :  [OK] 
 tb2  for ⎕DR 11 :  [OK] 
 tb3  for ⎕DR 11 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcross0  for ⎕DR 83 and 83 :  [OK] 
 tcross1  for ⎕DR 83 and 163 :  [OK] 
 tcross2  for ⎕DR 83 and 163 :  [OK] 
 tcross3  for ⎕DR 83 and 163 :  [OK] 
 tcross4  for ⎕DR 83 and 163 :  [OK] 
 tcross1  for ⎕DR 83 and 323 :  [OK] 
 tcross2  for ⎕DR 83 and 323 :  [OK] 
 tcross3  for ⎕DR 83 and 323 :  [OK] 
 tcross4  for ⎕DR 83 and 323 :  [OK] 
 tcross1  for ⎕DR 83 and 80 :  [OK] 
 tcross2  for ⎕DR 83 and 80 :  [OK] 
 tcross3  for ⎕DR 83 and 80 :  [OK] 
 tcross4  for ⎕DR 83 and 80 :  [OK] 
 tcross1  for ⎕DR 83 and 160 :  [OK] 
 tcross2  for ⎕DR 83 and 160 :  [OK] 
 tcross3  for ⎕DR 83 and 160 :  [OK] 
 tcross4  for ⎕DR 83 and 160 :  [OK] 
 tcross1  for ⎕DR 83 and 320 :  [OK] 
 tcross2  for ⎕DR 83 and 320 :  [OK] 
 tcross3  for ⎕DR 83 and 320 :  [OK] 
 tcross4  for ⎕DR 83 and 320 :  [OK] 
 tcross1  for ⎕DR 83 and 326 :  [OK] 
 tcross2  for ⎕DR 83 and 326 :  [OK] 
 tcross3  for ⎕DR 83 and 326 :  [OK] 
 tcross4  for ⎕DR 83 and 326 :  [OK] 
 tcross1  for ⎕DR 83 and 645 :  [OK] 
 tcross2  for ⎕DR 83 and 645 :  [OK] 
 tcross3  for ⎕DR 83 and 645 :  [OK] 
 tcross4  for ⎕DR 83 and 645 :  [OK] 
 tcross1  for ⎕DR 83 and 1287 :  [OK] 
 tcross2  for ⎕DR 83 and 1287 :  [OK] 
 tcross3  for ⎕DR 83 and 1287 :  [OK] 
 tcross4  for ⎕DR 83 and 1287 :  [OK] 
 tcross1  for ⎕DR 83 and 1289 :  [OK] 
 tcross2  for ⎕DR 83 and 1289 :  [OK] 
 tcross3  for ⎕DR 83 and 1289 :  [OK] 
 tcross4  for ⎕DR 83 and 1289 :  [OK] 
 t1  for ⎕DR 83 :  [OK] 
 t2  for ⎕DR 83 :  [OK] 
 t3  for ⎕DR 83 :  [OK] 
 t4.1  for ⎕DR 83 :  [OK] 
 tcross1  for ⎕DR 163 and 83 :  [OK] 
 tcross2  for ⎕DR 163 and 83 :  [OK] 
 tcross3  for ⎕DR 163 and 83 :  [OK] 
 tcross4  for ⎕DR 163 and 83 :  [OK] 
 tcross0  for ⎕DR 163 and 163 :  [OK] 
 tcross1  for ⎕DR 163 and 323 :  [OK] 
 tcross2  for ⎕DR 163 and 323 :  [OK] 
 tcross3  for ⎕DR 163 and 323 :  [OK] 
 tcross4  for ⎕DR 163 and 323 :  [OK] 
 tcross1  for ⎕DR 163 and 80 :  [OK] 
 tcross2  for ⎕DR 163 and 80 :  [OK] 
 tcross3  for ⎕DR 163 and 80 :  [OK] 
 tcross4  for ⎕DR 163 and 80 :  [OK] 
 tcross1  for ⎕DR 163 and 160 :  [OK] 
 tcross2  for ⎕DR 163 and 160 :  [OK] 
 tcross3  for ⎕DR 163 and 160 :  [OK] 
 tcross4  for ⎕DR 163 and 160 :  [OK] 
 tcross1  for ⎕DR 163 and 320 :  [OK] 
 tcross2  for ⎕DR 163 and 320 :  [OK] 
 tcross3  for ⎕DR 163 and 320 :  [OK] 
 tcross4  for ⎕DR 163 and 320 :  [OK] 
 tcross1  for ⎕DR 163 and 326 :  [OK] 
 tcross2  for ⎕DR 163 and 326 :  [OK] 
 tcross3  for ⎕DR 163 and 326 :  [OK] 
 tcross4  for ⎕DR 163 and 326 :  [OK] 
 tcross1  for ⎕DR 163 and 645 :  [OK] 
 tcross2  for ⎕DR 163 and 645 :  [OK] 
 tcross3  for ⎕DR 163 and 645 :  [OK] 
 tcross4  for ⎕DR 163 and 645 :  [OK] 
 tcross1  for ⎕DR 163 and 1287 :  [OK] 
 tcross2  for ⎕DR 163 and 1287 :  [OK] 
 tcross3  for ⎕DR 163 and 1287 :  [OK] 
 tcross4  for ⎕DR 163 and 1287 :  [OK] 
 tcross1  for ⎕DR 163 and 1289 :  [OK] 
 tcross2  for ⎕DR 163 and 1289 :  [OK] 
 tcross3  for ⎕DR 163 and 1289 :  [OK] 
 tcross4  for ⎕DR 163 and 1289 :  [OK] 
 t1  for ⎕DR 163 :  [OK] 
 t2  for ⎕DR 163 :  [OK] 
 t3  for ⎕DR 163 :  [OK] 
 t4.1  for ⎕DR 163 :  [OK] 
 tcross1  for ⎕DR 323 and 83 :  [OK] 
 tcross2  for ⎕DR 323 and 83 :  [OK] 
 tcross3  for ⎕DR 323 and 83 :  [OK] 
 tcross4  for ⎕DR 323 and 83 :  [OK] 
 tcross1  for ⎕DR 323 and 163 :  [OK] 
 tcross2  for ⎕DR 323 and 163 :  [OK] 
 tcross3  for ⎕DR 323 and 163 :  [OK] 
 tcross4  for ⎕DR 323 and 163 :  [OK] 
 tcross0  for ⎕DR 323 and 323 :  [OK] 
 tcross1  for ⎕DR 323 and 80 :  [OK] 
 tcross2  for ⎕DR 323 and 80 :  [OK] 
 tcross3  for ⎕DR 323 and 80 :  [OK] 
 tcross4  for ⎕DR 323 and 80 :  [OK] 
 tcross1  for ⎕DR 323 and 160 :  [OK] 
 tcross2  for ⎕DR 323 and 160 :  [OK] 
 tcross3  for ⎕DR 323 and 160 :  [OK] 
 tcross4  for ⎕DR 323 and 160 :  [OK] 
 tcross1  for ⎕DR 323 and 320 :  [OK] 
 tcross2  for ⎕DR 323 and 320 :  [OK] 
 tcross3  for ⎕DR 323 and 320 :  [OK] 
 tcross4  for ⎕DR 323 and 320 :  [OK] 
 tcross1  for ⎕DR 323 and 326 :  [OK] 
 tcross2  for ⎕DR 323 and 326 :  [OK] 
 tcross3  for ⎕DR 323 and 326 :  [OK] 
 tcross4  for ⎕DR 323 and 326 :  [OK] 
 tcross1  for ⎕DR 323 and 645 :  [OK] 
 tcross2  for ⎕DR 323 and 645 :  [OK] 
 tcross3  for ⎕DR 323 and 645 :  [OK] 
 tcross4  for ⎕DR 323 and 645 :  [OK] 
 tcross1  for ⎕DR 323 and 1287 :  [OK] 
 tcross2  for ⎕DR 323 and 1287 :  [OK] 
 tcross3  for ⎕DR 323 and 1287 :  [OK] 
 tcross4  for ⎕DR 323 and 1287 :  [OK] 
 tcross1  for ⎕DR 323 and 1289 :  [OK] 
 tcross2  for ⎕DR 323 and 1289 :  [OK] 
 tcross3  for ⎕DR 323 and 1289 :  [OK] 
 tcross4  for ⎕DR 323 and 1289 :  [OK] 
 t1  for ⎕DR 323 :  [OK] 
 t2  for ⎕DR 323 :  [OK] 
 t3  for ⎕DR 323 :  [OK] 
 t4.1  for ⎕DR 323 :  [OK] 
 tcross1  for ⎕DR 80 and 83 :  [OK] 
 tcross2  for ⎕DR 80 and 83 :  [OK] 
 tcross3  for ⎕DR 80 and 83 :  [OK] 
 tcross4  for ⎕DR 80 and 83 :  [OK] 
 tcross1  for ⎕DR 80 and 163 :  [OK] 
 tcross2  for ⎕DR 80 and 163 :  [OK] 
 tcross3  for ⎕DR 80 and 163 :  [OK] 
 tcross4  for ⎕DR 80 and 163 :  [OK] 
 tcross1  for ⎕DR 80 and 323 :  [OK] 
 tcross2  for ⎕DR 80 and 323 :  [OK] 
 tcross3  for ⎕DR 80 and 323 :  [OK] 
 tcross4  for ⎕DR 80 and 323 :  [OK] 
 tcross0  for ⎕DR 80 and 80 :  [OK] 
 tcross1  for ⎕DR 80 and 160 :  [OK] 
 tcross2  for ⎕DR 80 and 160 :  [OK] 
 tcross3  for ⎕DR 80 and 160 :  [OK] 
 tcross4  for ⎕DR 80 and 160 :  [OK] 
 tcross1  for ⎕DR 80 and 320 :  [OK] 
 tcross2  for ⎕DR 80 and 320 :  [OK] 
 tcross3  for ⎕DR 80 and 320 :  [OK] 
 tcross4  for ⎕DR 80 and 320 :  [OK] 
 tcross1  for ⎕DR 80 and 326 :  [OK] 
 tcross2  for ⎕DR 80 and 326 :  [OK] 
 tcross3  for ⎕DR 80 and 326 :  [OK] 
 tcross4  for ⎕DR 80 and 326 :  [OK] 
 tcross1  for ⎕DR 80 and 645 :  [OK] 
 tcross2  for ⎕DR 80 and 645 :  [OK] 
 tcross3  for ⎕DR 80 and 645 :  [OK] 
 tcross4  for ⎕DR 80 and 645 :  [OK] 
 tcross1  for ⎕DR 80 and 1287 :  [OK] 
 tcross2  for ⎕DR 80 and 1287 :  [OK] 
 tcross3  for ⎕DR 80 and 1287 :  [OK] 
 tcross4  for ⎕DR 80 and 1287 :  [OK] 
 tcross1  for ⎕DR 80 and 1289 :  [OK] 
 tcross2  for ⎕DR 80 and 1289 :  [OK] 
 tcross3  for ⎕DR 80 and 1289 :  [OK] 
 tcross4  for ⎕DR 80 and 1289 :  [OK] 
 t1  for ⎕DR 80 :  [OK] 
 t2  for ⎕DR 80 :  [OK] 
 t3  for ⎕DR 80 :  [OK] 
 t4.2  for ⎕DR 80 :  [OK] 
 tcross1  for ⎕DR 160 and 83 :  [OK] 
 tcross2  for ⎕DR 160 and 83 :  [OK] 
 tcross3  for ⎕DR 160 and 83 :  [OK] 
 tcross4  for ⎕DR 160 and 83 :  [OK] 
 tcross1  for ⎕DR 160 and 163 :  [OK] 
 tcross2  for ⎕DR 160 and 163 :  [OK] 
 tcross3  for ⎕DR 160 and 163 :  [OK] 
 tcross4  for ⎕DR 160 and 163 :  [OK] 
 tcross1  for ⎕DR 160 and 323 :  [OK] 
 tcross2  for ⎕DR 160 and 323 :  [OK] 
 tcross3  for ⎕DR 160 and 323 :  [OK] 
 tcross4  for ⎕DR 160 and 323 :  [OK] 
 tcross1  for ⎕DR 160 and 80 :  [OK] 
 tcross2  for ⎕DR 160 and 80 :  [OK] 
 tcross3  for ⎕DR 160 and 80 :  [OK] 
 tcross4  for ⎕DR 160 and 80 :  [OK] 
 tcross0  for ⎕DR 160 and 160 :  [OK] 
 tcross1  for ⎕DR 160 and 320 :  [OK] 
 tcross2  for ⎕DR 160 and 320 :  [OK] 
 tcross3  for ⎕DR 160 and 320 :  [OK] 
 tcross4  for ⎕DR 160 and 320 :  [OK] 
 tcross1  for ⎕DR 160 and 326 :  [OK] 
 tcross2  for ⎕DR 160 and 326 :  [OK] 
 tcross3  for ⎕DR 160 and 326 :  [OK] 
 tcross4  for ⎕DR 160 and 326 :  [OK] 
 tcross1  for ⎕DR 160 and 645 :  [OK] 
 tcross2  for ⎕DR 160 and 645 :  [OK] 
 tcross3  for ⎕DR 160 and 645 :  [OK] 
 tcross4  for ⎕DR 160 and 645 :  [OK] 
 tcross1  for ⎕DR 160 and 1287 :  [OK] 
 tcross2  for ⎕DR 160 and 1287 :  [OK] 
 tcross3  for ⎕DR 160 and 1287 :  [OK] 
 tcross4  for ⎕DR 160 and 1287 :  [OK] 
 tcross1  for ⎕DR 160 and 1289 :  [OK] 
 tcross2  for ⎕DR 160 and 1289 :  [OK] 
 tcross3  for ⎕DR 160 and 1289 :  [OK] 
 tcross4  for ⎕DR 160 and 1289 :  [OK] 
 t1  for ⎕DR 160 :  [OK] 
 t2  for ⎕DR 160 :  [OK] 
 t3  for ⎕DR 160 :  [OK] 
 t4.2  for ⎕DR 160 :  [OK] 
 tcross1  for ⎕DR 320 and 83 :  [OK] 
 tcross2  for ⎕DR 320 and 83 :  [OK] 
 tcross3  for ⎕DR 320 and 83 :  [OK] 
 tcross4  for ⎕DR 320 and 83 :  [OK] 
 tcross1  for ⎕DR 320 and 163 :  [OK] 
 tcross2  for ⎕DR 320 and 163 :  [OK] 
 tcross3  for ⎕DR 320 and 163 :  [OK] 
 tcross4  for ⎕DR 320 and 163 :  [OK] 
 tcross1  for ⎕DR 320 and 323 :  [OK] 
 tcross2  for ⎕DR 320 and 323 :  [OK] 
 tcross3  for ⎕DR 320 and 323 :  [OK] 
 tcross4  for ⎕DR 320 and 323 :  [OK] 
 tcross1  for ⎕DR 320 and 80 :  [OK] 
 tcross2  for ⎕DR 320 and 80 :  [OK] 
 tcross3  for ⎕DR 320 and 80 :  [OK] 
 tcross4  for ⎕DR 320 and 80 :  [OK] 
 tcross1  for ⎕DR 320 and 160 :  [OK] 
 tcross2  for ⎕DR 320 and 160 :  [OK] 
 tcross3  for ⎕DR 320 and 160 :  [OK] 
 tcross4  for ⎕DR 320 and 160 :  [OK] 
 tcross0  for ⎕DR 320 and 320 :  [OK] 
 tcross1  for ⎕DR 320 and 326 :  [OK] 
 tcross2  for ⎕DR 320 and 326 :  [OK] 
 tcross3  for ⎕DR 320 and 326 :  [OK] 
 tcross4  for ⎕DR 320 and 326 :  [OK] 
 tcross1  for ⎕DR 320 and 645 :  [OK] 
 tcross2  for ⎕DR 320 and 645 :  [OK] 
 tcross3  for ⎕DR 320 and 645 :  [OK] 
 tcross4  for ⎕DR 320 and 645 :  [OK] 
 tcross1  for ⎕DR 320 and 1287 :  [OK] 
 tcross2  for ⎕DR 320 and 1287 :  [OK] 
 tcross3  for ⎕DR 320 and 1287 :  [OK] 
 tcross4  for ⎕DR 320 and 1287 :  [OK] 
 tcross1  for ⎕DR 320 and 1289 :  [OK] 
 tcross2  for ⎕DR 320 and 1289 :  [OK] 
 tcross3  for ⎕DR 320 and 1289 :  [OK] 
 tcross4  for ⎕DR 320 and 1289 :  [OK] 
 t1  for ⎕DR 320 :  [OK] 
 t2  for ⎕DR 320 :  [OK] 
 t3  for ⎕DR 320 :  [OK] 
 t4.2  for ⎕DR 320 :  [OK] 
 tcross1  for ⎕DR 326 and 83 :  [OK] 
 tcross2  for ⎕DR 326 and 83 :  [OK] 
 tcross3  for ⎕DR 326 and 83 :  [OK] 
 tcross4  for ⎕DR 326 and 83 :  [OK] 
 tcross1  for ⎕DR 326 and 163 :  [OK] 
 tcross2  for ⎕DR 326 and 163 :  [OK] 
 tcross3  for ⎕DR 326 and 163 :  [OK] 
 tcross4  for ⎕DR 326 and 163 :  [OK] 
 tcross1  for ⎕DR 326 and 323 :  [OK] 
 tcross2  for ⎕DR 326 and 323 :  [OK] 
 tcross3  for ⎕DR 326 and 323 :  [OK] 
 tcross4  for ⎕DR 326 and 323 :  [OK] 
 tcross1  for ⎕DR 326 and 80 :  [OK] 
 tcross2  for ⎕DR 326 and 80 :  [OK] 
 tcross3  for ⎕DR 326 and 80 :  [OK] 
 tcross4  for ⎕DR 326 and 80 :  [OK] 
 tcross1  for ⎕DR 326 and 160 :  [OK] 
 tcross2  for ⎕DR 326 and 160 :  [OK] 
 tcross3  for ⎕DR 326 and 160 :  [OK] 
 tcross4  for ⎕DR 326 and 160 :  [OK] 
 tcross1  for ⎕DR 326 and 320 :  [OK] 
 tcross2  for ⎕DR 326 and 320 :  [OK] 
 tcross3  for ⎕DR 326 and 320 :  [OK] 
 tcross4  for ⎕DR 326 and 320 :  [OK] 
 tcross0  for ⎕DR 326 and 326 :  [OK] 
 tcross1  for ⎕DR 326 and 645 :  [OK] 
 tcross2  for ⎕DR 326 and 645 :  [OK] 
 tcross3  for ⎕DR 326 and 645 :  [OK] 
 tcross4  for ⎕DR 326 and 645 :  [OK] 
 tcross1  for ⎕DR 326 and 1287 :  [OK] 
 tcross2  for ⎕DR 326 and 1287 :  [OK] 
 tcross3  for ⎕DR 326 and 1287 :  [OK] 
 tcross4  for ⎕DR 326 and 1287 :  [OK] 
 tcross1  for ⎕DR 326 and 1289 :  [OK] 
 tcross2  for ⎕DR 326 and 1289 :  [OK] 
 tcross3  for ⎕DR 326 and 1289 :  [OK] 
 tcross4  for ⎕DR 326 and 1289 :  [OK] 
 t1  for ⎕DR 326 :  [OK] 
 t2  for ⎕DR 326 :  [OK] 
 t3  for ⎕DR 326 :  [OK] 
 tcross1  for ⎕DR 645 and 83 :  [OK] 
 tcross2  for ⎕DR 645 and 83 :  [OK] 
 tcross3  for ⎕DR 645 and 83 :  [OK] 
 tcross4  for ⎕DR 645 and 83 :  [OK] 
 tcross1  for ⎕DR 645 and 163 :  [OK] 
 tcross2  for ⎕DR 645 and 163 :  [OK] 
 tcross3  for ⎕DR 645 and 163 :  [OK] 
 tcross4  for ⎕DR 645 and 163 :  [OK] 
 tcross1  for ⎕DR 645 and 323 :  [OK] 
 tcross2  for ⎕DR 645 and 323 :  [OK] 
 tcross3  for ⎕DR 645 and 323 :  [OK] 
 tcross4  for ⎕DR 645 and 323 :  [OK] 
 tcross1  for ⎕DR 645 and 80 :  [OK] 
 tcross2  for ⎕DR 645 and 80 :  [OK] 
 tcross3  for ⎕DR 645 and 80 :  [OK] 
 tcross4  for ⎕DR 645 and 80 :  [OK] 
 tcross1  for ⎕DR 645 and 160 :  [OK] 
 tcross2  for ⎕DR 645 and 160 :  [OK] 
 tcross3  for ⎕DR 645 and 160 :  [OK] 
 tcross4  for ⎕DR 645 and 160 :  [OK] 
 tcross1  for ⎕DR 645 and 320 :  [OK] 
 tcross2  for ⎕DR 645 and 320 :  [OK] 
 tcross3  for ⎕DR 645 and 320 :  [OK] 
 tcross4  for ⎕DR 645 and 320 :  [OK] 
 tcross1  for ⎕DR 645 and 326 :  [OK] 
 tcross2  for ⎕DR 645 and 326 :  [OK] 
 tcross3  for ⎕DR 645 and 326 :  [OK] 
 tcross4  for ⎕DR 645 and 326 :  [OK] 
 tcross0  for ⎕DR 645 and 645 :  [OK] 
 tcross1  for ⎕DR 645 and 1287 :  [OK] 
 tcross2  for ⎕DR 645 and 1287 :  [OK] 
 tcross3  for ⎕DR 645 and 1287 :  [OK] 
 tcross4  for ⎕DR 645 and 1287 :  [OK] 
 tcross1  for ⎕DR 645 and 1289 :  [OK] 
 tcross2  for ⎕DR 645 and 1289 :  [OK] 
 tcross3  for ⎕DR 645 and 1289 :  [OK] 
 tcross4  for ⎕DR 645 and 1289 :  [OK] 
 t1  for ⎕DR 645 :  [OK] 
 t2  for ⎕DR 645 :  [OK] 
 t3  for ⎕DR 645 :  [OK] 
 t4.1  for ⎕DR 645 :  [OK] 
 tcross1  for ⎕DR 1287 and 83 :  [OK] 
 tcross2  for ⎕DR 1287 and 83 :  [OK] 
 tcross3  for ⎕DR 1287 and 83 :  [OK] 
 tcross4  for ⎕DR 1287 and 83 :  [OK] 
 tcross1  for ⎕DR 1287 and 163 :  [OK] 
 tcross2  for ⎕DR 1287 and 163 :  [OK] 
 tcross3  for ⎕DR 1287 and 163 :  [OK] 
 tcross4  for ⎕DR 1287 and 163 :  [OK] 
 tcross1  for ⎕DR 1287 and 323 :  [OK] 
 tcross2  for ⎕DR 1287 and 323 :  [OK] 
 tcross3  for ⎕DR 1287 and 323 :  [OK] 
 tcross4  for ⎕DR 1287 and 323 :  [OK] 
 tcross1  for ⎕DR 1287 and 80 :  [OK] 
 tcross2  for ⎕DR 1287 and 80 :  [OK] 
 tcross3  for ⎕DR 1287 and 80 :  [OK] 
 tcross4  for ⎕DR 1287 and 80 :  [OK] 
 tcross1  for ⎕DR 1287 and 160 :  [OK] 
 tcross2  for ⎕DR 1287 and 160 :  [OK] 
 tcross3  for ⎕DR 1287 and 160 :  [OK] 
 tcross4  for ⎕DR 1287 and 160 :  [OK] 
 tcross1  for ⎕DR 1287 and 320 :  [OK] 
 tcross2  for ⎕DR 1287 and 320 :  [OK] 
 tcross3  for ⎕DR 1287 and 320 :  [OK] 
 tcross4  for ⎕DR 1287 and 320 :  [OK] 
 tcross1  for ⎕DR 1287 and 326 :  [OK] 
 tcross2  for ⎕DR 1287 and 326 :  [OK] 
 tcross3  for ⎕DR 1287 and 326 :  [OK] 
 tcross4  for ⎕DR 1287 and 326 :  [OK] 
 tcross1  for ⎕DR 1287 and 645 :  [OK] 
 tcross2  for ⎕DR 1287 and 645 :  [OK] 
 tcross3  for ⎕DR 1287 and 645 :  [OK] 
 tcross4  for ⎕DR 1287 and 645 :  [OK] 
 tcross0  for ⎕DR 1287 and 1287 :  [OK] 
 tcross1  for ⎕DR 1287 and 1289 :  [OK] 
 tcross2  for ⎕DR 1287 and 1289 :  [OK] 
 tcross3  for ⎕DR 1287 and 1289 :  [OK] 
 tcross4  for ⎕DR 1287 and 1289 :  [OK] 
 t1  for ⎕DR 1287 :  [OK] 
 t2  for ⎕DR 1287 :  [OK] 
 t3  for ⎕DR 1287 :  [OK] 
 t4.1  for ⎕DR 1287 :  [OK] 
 tcross1  for ⎕DR 1289 and 83 :  [OK] 
 tcross2  for ⎕DR 1289 and 83 :  [OK] 
 tcross3  for ⎕DR 1289 and 83 :  [OK] 
 tcross4  for ⎕DR 1289 and 83 :  [OK] 
 tcross1  for ⎕DR 1289 and 163 :  [OK] 
 tcross2  for ⎕DR 1289 and 163 :  [OK] 
 tcross3  for ⎕DR 1289 and 163 :  [OK] 
 tcross4  for ⎕DR 1289 and 163 :  [OK] 
 tcross1  for ⎕DR 1289 and 323 :  [OK] 
 tcross2  for ⎕DR 1289 and 323 :  [OK] 
 tcross3  for ⎕DR 1289 and 323 :  [OK] 
 tcross4  for ⎕DR 1289 and 323 :  [OK] 
 tcross1  for ⎕DR 1289 and 80 :  [OK] 
 tcross2  for ⎕DR 1289 and 80 :  [OK] 
 tcross3  for ⎕DR 1289 and 80 :  [OK] 
 tcross4  for ⎕DR 1289 and 80 :  [OK] 
 tcross1  for ⎕DR 1289 and 160 :  [OK] 
 tcross2  for ⎕DR 1289 and 160 :  [OK] 
 tcross3  for ⎕DR 1289 and 160 :  [OK] 
 tcross4  for ⎕DR 1289 and 160 :  [OK] 
 tcross1  for ⎕DR 1289 and 320 :  [OK] 
 tcross2  for ⎕DR 1289 and 320 :  [OK] 
 tcross3  for ⎕DR 1289 and 320 :  [OK] 
 tcross4  for ⎕DR 1289 and 320 :  [OK] 
 tcross1  for ⎕DR 1289 and 326 :  [OK] 
 tcross2  for ⎕DR 1289 and 326 :  [OK] 
 tcross3  for ⎕DR 1289 and 326 :  [OK] 
 tcross4  for ⎕DR 1289 and 326 :  [OK] 
 tcross1  for ⎕DR 1289 and 645 :  [OK] 
 tcross2  for ⎕DR 1289 and 645 :  [OK] 
 tcross3  for ⎕DR 1289 and 645 :  [OK] 
 tcross4  for ⎕DR 1289 and 645 :  [OK] 
 tcross1  for ⎕DR 1289 and 1287 :  [OK] 
 tcross2  for ⎕DR 1289 and 1287 :  [OK] 
 tcross3  for ⎕DR 1289 and 1287 :  [OK] 
 tcross4  for ⎕DR 1289 and 1287 :  [OK] 
 tcross0  for ⎕DR 1289 and 1289 :  [OK] 
 t1  for ⎕DR 1289 :  [OK] 
 t2  for ⎕DR 1289 :  [OK] 
 t3  for ⎕DR 1289 :  [OK] 
 t4.1  for ⎕DR 1289 :  [OK] 

Tests completed:  438 ran, 0 failed test, 438 successes in 1.232 s