Searched +refs:evod +refs:mplus (Results 1 – 2 of 2) sorted by relevance
1310 (list 'mplus 'sign-mplus)1559 (when (atom x) (setq x (cons '(mplus) (list x))))1610 (evod (evod expt)))1648 ((eq evod '$even)1705 (if (eq evod '$odd)1908 (setf (get 'mplus 'maps-integers-to-integers) t)2056 (defun evod (e) function2065 ((eq 'mplus (caar e)) (evod-mplus e))2088 (evod (cadr x))))2427 ((eq (caaar exp) 'mplus) (setq exp (splitsum exp)))[all …]
200 (frob mplus #'+)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))779 ((eq 'mplus (caar form)) (lin-mplus form))