home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / isetl / map2.t < prev    next >
Encoding:
Text File  |  1987-08-20  |  652 b   |  41 lines
  1.    gt:={[i,j]: i in [1..5], j in [1..5] | i > j};
  2.    hold := gt;
  3.  
  4. ["gt", gt];
  5. gt(0); gt(2); gt{4};
  6. gt{0}; gt{2};
  7.  
  8.    gt{4} := {};
  9. gt;
  10.  
  11.    gt := hold;
  12.    "gt{5} := om";
  13.    gt{5} := om;
  14. gt;
  15.  
  16.    gt := hold;
  17.    "gt{4} := {7,8,9,10}";
  18.    gt{4} := {7,8,9,10};
  19. gt;
  20.  
  21.    gt := hold;
  22. "{ [x,y]: y=gt{x} }";
  23. { [x,y]: y=gt{x} };
  24.  
  25.    gt := { [[i,j], i>j] : i in [1..5], j in [1..5] };
  26.    "{ [[i,j], i>j] : i in [1..5], j in [1..5] }";
  27. gt;
  28.  
  29. gt(3,4); gt(4,3);
  30. gt{3,4}; gt{4,3};
  31.  
  32. "{ [x,y]: y=gt{x} }";
  33. { [x,y]: y=gt{x} };
  34. "{ [x,y]: y=gt(x) }";
  35. { [x,y]: y=gt(x) };
  36.  
  37. "{ x : y=gt(x) | y }";
  38. { x : y=gt(x) | y };
  39. "{ [i,j] : y = gt(i,j) | y }";
  40. { [i,j] : y = gt(i,j) | y };
  41.