(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))

You are viewing proxied material from tilde.institute. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.