((/centaur/gl/g-binary-mult.lisp::g-binary-*-of-numbers (nil nil nil (b*) nil nil nil) (nil nil (((mv xrn xrd xin xid) (general-number-components x))) nil (if) nil nil) (nil nil ((mv yrn yrd yin yid)) (let* g-apply) nil (and) nil) (nil nil (general-number-components (rprod (+-ss nil (*-ss xrn yrn) (unary-minus-s (*-ss xin yin)))) quote) (equal equal equal equal list) (mk-g-number) nil nil) ((y xrd yrd xid yid binary-* x y) (1) (quote quote quote quote iprod) nil (if if) nil nil) ((t t t t rprod iprod) nil (boolean-listp v2i boolean-listp v2i) nil (+-ss) nil nil) ((nil rprod rprod iprod iprod) nil nil (*-ss *-ss) nil nil nil)))