((/misc/grcd.lisp::Euclid-alg-nat (nil nil nil nil (if) nil nil) (nil nil nil (and) nil nil (cond mv)) (nil (0 0 0 0 0) (np np (equal a b) (equal b 0) (equal a 0) (< b a) t) nil nil nil nil) ((a b) nil nil nil (mv-let mv-let) nil (mv mv mv)) ((a a b) (1 0 1 1 1 0 1 0 0 1 0 1) nil (recursive-call recursive-call) nil (g g) (mv mv)) ((x y u v b a g y x v u x y u v a g y u) nil nil (- - +) nil nil nil) ((b a x y u v) nil nil nil nil nil nil)) (/misc/grcd.lisp::Euclid-alg (nil nil nil nil (if) nil nil) (nil nil nil (and) nil (cond) (mv)) (nil (0 0 0 0 0) (integerp integerp (and (<= 0 a) (<= 0 b)) (and (> 0 a) (<= 0 b)) (and (<= 0 a) (> 0 b)) t) nil nil nil nil) ((a b) nil nil (Euclid-alg-nat) (mv-let mv-let mv-let) nil nil) ((a b) nil nil (Euclid-alg-nat Euclid-alg-nat Euclid-alg-nat) nil (g g g) (mv mv mv)) ((x y u v b g y v x y u v a g x u x y u v g) nil (- - - - - - - - - - - -) nil nil nil nil) ((a x u b y v a b x y u v) nil nil nil nil nil nil)) (/misc/grcd.lisp::grcd (nil nil nil nil nil (mv-let) nil) ((g) nil (declare) (Euclid-alg) nil (g) nil) ((x y u v a b) nil nil nil nil (ignore) nil) ((x y u v) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/grcd.lisp::grcd-lin-1 (nil nil nil nil nil (mv-let) nil) ((x) nil (declare) (Euclid-alg) nil (g) nil) ((x y u v a b) nil nil nil nil (ignore) nil) ((g y u v) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/grcd.lisp::grcd-lin-2 (nil nil nil nil nil (mv-let) nil) ((y) nil (declare) (Euclid-alg) nil (g) nil) ((x y u v a b) nil nil nil nil (ignore) nil) ((g x u v) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/grcd.lisp::grcd-quotient-1 (nil nil nil nil nil (mv-let) nil) ((u) nil (declare) (Euclid-alg) nil (g) nil) ((x y u v a b) nil nil nil nil (ignore) nil) ((g x y v) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/grcd.lisp::grcd-quotient-2 (nil nil nil nil nil (mv-let) nil) ((v) nil (declare) (Euclid-alg) nil (g) nil) ((x y u v a b) nil nil nil nil (ignore) nil) ((g x y u) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))