(uiop:define-package :st-buchberger/src/ring
 (:mix :cl)
 (:mix-reexport :st-buchberger/src/vector)
 (:export #:ring #:variables #:base-field
  #:coefficient #:monomial))

(in-package :st-buchberger/src/ring)

(defclass ring ()
  ()
  (:documentation "Base class for rings."))

(defgeneric variables (for-polynomial-ring))
(defgeneric base-field (for-polynomial-ring))
(defgeneric coefficient (for-term))
(defgeneric monomial (for-term))