aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/ML4PG/coq/auxiliary_files.el
blob: 95a4ce0a1627fd6075c436cf44609452b0c2c004 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(defun ml4pg-quicksort-pair (list)
  (if (<= (length list) 1)
      list
      (let ((pivot (cadar list)))
	(append	(ml4pg-quicksort-pair (remove-if-not #'(lambda (x) (> (cadr x) pivot)) list))
	  (remove-if-not #'(lambda (x) (= (cadr x) pivot)) list)
          (ml4pg-quicksort-pair (remove-if-not #'(lambda (x) (< (cadr x) pivot)) list))))))

  
(defun ml4pg-zip (l1 l2)
  (do ((temp1 l1 (cdr temp1))
       (temp2 l2 (cdr temp2))
       (res nil))
      ((endp temp1) res)
      (setf res (append res (list (append (list (car temp1)) (list (car temp2))))))))

(defun ml4pg-unzip (l)
  (do ((temp l (cdr temp))
       (res1 nil)
       (res2 nil))
      ((endp temp) (list (reverse res1) (reverse res2)))
    (progn (setf res1 (cons (caar temp) res1))
	   (setf res2 (cons (cadr (car temp)) res2)))))