;;; TERM* (term1 term2 &optional (ring *coefficient-ring*))          [FUNCTION]
;;;
;;; TERM/ (term1 term2 &optional (ring *coefficient-ring*))          [FUNCTION]
;;;
;;; MONOM-TIMES-TERM (m term)                                        [FUNCTION]
;;;
;;; TERM-DIVIDES-P (term1 term2)                                     [FUNCTION]
;;;
;;; TERM-MONOM (term)                                                   [MACRO]
;;;
;;; TERM-COEFFICIENT (term)                                             [MACRO]
;;;
;;; (SETF TERM-MONOM) (monom)                                    [SETF MAPPING]
;;;
;;; (SETF TERM-COEFFICIENT) (coefficient)                        [SETF MAPPING]
;;;