;;; POLY-WITH-SUGAR-POLY (p) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-SUGAR (p) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-TAIL (p) [FUNCTION] ;;; ;;; (SETF POLY-WITH-SUGAR-POLY) (poly) [SETF MAPPING] ;;; ;;; (SETF POLY-WITH-SUGAR-SUGAR) (sugar) [SETF MAPPING] ;;; ;;; (SETF POLY-WITH-SUGAR-TAIL) (tail) [SETF MAPPING] ;;; ;;; MONOM-SUGAR (m) [FUNCTION] ;;; ;;; COEFFICIENT-SUGAR (c ring) [FUNCTION] ;;; ;;; TERM-SUGAR (term ring) [FUNCTION] ;;; ;;; POLY-ADD-SUGAR (poly ring) [FUNCTION] ;;; ;;; SCALAR-TIMES-POLY-WITH-SUGAR (c p ring) [FUNCTION] ;;; ;;; TERM-TIMES-POLY-WITH-SUGAR (term f ring) [FUNCTION] ;;; ;;; MONOM-TIMES-POLY-WITH-SUGAR (m f) [FUNCTION] ;;; ;;; MINUS-POLY-WITH-SUGAR (f ring) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR+ (p q pred ring) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR- (p q pred ring) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-OP (f term g pred ring) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-NREVERSE (p) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-APPEND (p q) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-ZEROP (p) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-LM (p) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-LC (p) [FUNCTION] ;;; ;;; POLY-WITH-SUGAR-LT (p) [FUNCTION] ;;;