Searched +refs:evod +refs:mtimes (Results 1 – 2 of 2) sorted by relevance
79 (simplify (cons '(mtimes) l)))1309 (list 'mtimes 'sign-mtimes)1610 (evod (evod expt)))1648 ((eq evod '$even)1705 (if (eq evod '$odd)1909 (setf (get 'mtimes 'maps-integers-to-integers) t)1933 ((eq x-op 'mtimes)2056 (defun evod (e) function2064 ((eq 'mtimes (caar e)) (evod-mtimes e))2088 (evod (cadr x))))[all …]
31 (defvar %pi//4 '((mtimes simp) ((rat simp) 1 4.) $%pi))32 (defvar %pi//2 '((mtimes simp) ((rat simp) 1 2) $%pi))33 (defvar sqrt3//2 '((mtimes simp)36 (defvar -sqrt3//2 '((mtimes simp)201 (frob mtimes #'*)697 ((or (eq y '$inf) (alike1 y '((mtimes) -1 $minf)))699 ((or (eq y '$minf) (alike1 y '((mtimes) -1 $inf)))709 ((alike1 y '((mtimes) -1 ((mexpt) 3 ((rat) 1 2))))715 ((alike1 y '((mtimes) -1 ((mexpt) 3 ((rat) -1 2))))775 (cond ((setq dum (evod form))[all …]