chiark - git - mdw - xyla/blob - t/commontest.in

   1 ;;; Manually constructed common tree tests.
   2
   3 :;; insertion
   4 = _ 5+ ! 6+ ! 7+ ! 8+ ! 9+ ! 10+ ! 11+ K
   5     1+ ! 2+ ! 3+ ! 4+ K
   6
   7 :
   8 :;; initial population for upcoming tests
   9 = _ 1+ ! 2+ ! 3+ ! 4+ ! 5+ ! 6+ ! 7+ ! 8+ ! 9+ K
  10
  11 :
  12 :;; lookup
  13 5?n 10?n
  14 4,?n 9,?n
  15
  16 :
  17 :;; iteration
  18 i j
  19
  20 :
  21 :;; path motion and ascension
  22 "
  23 [pk^ >pk^ >pk^ >pk^ -
  24 ]pk^ <pk^ <pk^
  25 5@p^ <pk^
  26 4@p^ <p^ }p^
  27 4@p^ >p^ {p^
  28 0@p^ >p^
  29 10@p^ <p^
  30
  31 6@ rlp un un un un un
  32 tp^ up
  33
  34 =_ tp^ [p^ 1+ tp^ [p^
  35 )
  36
  37 :
  38 :;; remove
  39 " 7k- ! 6k- ! 4k- ! [k- ! ]<<k- ! 2k- ! 3k- ! 8k- ! 9k- i ! )
  40
  41 :
  42 :;; join
  43 " ( 11+ 13+ 12+ K *k~ K )
  44 " ( 11+ 13+ 12+ K 10k~ K )
  45 " ( 11+ K 10k~ K )
  46 " ( K 10k~ K )
  47 " ( K *k~ K )
  48 " ( 11+ 12+ 13+ 14+ 15+ 16+ 17+ 18+ 19+ 20+ K 10k~ K )
  49
  50 :
  51 :;; split
  52 =_ #31B K
  53 " 18@p/ K ) K ) K )
  54 " 17,@{p/ K ) K ) K )
  55 " 18@}p/ K ) K ) K )
  56 " 17k- 17@p/ K ) K ) K )
  57 " 19k- 18,@{p/ K ) K ) K )
  58
  59 :
  60 :;; set ops
  61 = _
  62    1+  3+  5+  7+  9+ 11+ 13+ 15+ K
  63 (  2+  3+  6+  7+ 10+ 11+ 14+ 15+ K
  64 |
  65 :union
  66 K )
  67 :intersection
  68 K
  69
  70 = _
  71 :a
  72    1+  3+  5+  7+  9+ 11+ 13+ 15+ K
  73 :b
  74 (  2+  3+  6+  7+ 10+ 11+ 14+ 15+ K
  75 \
  76 :difference
  77 K )
  78 :intersection
  79 K )
  80 :a original
  81 K
  82
  83 :
  84 :;; clear everything.
  85 = _
  86
  87 :
  88 :;;;----- That's all, folks -------------------------------------------------