Searched +refs:evod +refs:mexpt (Results 1 – 2 of 2) sorted by relevance
1311 (list 'mexpt 'sign-mexpt)1610 (evod (evod expt)))1648 ((eq evod '$even)1705 (if (eq evod '$odd)1938 ((eq x-op 'mexpt)2046 (t (eq '$even (evod e)))))2051 (t (eq '$odd (evod e)))))2056 (defun evod (e) function2067 ((eq 'mexpt (caar e)) (evod-mexpt e))))2088 (evod (cadr x))))[all …]
35 ((mexpt simp) 3 ((rat simp) 1 2))))38 ((mexpt simp) 3 ((rat simp) 1 2))))273 (frob mexpt #'cl:expt)706 ((alike1 y '((mexpt) 3 ((rat) 1 2)))709 ((alike1 y '((mtimes) -1 ((mexpt) 3 ((rat) 1 2))))712 ((alike1 y '((mexpt) 3 ((rat) -1 2)))715 ((alike1 y '((mtimes) -1 ((mexpt) 3 ((rat) -1 2))))717 ((alike1 y '((mplus) -1 ((mexpt) 2 ((rat) 1 2))))719 ((alike1 y '((mplus) 1 ((mexpt) 2 ((rat) 1 2))))775 (cond ((setq dum (evod form))[all …]