home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / isetl / iters.t < prev    next >
Encoding:
Text File  |  1987-08-20  |  200 b   |  16 lines
  1. is_sym := func(R);
  2.         return forall [x,y] in R | [y,x] in R;
  3.       end;
  4.  
  5. lt := {[i,j] : i,j in [1..5] | i < j};
  6.  
  7. lt;
  8.  
  9. is_sym(lt);
  10.  
  11. mod3 := {[i,j] : i,j in [1..5] | (i-j) mod 3 = 0};
  12.  
  13. mod3;
  14.  
  15. is_sym(mod3);
  16.