Searched refs:mgqp (Results 1 – 8 of 8) sorted by relevance
22 (if (and (eq 'mgqp (caaar l)) (eq x (caddar (car l))))36 (if (and (eq 'mgqp (caaar l)) (eq x (cadaar l)))
156 ((eq 'mgqp rel) (cons '(mgeqp) body))481 ((eq 'mgeqp pred) (mgqp arg1 arg2))482 ((eq 'mleqp pred) (mgqp arg2 arg1))1186 (defun mgqp (a b) function1717 ((eq t (mgqp 1 x)) '$nz)1719 ((eq t (mgqp x 1)) '$pz)2090 (declare-top (special mgqp mlqp))2106 (let (mgqp mlqp)2123 ((eq 'mgqp (caar f))2163 ((eq x y) (setq mgqp t) nil)[all …]
120 (eq t (mgqp (car z) 0)))) ; x >= 0
244 (eq t (mgqp m (take '(mabs) (sub a b)))))))
971 ((and n-is-nonnegative-int (eql k 1) (eq t (mgqp n 1)))
46837 mgqp